|
14
|
From Hindley-Milner types to first-class structures
– Mark P. Jones
- 1995
|
|
53
|
Translucent Sums: A Foundation for Higher-Order Module Systems
– Mark Lillibridge
- 1997
|
|
3
|
Translucent Sums: AFoundation for Higher-Order Module Systems
– Mark Lillibridge, John Reynolds
- 1997
|
|
77
|
A Type System for Higher-Order Modules
– Derek Dreyer, Karl Crary, Robert Harper
- 2003
|
|
251
|
A Type-Theoretic Approach to Higher-Order Modules with Sharing
– Robert Harper, Mark Lillibridge
- 1994
|
|
54
|
Types for Modules
– Claudio V. Russo
- 1998
|
|
2
|
Standard ML Type Generativity as Existential Quantification
– Claudio V. Russo, Claudio V. Russo
- 1996
|
|
|
Type Theory for Programming Languages
– Robert Harper
- 1994
|
|
13
|
First-Class Modules for Haskell
– Mark Shields , Simon Peyton Jones
- 2002
|
|
|
True Higher-Order Modules, Separate Compilation, and Signature Calculi ∗
– George Kuan
- 2009
|
|
33
|
Typed Cross-Module Compilation
– Zhong Shao
- 1998
|
|
97
|
Compiling with Types
– Greg Morrisett
- 1995
|
|
208
|
Manifest Types, Modules, and Separate Compilation
– Xavier Leroy
- 1994
|
|
36
|
Understanding and Evolving the ML Module System
– Derek Dreyer, Peter Lee
- 2005
|
|
22
|
Type-Theoretic Methodology For Practical Programming Languages
– Karl Fredrick Crary
- 1998
|
|
25
|
Transparent Modules with Fully Syntactic Signatures
– Zhong Shao
- 1999
|
|
|
A module system with applicative functors and recursive path references
– Keiko Nakata
|
|
53
|
A Syntactic Theory of Type Generativity and Sharing
– Xavier Leroy
- 1996
|
|
136
|
Program Fragments, Linking, and Modularization
– Luca Cardelli, Luca Cardelli
- 1997
|
