Functorial ML

DOI10.1017/S0956796898003128zbMATH Open0928.68017OpenAlexW2911433283MaRDI QIDQ4240153FDOQ4240153

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

Recommendations

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

zbMATH Keywords

polytypic programming

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Cited In (6)

• Lightweight higher-kinded polymorphism
• Covariant types
• Functors are type refinement systems
• Title not available (Why is that?)
• 2-Dimensional Directed Type Theory
• Derivable type classes

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)