Syllabus

Tucker-Noonan textbook web site (not very useful), and an errata list

Hutton textbook web site, including errata and code (some editing required).

O'Reilly poster of programming-language history.

Homework assignments, projects, exams

The course public directory, for homework solutions and program examples is /export/faculty/csc370pub, which is accessible on antipasto by remote login, or on any of the CS lab Linux systems.

Unix

A Unix tutorial, one of many available on line.

Unix help

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

Haskell

Haskell web site

Hugs documentation and downloads

brief documentation of functions in the Haskell standard Prelude that is loaded when you run Hugs

Haskell tutorials.

The Computerworld interview with Simon Peyton-Jones of Microsoft Research, one of the Haskell designers

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

Prolog

Sicstus Prolog manual. Online documentation for the Pastalab Prolog.

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

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 at union.edu)

Last updated 8 September 2008