tapl topic

Code from the book "Types and Programming Languages" in Scala

ilya-klyuchnikov

Exercises from Benjamin Pierce's "Types and Programming Languages" textbook + extras!

lazear

Types and Programming Languages (TAPL)

waddlaw