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

11502 Computers and Intractability, A Guide to the Theory of NPCompleteness – M R Garey, D S Johnson - 1979
929 A Theory of Objects – Luca Cardelli, Martín Abadi - 1996
635 The Definition of Standard ML (Revised – R Milner, M Tofte, R Harper, D B MacQueen - 1997
5962 Design Patterns: Elements of Reusable ObjectOriented Software – E Gamma, R Helm, R Johnson, J Vlissides - 1995
813 The Java Programming Language – K Arnold, J Gosling - 1996
1602 The C++ Programming Language – Bjarne Stroustrup - 1995
1148 The Java Virtual Machine Specification – Tim Lindholm, Frank Yellin - 1997
576 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
386 Simplify: A theorem prover for program checking – David Detlefs, Greg Nelson, James B. Saxe - 2003