|
174
|
Units: Cool Modules for HOT Languages
– Matthew Flatt, Matthias Felleisen
- 1998
|
|
7
|
Behavioral Software Contracts
– Robert Bruce Findler
- 2002
|
|
2
|
Mixin modules, modules and extended value binding in a call-by-value setting
– Tom Hirschowitz
- 2003
|
|
18
|
Evolving Software with Extensible Modules
– Matthias Zenger
- 2002
|
|
4
|
Low-Level Type Systems for Modularity and Object-Oriented Constructs
– Arthur Neal Glew
- 2000
|
|
25
|
Transparent Modules with Fully Syntactic Signatures
– Zhong Shao
- 1999
|
|
36
|
Understanding and Evolving the ML Module System
– Derek Dreyer, Peter Lee
- 2005
|
|
62
|
Scalable Component Abstractions
– Martin Odersky, Matthias Zenger
- 2005
|
|
|
True Higher-Order Modules, Separate Compilation, and Signature Calculi ∗
– George Kuan
- 2009
|
|
84
|
Contracts for Higher-Order Functions
– Robert Bruce Findler, Matthias Felleisen
- 2002
|
|
10
|
Full Lifting of Type Parameters
– Yasuhiko Minamide
- 1997
|
|
|
Type Theory for Programming Languages
– Robert Harper
- 1994
|
|
97
|
Compiling with Types
– Greg Morrisett
- 1995
|
|
7
|
Reconciling Software Extensibility with Modular Program Reasoning
– Todd David Millstein
- 2003
|
|
30
|
Modular typechecking for hierarchically extensible datatypes and functions
– Todd Millstein, Colin Bleckner, Craig Chambers
- 2002
|
|
122
|
Modular Object-Oriented Programming with Units and Mixins
– Robert Bruce Findler, Matthew Flatt
- 1998
|
|
12
|
Aspect-Oriented Programming with Jiazzi
– Sean Mcdirmid, Wilson C. Hsieh
- 2003
|
|
2
|
Behavioral Interface Contracts for Java
– Robert Bruce Findler, Matthias Felleisen, Robert Bruce, Findler Matthias Felleisen
- 2000
|
|
8
|
Syntactic abstraction in component interfaces
– Scott Owens, Matthew Flatt
- 2005
|
