|
100
|
A Calculus of Module Systems
– Davide Ancona, Elena Zucca, Via Dodecaneso
- 2001
|
|
388
|
Mixin-based inheritance
– Gilad Bracha, William Cook
- 1990
|
|
251
|
A Type-Theoretic Approach to Higher-Order Modules with Sharing
– Robert Harper, Mark Lillibridge
- 1994
|
|
174
|
Units: Cool Modules for HOT Languages
– Matthew Flatt, Matthias Felleisen
- 1998
|
|
208
|
Manifest Types, Modules, and Separate Compilation
– Xavier Leroy
- 1994
|
|
55
|
Mixin Modules
– Dominic Duggan, Constantinos Sourelis
- 1996
|
|
138
|
The Programming Language Jigsaw: Mixins, Modularity And Multiple Inheritance
– Gilad Bracha, John Van Rosendale, Joseph L. Zachary, Thomas C. Henderson, B. Gale Dick
- 1992
|
|
239
|
Classes and Mixins
– Matthew Flatt, Shriram Krishnamurthi, Matthias Felleisen
- 1998
|
|
180
|
Reflections on Standard ML
– David B. MacQueen
- 1992
|
|
4646
|
Design Patterns: Elements of Reusable Object-Oriented Software
– Erich Gamma, Richard Helm, Ralph Johnson, John Vlissides
- 1994
|
|
33
|
The Recursive Record Semantics of Objects Revisited
– Gérard Boudol, Projets Mimosa
- 2001
|
|
466
|
Featherweight Java: A Minimal Core Calculus for Java and GJ
– Atsushi Igarashi, Benjamin C. Pierce, Philip Wadler
- 1999
|
|
122
|
Modular Object-Oriented Programming with Units and Mixins
– Robert Bruce Findler, Matthew Flatt
- 1998
|
|
99
|
Jiazzi: New-Age Components for Old-Fashioned Java
– Sean McDirmid , Matthew Flatt, Wilson C. Hsieh
- 2001
|
|
136
|
A Denotational Semantics of Inheritance
– William R. Cook, Brian Dalio, Tom Freeman, Craig Hansen-sturm, Victor Law, Leonard Nicholson, James Redfern, Tom Rockwell, Chris Warth
- 1989
|
|
488
|
A Syntactic Approach to Type Soundness
– Andrew K. Wright, Matthias Felleisen
- 1992
|
|
86
|
Modularity meets Inheritance
– Gilad Bracha , Gary Lindstrom
- 1992
|
|
16
|
Mixin Modules and Computational Effects
– D. Ancona, S. Fagorzi, E. Moggi, E. Zucca
- 2003
|
|
27
|
A type system for well-founded recursion
– Derek Dreyer, Robert Harper, Karl Crary
- 2004
|
