A type system for recursive modules

DOI10.1145/1291151.1291196MaRDI QIDQ5168934zbMATH OpenOpenAlexFDO

Authors Derek Dreyer

Publication date 21 July 2014

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

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

zbMATH Keywords

abstract data typesmodulesrecursiontype systems

Mathematics Subject Classification ID

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

Recommendations

• Recursive modules for programming
• A type system for well-founded recursion
• scientific article; zbMATH DE number 3995028
• Types for modules
• Path resolution for nested recursive modules

Cited in

(14)

• Path resolution for nested recursive modules
• Recursive type generativity
• A type system for higher-order modules
• scientific article; zbMATH DE number 5142784 (Why is no real title available?)
• A type system for well-founded recursion
• Modules with regular generic types part iv
• scientific article; zbMATH DE number 179038 (Why is no real title available?)
• A Modular Type Reconstruction Algorithm
• Recursive type generativity
• Contractive signatures with recursive types, type parameters, and abstract types
• Recursive modules for programming
• Two-level types and parameterized modules
• Principal Type Schemes for Modular Programs
• Compilation of extended recursion in call-by-value functional languages

This page was built for publication: A type system for recursive modules

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