Flexible types

DOI10.1145/1480881.1480891zbMath1315.68053OpenAlexW2087123999MaRDI QIDQ5261506

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

zbMATH Keywords

System Ffirst-class polymorphismMLF

Mathematics Subject Classification ID

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

Related Items (1)

Recasting ML\(^{\text F}\)

This page was built for publication: Flexible types