ML F
From MaRDI portal
Publication:5261264
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 on formal power series
Cited in
(14)- A language for generic programming in the large
- Encoding types in ML-like languages
- 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
- COCHIS: stable and coherent implicits
- Strong normalization of \(\mathsf{ML}^{\mathsf F}\) via a calculus of coercions
- 1ML -- core and modules united
- Semi-explicit first-class polymorphism for ML.
- Flexible types, robust type inference for first-class polymorphism
- 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)
