Most of the class links below are nevertheless up-to-date
CS 141: Introduction to Programming
CS 241: Data Structures and Algorithms
CS 154: Introduction to Functional Programming
CS 353: Architecture and Compilers
CS 465: Language, Logic and Computation
Type theory
Generic programming
Document description
Computer Science Teachers' Association
NSF OCEPT Project
Oregon Technology Education Council
Department of Computer Science
Redwood Computer Lab
Salem, Oregon
My daughter Freya's homepage
A short (auto)biography
Macintosh software and news
Various and sundry interests