PL Resources

This page contains links for the Lecture PL: Programming Languages.

See also: CC Resources

Programming Languages

Postscript

Functional Programming

Lambda Calculus

  1. Richard P. Gabriel. The why of Y. In SIGPLAN Lisp Pointers 2(2) p. 15—25, 1988. DOI PDF 

Prototypes and JavaScript

Types

  1. 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 
  2. William Cook, Walter Hill, and Peter Canning. Inheritance is not Subtyping. In Proceedings POPL '90, San Francisco, January 1990. DOI PDF 
  3. 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 
  4. 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 
  5. 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 
  6. 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 
  7. 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 
  8. 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 
  9. 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 
  10. 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 
  11. 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 
  12. 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 
  13. 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

Piccola

Last changed by oscar on 26 May 2017