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
Functional programming FAQ
Haskell: http://www.haskell.org
The Haskell 98 Language and Library Specification
The Glasgow Haskell Compiler (GHC)
Common Haskell errors
HUnit - Haskell Unit Testing
Haskel Platform

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
PL JavaScript lecture examples online
Various articles: http://www.crockford.com/javascript/
Quirksmode
Cheat sheet
Online videos of JavaScript lectures
Closures in JavaScript
Rhino
ECMAScript Language Specification
Firefox Firebug plugin
Lint (also online)
NodeJS (server-side JS)

Types

Type theory papers

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

Other Resources