References:
Cardelli, L. (1982) Cardelli, L. "An Algebraic Approach to Hardware Description and Verification", Thesis, Edinburgh U, 1982 E A
Albano, Antonio; Cardelli, Luca and Orsini, Renzo (1983) Albano, Antonio; Cardelli, Luca and Orsini, Renzo "A strongly typed, interactive conceptual language" Tech. Rep. Internal Technical Document Services, AT&T Bell Laboratories, Murray Hill, N.J. 1983. E A
Cardelli, Luca (1984) Cardelli, Luca "Amber" Technical Memorandum TM 11271-840924-10, AT&T Bell Laboratories, 1984. E A
Cardelli, Luca and Pike, Rob (1985) Cardelli, Luca and Pike, Rob "Squeak: A Language for Communicating with Mice" Comp Graphics 19(3):199-204 (July 1985) E A
Abstract
pdf
Extract:
Introduction
Extract:
Tutorial introduction to squeak
Cardelli, Luca et al (1985) Cardelli, Luca et al "On Understanding Types, Data Abstractions and Polymorphism" ACM Comp Surveys 17(4) (Dec 1985). E A
Albano, Antonio; Cardelli, Luca and Orsini, Renzo (1985) Albano, Antonio; Cardelli, Luca and Orsini, Renzo "Galileo: A Strongly Typed Interactive Conceptual Language" E A
Abstract
Extract:
Galileo: relation to previous work
Extract:
Galileo TYPE HIERARCHIES
in (1985) ACM Trans Database Sys 10(2) June 1985 E
Cardelli, Luca (1986) Cardelli, Luca "The Amber Machine" pp 48-70
E A
in Cousineau, Guy; Pierre-Louis Curien, and Bernard R (1986) Cousineau, Guy; Pierre-Louis Curien, and Bernard Robinet, editors, Combinators and Functional Programming Languages, Lecture Notes in Computer Science, Vol. 242, Springer-Verlag, 1986 E
Cardelli, Luca (1986) Cardelli, Luca "Amber" E A
in Proc. (1986) Proc. of the thirteenth spring school of the LITP on Combinators and functional programming languages 1986 Val d'Ajol, France E
Cardelli, Luca et al, (1988) Cardelli, Luca et al, "Modula-3 Report", TR 52, DEC SRC, and Olivetti Research Center, Aug 1988 (revised Oct 1989). E A
in Proc. (1986) Proc. of the thirteenth spring school of the LITP on Combinators and functional programming languages 1986 Val d'Ajol, France E
Cardelli, Luca (1989) Cardelli, Luca "Typeful Programming" RR 45, DEC SRC 1989. E A
in Proc. (1986) Proc. of the thirteenth spring school of the LITP on Combinators and functional programming languages 1986 Val d'Ajol, France E
Cardelli, Luca (1995) Cardelli, Luca "A language with distributed scope" pp286-297 E A
Extract:
Introduction
Extract:
Language Overview
Extract:
Distributed Semantics
in [POPL 1995] (1995) [ACM SIGACT-SIGPLAN] Proc. of the 22nd Annual ACM Symposium on Principles of Programming Languages, San Francisco, January 1995. E
Abadi, Martin and Cardelli, Luca (1996) Abadi, Martin and Cardelli, Luca "A Theory of Objects" Springer Monographs in Computer Science, 1996
E A
Picture: Cover photo
in [POPL 1995] (1995) [ACM SIGACT-SIGPLAN] Proc. of the 22nd Annual ACM Symposium on Principles of Programming Languages, San Francisco, January 1995. E
|