This page contains links for the Lecture PL: Programming Languages.
See also: CC Resources
Programming Languages
Postscript
Functional Programming
Lambda Calculus
- Richard P. Gabriel. The why of Y. In SIGPLAN Lisp Pointers 2(2) p. 15—25, 1988. DOI PDF →
Prototypes and JavaScript
Types
- Luca Cardelli and Peter Wegner. On Understanding Types, Data Abstraction, and Polymorphism. In ACM Computing Surveys 17(4) p. 471—522, December 1985. DOI URL PDF →
- William Cook, Walter Hill, and Peter Canning. Inheritance is not Subtyping. In Proceedings POPL '90, San Francisco, January 1990. DOI PDF →
- Wilf LaLonde and John Pugh. Subclassing $\neq$ Subtyping $\neq$ Is-a. In Journal of Object-Oriented Programming 3(5) p. 57—62, January 1991. PDF →
- Barbara H. Liskov and Jeannette M. Wing. A behavioral notion of subtyping. In ACM Trans. Program. Lang. Syst. 16(6) p. 1811—1841, 1994. DOI PDF →
- Anthony J. H. Simons. The Theory of Classification, Part 1: Perspectives on Type Compatibility. In Journal of Object Technology 1(1) p. 55—61, May 2002. URL →
- Anthony J. H. Simons. The Theory of Classification, Part 2: The Scratch-Built Typechecker. In Journal of Object Technology 1(2) p. 47—54, July 2002. URL →
- Anthony J. H. Simons. The Theory of Classification, Part 3: Object Encodings and Recursion. In Journal of Object Technology 1(4) p. 49—57, September 2002. URL →
- Anthony J. H. Simons. The Theory of Classification, Part 4: Object Types and Subtyping. In Journal of Object Technology 1(5) p. 27—35, November 2002. URL →
- Anthony J. H. Simons. The Theory of Classification, Part 5: Axioms, Assertions and Suptyping. In Journal of Object Technology 2(1) p. 13—21, January 2003. URL →
- Anthony J. H. Simons. The Theory of Classification, Part 6: The Subtyping Inquisition. In Journal of Object Technology 2(2) p. 17—26, March 2003. URL →
- Anthony J. H. Simons. The Theory of Classification, Part 7: A Class is a Type Family. In Journal of Object Technology 2(3) p. 13—22, May 2003. URL →
- Anthony J. H. Simons. The Theory of Classification, Part 8: Classification and Inheritance. In Journal of Object Technology 2(4) p. 55—64, July 2003. URL →
- Peter Wegner and Stanley B. Zdonik. Inheritance as an Incremental Modification Mechanism or What Like Is and Isn't Like. In S. Gjessing and K. Nygaard (Ed.), Proceedings ECOOP '88, LNCS 322 p. 55—77, Springer-Verlag, Oslo, April 1988. URL PDF →
Denotational Semantics
Logic Programming
Visual Programming
Other Resources