|
36
|
Understanding and Evolving the ML Module System
– Derek Dreyer, Peter Lee
- 2005
|
|
|
and
– Andreas Rossberg, Claudio Russo, Derek Dreyer
- 2012
|
|
54
|
Types for Modules
– Claudio V. Russo
- 1998
|
|
|
True Higher-Order Modules, Separate Compilation, and Signature Calculi ∗
– George Kuan
- 2009
|
|
7
|
Nested Types
– Martin Odersky, Christoph Zenger
- 2001
|
|
77
|
A Type System for Higher-Order Modules
– Derek Dreyer, Karl Crary, Robert Harper
- 2003
|
|
11
|
Principal type schemes for modular programs
– Derek Dreyer, Matthias Blume
- 2006
|
|
63
|
Using Parameterized Signatures to Express Modular Structure
– Mark P. Jones
- 1996
|
|
8
|
Mixin’ Up the ML Module System
– Derek Dreyer, Andreas Rossberg
|
|
|
Functions, Frames, and Interactions -- completing a λ-calculus-based purely functional language with respect to programming-in-the-large and interactions with runtime environments
– Claus Reinke
- 1998
|
|
23
|
A Module Calculus for Pure Type Systems
– Judicaël Courant
- 1997
|
|
25
|
Transparent Modules with Fully Syntactic Signatures
– Zhong Shao
- 1999
|
|
15
|
Modular Type Classes
– Derek Dreyer, Robert Harper, Manuel M.T. Chakravarty
|
|
9
|
A Type System for Recursive Modules
– Derek Dreyer
|
|
3
|
Translucent Sums: AFoundation for Higher-Order Module Systems
– Mark Lillibridge, John Reynolds
- 1997
|
|
53
|
Translucent Sums: A Foundation for Higher-Order Module Systems
– Mark Lillibridge
- 1997
|
|
13
|
Non-Dependent Types for Standard ML Modules
– Claudio V. Russo
- 1999
|
|
56
|
Recursive Structures for Standard ML
– Claudio V. Russo
- 2001
|
|
14
|
From Hindley-Milner types to first-class structures
– Mark P. Jones
- 1995
|
