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