A Modular Module System (2000)

Cached

Download Links

by Xavier Leroy
Venue:Journal of Functional Programming
Citations:79 - 0 self

Active Bibliography

43 Understanding and Evolving the ML Module System – Derek Dreyer, Peter Lee - 2005
25 Programming Languages for Reusable Software Components – Matthew Flatt - 1999
True Higher-Order Modules, Separate Compilation, and Signature Calculi ∗ – George Kuan - 2009
16 Mixin’ Up the ML Module System – Derek Dreyer, Andreas Rossberg
A Mixin ’ Up the ML Module System – Andreas Rossberg Google
Thesis Proposal: Effective Type Theory for Modularity – Derek Dreyer, Peter Lee - 2002
27 Equational Reasoning for Linking with First-Class Primitive Modules – J. B. Wells, René Vestergaard - 2000
16 Toward a Practical Type Theory for Recursive Modules – Derek R. Dreyer, Robert Harper, Karl Crary - 2001
83 A Type System for Higher-Order Modules – Derek Dreyer, Karl Crary, Robert Harper - 2003
28 Transparent Modules with Fully Syntactic Signatures – Zhong Shao - 1999
Smart Modules for Java-like Languages ⋆ (Extended abstract) – Davide Ancona, Giovanni Lagorio, Elena Zucca
Abstractions for Component-Based Programming with Dynamic Linking – Dominic Duggan - 2001
19 Sharing in Typed Module Assembly Language – Dominic Duggan - 2000
19 Type-Safe Linking with Recursive DLLs and Shared Libraries – Dominic Duggan - 2001
8 A Reduction Semantics for Call-by-Value Mixin Modules – Tom Hirschowitz, Xavier Leroy, J. B. Wells - 2002
15 Call-by-value mixin modules: Reduction semantics, side effects, types – Tom Hirschowitz, Xavier Leroy, J. B. Wells - 2004
66 Mixin modules in a call-by-value setting – Tom Hirschowitz, Xavier Leroy - 2002
Backpack: Retrofitting Haskell with Interfaces – Scott Kilpatrick, Derek Dreyer, Simon Peyton Jones, Simon Marlow
14 A Type System for Recursive Modules – Derek Dreyer