A modular module system

From MaRDI portal

Revision as of 08:16, 7 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:4507960

Jump to:navigation, search

DOI10.1017/S0956796800003683zbMath0957.68026MaRDI QIDQ4507960

Xavier Leroy

Publication date: 10 October 2000

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

zbMATH Keywords

SML-like module system

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Related Items (5)

Types for modules ⋮ Path resolution for nested recursive modules ⋮ Type-specialized staged programming with process separation ⋮ Closures and Modules Within Linear Logic Concurrent Constraint Programming ⋮ F-ing modules

This page was built for publication: A modular module system

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:4507960&oldid=18605278"