ML F

DOI10.1145/944705.944709zbMATH Open1315.68051OpenAlexW4250583525MaRDI QIDQ5261264FDOQ5261264

Didier Rémy, Didier Le Botlan

Publication date: 2 July 2015

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

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

zbMATH Keywords

MLSystem Ftype inferencefirst-class polymorphismsecond-order polymorphismtype annotations

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Cited In (9)

• A language for generic programming in the large
• COCHIS: Stable and coherent implicits
• 1ML – Core and modules united
• A Church-style intermediate language for ML\(^{\text F}\)
• Recasting ML\(^{\text F}\)
• Strong normalization of \(\mathsf{ML}^{\mathsf F}\) via a calculus of coercions
• Semi-explicit first-class polymorphism for ML.
• Refined Environment Classifiers
• Iteration and coiteration schemes for higher-order and nested datatypes

   Recommendations

• Harnessing \(\mathrm{ML}^{\mathrm F}\) with the power of system F 👍 👎
• Derivation of \(m\)-systems 👍 👎
• The algebraic system of \(MP^M\) 👍 👎
• Title not available (Why is that?) 👍 👎
• Representing systems of exponents in weight subspaces \(H (D)\) 👍 👎
• Inverse system of a symbolic power. I 👍 👎
• Title not available (Why is that?) 👍 👎
• Recasting ML\(^{\text F}\) 👍 👎
• Title not available (Why is that?) 👍 👎
• The operation \(\uparrow\) on formal power series 👍 👎

This page was built for publication: ML ^F

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