There are 1 repository under types-and-programming-languages topic.
Exercises from Benjamin Pierce's "Types and Programming Languages" textbook + extras!
My solutions for the exercises presented in Benjamin C. Pierce's Types and Programming Languages.
C# implementation for TAPL
An OCaml (embedded) implementation of systems from the book Types and Programming Languages by Benjamin C. Pierce.
Implementing Types and Programming Languages by Benjamin Pierce in Flix.