Recursive type generativity

DOI10.1145/1086365.1086372zbMath1302.68188OpenAlexW2120047901MaRDI QIDQ2936766

Derek R. 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)

Related Items (1)

Path resolution for nested recursive modules

This page was built for publication: Recursive type generativity