Recursive type generativity

DOI10.1017/S0956796807006429zbMath1125.68028MaRDI QIDQ5308090

Derek R. Dreyer

Publication date: 26 September 2007

Published in: Journal of Functional Programming (Search for Journal in Brave)

zbMATH Keywords

standard ML module system

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Related Items (3)

1ML – Core and modules united ⋮ Dynamic Translucency with Abstraction Kinds and Higher-Order Coercions ⋮ F-ing modules

Cites Work

• The type and effect discipline

This page was built for publication: Recursive type generativity