Luca Cardelli

Abadi, Martin and Cardelli, Luca "A Theory of Objects" Springer Monographs in Computer Science, 1996

(1996)

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