Recursive type generativity
From MaRDI portal
Publication:5308090
DOI10.1017/S0956796807006429zbMath1125.68028MaRDI QIDQ5308090
Publication date: 26 September 2007
Published in: Journal of Functional Programming (Search for Journal in Brave)
68N18: Functional programming and lambda calculus
Related Items
1ML – Core and modules united, F-ing modules, Dynamic Translucency with Abstraction Kinds and Higher-Order Coercions
Cites Work