Qualified types for MLF
From MaRDI portal
Recommendations
Cited in
(7)- Modular inference of linear types for multiplicity-annotated arrows
- A Church-style intermediate language for ML\(^{\text F}\)
- Recasting ML\(^{\text F}\)
- A theory of qualified types
- A type directed translation of MLF to System F
- scientific article; zbMATH DE number 1479609 (Why is no real title available?)
- Qualified Types
This page was built for publication: Qualified types for MLF
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2936777)