Haskell code of computation systems in Pierce's book Types and Programming Languages