A brief discussion of context sensitive languages, recursively enumerable languages and languages with no grammars. Examples show these are not equivalent.

Basic introduction to monads, monadic programming, and I/O.

Small interpreter for language based on Haskell report 1.2; experimental, more so for type classes. Haskell adopted some ideas of Gofer, but Gofer type class system is more flexible. Runs on DOS, Linux, Macintosh, Unix. Hugs predecessor.

Many files for Hugs Haskell interpreter: source code, documents.

Researches the design, implementation, use of metaprogramming systems, created MetaML, many links on functional metaprogramming, NSF papers. Portland State University, Computer Science Department.

Linux Assembly Tutorial, CS 200 from fall 1998