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

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

zbMATH Keywords

recursiontype systemsabstract data typesrecursive moduleseffect systemsgenerativity

Mathematics Subject Classification ID

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

Cited In (5)

• Primitive recursive functional with dependent types
• Generative type abstraction and type-level computation
• Title not available (Why is that?)
• Recursive type generativity
• Path resolution for nested recursive modules

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)