PL Resources
This page contains links for the Lecture PL: Programming Languages.
See also: CC Resources
Programming Languages
Postscript
Functional Programming
-
Paul Hudak, Conception, Evolution, and Application of Functional Programming Languages, ACM Computing Surveys, vol. 21, no. 3, September 1989, pp. 359-411.
- See also preprint on-line
-
Haskell: http://www.haskell.org
-
HUnit - Haskell Unit Testing
Lambda Calculus
Prototypes and JavaScript
-
Henry Lieberman, Using Prototypical Objects to Implement Shared Behavior in Object Oriented Systems, Proceedings OOPSLA '86, ACM SIGPLAN Notices, 21 p. 214—223, November 1986.
- See also preprint on-line
-
Guide and Reference: Mozilla dev center
-
Various articles: http://www.crockford.com/javascript/
-
Online videos of JavaScript lectures
-
Rhino
-
Firefox Firebug plugin
-
Lint (also online)
-
NodeJS (server-side JS)
Types
Denotational Semantics
- D. A. Schmidt, Denotational Semantics: A Methodology for Language Development, 1986
Logic Programming
- Ciao Prolog (for Windows, Unix, Mac OSX ...)
- SWI Prolog
- Sicstus Prolog Manual: http://www.sics.se/sicstus/docs/3.7.1/html/sicstus_toc.html
- Open Prolog (for Mac) : http://www.cs.tcd.ie/open-prolog/
- P. Flach, Simply Logical, 1994
Visual Programming
-
Selected papers (unibe access)