A modular module system

DOI10.1017/S0956796800003683MaRDI QIDQ4507960zbMATH OpenFDO

Authors 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)

Recommendations

• scientific article; zbMATH DE number 3995028
• Types for modules
• A type system for higher-order modules
• Modular type classes
• A module system for a programming language based on the LF logical framework

Cited in

(18)

• scientific article; zbMATH DE number 1186202 (Why is no real title available?)
• Modular Miracles
• Closures and Modules Within Linear Logic Concurrent Constraint Programming
• F-ing modules
• Two-level types and parameterized modules
• Generic unification via two-level types and parameterized modules
• Types for modules
• Path resolution for nested recursive modules
• Type-specialized staged programming with process separation
• Build systems à la carte: theory and practice
• A closer look at export and import statements
• Static interpretation of modules
• A model inference system for generic specification with application to code sharing
• On modular signs
• Pebble, a kernel language for modules and abstract data types
• scientific article; zbMATH DE number 1728247 (Why is no real title available?)
• scientific article; zbMATH DE number 3880077 (Why is no real title available?)
• Backpack, retrofitting Haskell with interfaces

This page was built for publication: A modular module system

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4507960)