Qualified types for MLF

DOI10.1145/1086365.1086385zbMath1302.68063OpenAlexW2136776287MaRDI QIDQ2936777

Daan Leijen, Andres Löh

Publication date: 6 January 2015

Published in: Proceedings of the tenth ACM SIGPLAN international conference on Functional programming (Search for Journal in Brave)

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

zbMATH Keywords

impredicativityMLFhigher-rank polymorphismqualified types

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Related Items (2)

A Church-style intermediate language for ML\(^{\text F}\) ⋮ Recasting ML\(^{\text F}\)

Uses Software

• Haskell

This page was built for publication: Qualified types for MLF