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:59 - 5 self

Documents Related by Co-Citation

12771 Computers and Intractability; A Guide to the Theory of NP-Completeness – M R Garey, D S Johnson - 1979
976 A Theory of Objects – Luca Cardelli, Martín Abadi - 1996
658 The Definition of Standard ML (Revised – R Milner, M Tofte, R Harper, D MacQueen - 1997
6547 Design Patterns: Elements of Reusable Object-Oriented Software. Reading MA – E H Gamma, R Helm, Johnson, R Vlissides, J - 1994
835 The Java Programming Language – K Arnold, J Gosling - 1996
1673 The C++ Programming Language – Bjarne Stroustrup - 1995
604 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
414 Simplify: A theorem prover for program checking – David Detlefs, Greg Nelson, James B. Saxe - 2003
1749 The Java language specification – J Gosling, B Joy, G Steele, G Bracha - 2005