Syllabus

Ullman textbook web site, including errata, solutions, and the textbook programs.
O'Reilly poster of programming-language history.
Homework assignments, projects, exams

Unix

A Unix tutorial, one of many available on line.

Unix help

PASTA lab: general info, links to documentation and help pages

Java

Sun Java tutorial

New features in version 5.0 (1.5)

Tutorial on v5.0 generics

Sun Java class library documentation

Search engine for the Java class library and for the Java tutorial

ML

Gentle intro to ML

notes by Riccardo Pucella (the PDF link at the end of the page).

an SML introduction by Robert Harper, and its examples

SML home page; downloads, links to tutorials, FAQs

MoscowML home page, more links

SML library. The Index is a useful guide.

applications of functional programming

Prolog

Sicstus Prolog manual. Online documentation for the Pastalab Prolog.

SWI Prolog. A free Prolog for Windows and Linux, also installed in Olin 110.

Logic programming . The Virtual Library logic programming pages.

Prolog tutorial from Amzi Prolog (another PC Prolog).

Lambda calculus

A lambda-calculus reduction workbench. Most useful if the workbench settings are "trace" and either "normal order" (outermost first) or "applicative order (innermost first) for reductions.

---

X server for PCs

X-Win32: an X server for PCs, with a 1-month demo available for downloading.

---

David Hemmendinger ( hemmendd@union.edu

Last updated 31 December 2006