TAPL Implementation of the languages presented in the book "Types and Programming Languages" by Benjamin C. Pierce.