A Modular Module System (1996)

Cached

Download Links

by Calcul Symbolique , Xavier Leroy , Xavier Leroy , Projet Cristal
Venue:Journal of Functional Programming

Active Bibliography

79 A Modular Module System – Xavier Leroy - 2000
True Higher-Order Modules, Separate Compilation, and Signature Calculi ∗ – George Kuan - 2009
188 Units: Cool Modules for HOT Languages – Matthew Flatt, Matthias Felleisen - 1998
26 Programming Languages for Reusable Software Components – Matthew Flatt - 1999
43 Understanding and Evolving the ML Module System – Derek Dreyer, Peter Lee - 2005
69 Types for Modules – Claudio V. Russo - 1998
58 Translucent Sums: A Foundation for Higher-Order Module Systems – Mark Lillibridge - 1997
34 Typed Cross-Module Compilation – Zhong Shao - 1998
A module system with applicative functors and recursive path references – Keiko Nakata
56 A Syntactic Theory of Type Generativity and Sharing – Xavier Leroy - 1996
28 Transparent Modules with Fully Syntactic Signatures – Zhong Shao - 1999
2 Mixin modules, modules and extended value binding in a call-by-value setting – Tom Hirschowitz - 2003
67 Using Parameterized Signatures to Express Modular Structure – Mark P. Jones - 1996
2 Standard ML Type Generativity as Existential Quantification – Claudio V. Russo, Claudio V. Russo - 1996
Thesis Proposal: Effective Type Theory for Modularity – Derek Dreyer, Peter Lee - 2002
83 A Type System for Higher-Order Modules – Derek Dreyer, Karl Crary, Robert Harper - 2003
Abstractions for Component-Based Programming with Dynamic Linking – Dominic Duggan - 2001
16 Mixin’ Up the ML Module System – Derek Dreyer, Andreas Rossberg
19 Sharing in Typed Module Assembly Language – Dominic Duggan - 2000
16 Toward a Practical Type Theory for Recursive Modules – Derek R. Dreyer, Robert Harper, Karl Crary - 2001