Recursive type generativity

DOI10.1145/1086365.1086372zbMATH Open1302.68188OpenAlexW2120047901MaRDI QIDQ2936766FDOQ2936766

Authors Derek Dreyer 

Publication date 6 January 2015

Published in Proceedings of the tenth ACM SIGPLAN international conference on Functional programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/1086365.1086372

zbMATH Keywords

recursiontype systemsabstract data typesrecursive moduleseffect systemsgenerativity

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Abstract data types; algebraic specification (68Q65)

Recommendations

• Recursive type generativity
• A type system for recursive modules
• Modeling abstract types in modules with open existential types
• Recursive modules for programming
• A syntactic theory of type generativity and sharing

Cited in

(5)

• Path resolution for nested recursive modules
• Generative type abstraction and type-level computation
• scientific article; zbMATH DE number 445161 (Why is no real title available?)
• Primitive recursive functional with dependent types
• Recursive type generativity

This page was built for publication: Recursive type generativity

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