ML F
From MaRDI portal
Publication:5261264
DOI10.1145/944705.944709zbMATH Open1315.68051OpenAlexW4250583525MaRDI QIDQ5261264FDOQ5261264
Authors: Didier Le Botlan, Didier Rémy 
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
Recommendations
- Harnessing \(\mathrm{ML}^{\mathrm F}\) with the power of system F
- Derivation of \(m\)-systems
- The algebraic system of \(MP^M\)
- scientific article; zbMATH DE number 1376191
- Representing systems of exponents in weight subspaces \(H (D)\)
- Inverse system of a symbolic power. I
- Publication:4938141
- Recasting ML\(^{\text F}\)
- scientific article; zbMATH DE number 1086674
- The operation \(\uparrow\) on formal power series
Cited In (14)
- A language for generic programming in the large
- Encoding types in ML-like languages
- COCHIS: Stable and coherent implicits
- 1ML – Core and modules united
- A Church-style intermediate language for ML\(^{\text F}\)
- Recasting ML\(^{\text F}\)
- Refined environment classifiers. Type- and scope-safe code generation with mutable cells
- A church-style intermediate language for ML\(^{\text{F}}\)
- Harnessing \(\mathrm{ML}^{\mathrm F}\) with the power of system F
- A type directed translation of MLF to System F
- Strong normalization of \(\mathsf{ML}^{\mathsf F}\) via a calculus of coercions
- Flexible types, robust type inference for first-class polymorphism
- Semi-explicit first-class polymorphism for ML.
- Iteration and coiteration schemes for higher-order and nested datatypes
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)
