CS 421: Programming Languages and Compilers
main
::
policy
::
lectures
::
mps
::
exams
::
unit project
:: resources ::
faq
FOLDOC
Free On-Line Dictionary of Computing
You can find just about any computing term here.
Even the ones we talk about.
More or Less Directly Class Related
Cardelli's paper on Type Systems
[pdf]
Mattox's Introduction to Continuations
[pdf]
Hindley and Seldin's
Lambda-Calculusand Combinators, an Introduction
Software
Objective CaML
www.ocaml.org
Online Manual
Introduction to OCaml
Tips for using the OCaml toplevel
Free online translation of the O'Reilly Objective Caml Book
Good book about OCaml
from a compiler design course at
CALTECH
.
Postscript/PDF Viewers
Ghostview
(PS and PDF)
Adobe Acrobat Reader
(PDF only)
Xpdf
(PDF only)