PL Resources

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

See also: CC Resources

Programming Languages

Postscript

Functional Programming

Lambda Calculus

The Why of Y

Prototypes and JavaScript

Types

Type theory papers

Denotational Semantics

Logic Programming

Visual Programming


Other Resources