A type system for recursive modules

DOI10.1145/1291151.1291196zbMath1291.68116OpenAlexW2022683189MaRDI QIDQ5168934

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

modulesrecursiontype systemsabstract data types

Mathematics Subject Classification ID

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

Related Items (2)

Compilation of extended recursion in call-by-value functional languages ⋮ Path resolution for nested recursive modules

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