tapl-haskell

Overview The goal of this project is to provide Haskell ports of all OCaml implementations for "Types and Programming Languages" (TAPL) by Benjamin C. Pierce. For each system found under "Implementation" at TAPL, there is a source directory of the same name. Code in the "generator" directory (described below) combines this code with common code in order to generate a corresponding subdirectory under the "gen" directory. The resulting code is completely self-contained, allowing the user to experiment with each of these implementations independently. Each Haskell implementation uses Parsec for parsing, and has an HUnit test suite.

tapl-haskell-0.1
fulluntyped
arith
rcdsubbot
simplebool
fullsub
bot
fullerror
fullsimple
untyped
fullref
tyarith