Abadi, Martin and Cardelli, Luca "A Theory of Objects" Springer Monographs in Computer Science, 1996
(1996) |
Luca Cardelli
Languages mentioned
- Act1 {1982} Actor OO language
- BETA {1975} Object oriented language
- C++ {1983} Class-based object oriented C
- CECIL {1991} Prototyped OOL
- CLOS {1988} Common LISP Object System
- Eiffel {1986} Class-based object oriented C
- Ellie {1990} Distributed OO language
- Emerald {1987} polymorphic object-oriented distributed programming language/environment
- Garnet {1990} High level OO language with interface capabilities
- Java {1995}
- Kevo {1992} Stack and prototype-based object-oriented language
- Modula-3 {1988} OO language with genericity and prototyping
- OBLIQ {1993} OO language for distributed objects
|
|