A modular module system
From MaRDI portal
Publication:4507960
DOI10.1017/S0956796800003683zbMath0957.68026MaRDI QIDQ4507960
Publication date: 10 October 2000
Published in: Journal of Functional Programming (Search for Journal in Brave)
68N18: Functional programming and lambda calculus
Related Items
F-ing modules, Closures and Modules Within Linear Logic Concurrent Constraint Programming, Path resolution for nested recursive modules, Type-specialized staged programming with process separation, Types for modules