Exercises from Benjamin Pierce's "Types and Programming Languages" textb...
Code from the book "Types and Programming Languages" in Scala