A type directed translation of MLF to System F

DOI10.1145/1291151.1291169MaRDI QIDQ5168929zbMATH OpenOpenAlexFDO

Authors Daan Leijen

Publication date 21 July 2014

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

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

zbMATH Keywords

System Ffirst-class polymorphismMLF

Mathematics Subject Classification ID

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

Recommendations

• Qualified types for MLF
• ML ^F
• Recasting ML\(^{\text F}\)
• Harnessing \(\mathrm{ML}^{\mathrm F}\) with the power of system F
• A Church-style intermediate language for ML\(^{\text F}\)

Cited in

(6)

• A Church-style intermediate language for ML\(^{\text F}\)
• Recasting ML\(^{\text F}\)
• Semantic preservation for a type directed translation scheme of Featherweight Go
• Strong normalization of \(\mathsf{ML}^{\mathsf F}\) via a calculus of coercions
• scientific article; zbMATH DE number 1479609 (Why is no real title available?)
• Qualified types for MLF

This page was built for publication: A type directed translation of MLF to System F

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