Let arguments go first

DOI10.1007/978-3-319-89884-1_10MaRDI QIDQ2323977zbMATH OpenOpenAlexFDO

Authors Ningning Xie, Bruno C. d. S. Oliveira

Publication date 13 September 2019

Full work available at URL https://doi.org/10.1007/978-3-319-89884-1_10

Mathematics Subject Classification ID

Theory of programming languages (68N15) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Functional programming and lambda calculus (68N18)

Recommendations

• Complete and easy bidirectional typechecking for higher-rank polymorphism
• Tridirectional typechecking
• Bidirectional data flow analysis for type inferencing.
• Type checking with open type functions
• Boxy types, inference for higher-rank types and impredicativity

Cited in

(3)

• Applicative intersection types
• Complete and easy bidirectional typechecking for higher-rank polymorphism
• Tridirectional typechecking

Describes a project that uses

Uses Software

• Coq

This page was built for publication: Let arguments go first

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2323977)