Flexible types, robust type inference for first-class polymorphism

DOI10.1145/1480881.1480891zbMATH Open1315.68053OpenAlexW2087123999MaRDI QIDQ5261506FDOQ5261506

Authors: Daan Leijen 

Publication date: 3 July 2015

Published in: Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/1480881.1480891

Recommendations

• HMF: simple type inference for first-class polymorphism
• FPH: first-class polymorphism for Haskell
• Polymorphism, subtyping, and type inference in MLsub
• ML ^F
• Polymorphic type inference with overloading and subtyping

zbMATH Keywords

System Ffirst-class polymorphismMLF

Mathematics Subject Classification ID

Logic in computer science (03B70) Functional programming and lambda calculus (68N18)

Cited In (11)

• Programming Languages and Systems
• Recasting ML\(^{\text F}\)
• Polymorphic type inference and containment
• TFF1: The TPTP Typed First-Order Form with Rank-1 Polymorphism
• Type inference with rank 1 polymorphism for type-directed compilation of ML
• Polymorphic functions with set-theoretic types. II: Local type inference and type reconstruction
• HMF: simple type inference for first-class polymorphism
• FPH: first-class polymorphism for Haskell
• Semi-explicit first-class polymorphism for ML.
• Corrigendum: Polymorphic type assignment and CPS conversion
• Title not available (Why is that?)

This page was built for publication: Flexible types, robust type inference for first-class polymorphism

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