C++ Implementations of programming languages and type systems studied in "Types and Programming Languages" by Benjamin C. Pierce..