Functorial ML

DOI10.1017/S0956796898003128MaRDI QIDQ4240153zbMATH OpenOpenAlexFDO

Authors Gianna Bellè, Eugenio Moggi, Barry Jay

Publication date 3 May 1999

Published in Journal of Functional Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/s0956796898003128

zbMATH Keywords

polytypic programming

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Recommendations

• Functorial polymorphism
• scientific article; zbMATH DE number 1722656
• scientific article; zbMATH DE number 4154448
• Publication:4721631
• Functors are type refinement systems

Cited in

(6)

• Lightweight higher-kinded polymorphism
• scientific article; zbMATH DE number 1722656 (Why is no real title available?)
• Functors are type refinement systems
• 2-Dimensional Directed Type Theory
• Derivable type classes
• Covariant types

This page was built for publication: Functorial ML

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