Implementation of concepts discussed in the book "Types and Programming Languages" - View it on GitHub