See https://www.cis.upenn.edu/~bcpierce/tapl/
See also ocaml and haskell branches of this repository:
-
ocamlcontains the original OCaml solutions available from Benjamin C. Pierce's "Types and Programming Languages" site; I ported some of them to useBytesinstead ofString, so that they build and run fine with OCaml 4.11.1. -
haskellcontains Ryan W. Porter's Haskell translations of the OCaml solutions which I mirrored from https://code.google.com/archive/p/tapl-haskell/
All rights belong to their respective owners. I'm just mirroring the code in this repo for convenience.