|
54
|
Types for Modules
– Claudio V. Russo
- 1998
|
|
25
|
Transparent Modules with Fully Syntactic Signatures
– Zhong Shao
- 1999
|
|
33
|
Typed Cross-Module Compilation
– Zhong Shao
- 1998
|
|
|
and
– Andreas Rossberg, Claudio Russo, Derek Dreyer
- 2012
|
|
36
|
Understanding and Evolving the ML Module System
– Derek Dreyer, Peter Lee
- 2005
|
|
77
|
A Type System for Higher-Order Modules
– Derek Dreyer, Karl Crary, Robert Harper
- 2003
|
|
2
|
Standard ML Type Generativity as Existential Quantification
– Claudio V. Russo, Claudio V. Russo
- 1996
|
|
|
True Higher-Order Modules, Separate Compilation, and Signature Calculi ∗
– George Kuan
- 2009
|
|
2
|
Mixin modules, modules and extended value binding in a call-by-value setting
– Tom Hirschowitz
- 2003
|
|
56
|
Recursive Structures for Standard ML
– Claudio V. Russo
- 2001
|
|
|
Principles and a Preliminary Design for ML2000
– The Ml Working
- 2000
|
|
|
Principles and a Preliminary Design for ML2000
– The ML2000 Working Group
- 1999
|
|
13
|
First-Class Modules for Haskell
– Mark Shields , Simon Peyton Jones
- 2002
|
|
22
|
Type-Theoretic Methodology For Practical Programming Languages
– Karl Fredrick Crary
- 1998
|
|
73
|
A Modular Module System
– Xavier Leroy
- 2000
|
|
|
Engineering Higher-Order Modules in SML/NJ
– George Kuan, David Macqueen
|
|
80
|
A Type-Theoretic Interpretation of Standard ML
– Robert Harper, Christopher Stone
- 2000
|
|
|
A module system with applicative functors and recursive path references
– Keiko Nakata
|
|
37
|
An Interpretation of Standard ML in Type Theory
– Robert Harper, Christopher Stone
- 1997
|
