|
|
|
|
|
|
||
CS 231: Introduction to Programming
CS 241: Data Structures and Algorithms
CS 254: Introduction to Functional Programming
CS 353: Architecture and Compilers
CS 451: Language, Logic and Computation
CS 454: Functional Programming
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