A syntactic theory of type generativity and sharing

DOI10.1017/S0956796800001933zbMath0872.68015MaRDI QIDQ3125226

Xavier Leroy

Publication date: 18 March 1997

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

zbMATH Keywords

SML module system

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Related Items (5)

Types for modules ⋮ Path resolution for nested recursive modules ⋮ 1ML – Core and modules united ⋮ Ott: Effective tool support for the working semanticist ⋮ F-ing modules

This page was built for publication: A syntactic theory of type generativity and sharing