Let arguments go first

DOI10.1007/978-3-319-89884-1_10zbMATH Open1418.68070OpenAlexW2796492787MaRDI QIDQ2323977FDOQ2323977

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

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

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)

Cited In (3)

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

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)