CS 421 (Fall 2011): resources

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

Piazza class newsgroup
Cardelli's paper on Type Systems [pdf]
Mattox's Introduction to Continuations [pdf]

Software

Objective CaML

Mac related info (Thanks to Timothy Swan for gathering this)

Command lines tools like make may be had as a part of Xcode:
1. Check to see if you can download Xcode searching for it in the App Store Application in the Applications folder of your mac
2. If you need to upgrade your os, then use the App Store to update mac os x (free)
3. Download Xcode (free) using step 1
4. Run Xcode to let it or your system finish any initializations
5. Install Command Line Tools for Xcode
  - in Xcode, go to 'Xcode' -> 'Open Developer Tool' -> 'More Developer Tools...'
  - This may require you to log in with a developer account
Ocaml 4.00.1 for the Mac:
- found at http://caml.inria.fr/ocaml/release-prev.en.html
- Disk Image: http://caml.inria.fr/pub/distrib/ocaml-4.00/ocaml-4.00.1-intel.dmg
IDE
- for emacs or eclipse, follow all instructions in your section at the following link http://www.princeton.edu/~crmarsh/ocaml_dev_environment/

Postscript/PDF Viewers