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
  • Class newsgroup
  • Cardelli's paper on Type Systems [pdf]
  • Mattox's Introduction to Continuations [pdf]
  • Glynn Winskel's lecture notes on the semantics of PCF - a language similar to the one that we are going to define in class [pdf]

Passwords & EWS

Software
Objective CaML
Recommended News Readers for Unix/BSD/Linux
  • SLRN (available on CSIL)
  • tin (available on CSIL)
  • Pan (Gtk+/GNOME)
Postscript/PDF Viewers