Andrew Butterfield
Haskell Haskell programming ML programming function-based programming functional logic computation functional programming functional programming languages functional theorem proving graph rewriting lambda calculus mathematical semantics programming languages implementat programming languages implementation server-side Web programming theorem proving