Objective ML: An effective object-oriented extension to ML (1998)

by Didier Rémy , Jérôme Vouillon
Venue:THEORY AND PRACTICE OF OBJECT SYSTEMS
Citations:55 - 4 self

Documents Related by Co-Citation

895 A Theory of Objects – Luca Cardelli, Martín Abadi - 1996
605 The Definition of Standard ML (Revised – Robin Milner, Mads Tofte, Robert Harper, David Macqueen - 1997
81 The Design of a Class Mechanism for MOBY – Kathleen Fisher, John Reppy - 1999
357 Simplify: A theorem prover for program checking – David Detlefs, Greg Nelson, James B. Saxe - 2003
5242 Design Patterns: Elements of Reusable Object-Oriented Software – E Gamma, R Helm, R Johnson, J Vlissides - 1994
1616 The Java Language Specification – James Gosling, Bill Joy, Guy Steele, Gilad Bracha
141 Operations on records – Luca Cardelli, John C. Mitchell - 1991
269 The Essence of Compiling with Continuations – Cormac Flanagan, Amr Sabry, Bruce F. Duba, Matthias Felleisen - 1993
317 Pizza into Java: Translating theory into practice – Martin Odersky, Philip Wadler - 1997
51 Type Checking Higher-Order Polymorphic Multi-Methods – Francois Bourdoncle , Stephan Merz - 1997
360 Flow-Sensitive Type Qualifiers – Jeffrey S. Foster, Tachio Terauchi, Alex Aiken - 2002
538 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
34 Modular typechecking for hierarchically extensible datatypes and functions – Todd Millstein, Colin Bleckner, Craig Chambers - 2002
63 The Java Programming Language, Third Edition – K Arnold, J Gosling, D Holmes - 2000
54 The Java Language Specification Second Edition. The Java Series – J Gosling, B Joy, G Steele, G Bracha - 2000
154 Object-oriented programming with Flavors – D A Moon - 1986
396 Simplification by cooperating decision procedures – Greg Nelson, Derek C. Oppen - 1979
8 Reconciling Software Extensibility with Modular Program Reasoning – Todd David Millstein - 2003
171 Object-Oriented Multi-Methods in Cecil – Craig Chambers - 1992