Lightweight higher-kinded polymorphism

DOI10.1007/978-3-319-07151-0_8MaRDI QIDQ5170706zbMATH OpenOpenAlexFDO

Authors Jeremy Yallop, Leo White

Publication date 24 July 2014

Published in Functional and Logic Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-07151-0_8

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Recommendations

• Functorial ML
• Type classes with more higher-order polymorphism
• Boxes go bananas: Encoding higher-order abstract syntax with parametric polymorphism
• Boxes go bananas: encoding higher-order abstract syntax with parametric polymorphism
• A system of constructor classes: overloading and implicit higher-order polymorphism

Cited in

(2)

• Dynamic translucency with abstraction kinds and higher-order coercions
• A calculus for scoped effects \& handlers

Describes a project that uses

Uses Software

• OCaml

This page was built for publication: Lightweight higher-kinded polymorphism

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