GitHub repository: KareemErgawy/types-and-programming-languages
Primary language: C++
Created: 2020-01-25T09:47:38Z
Description: Implementations of programming languages and type systems studied in "Types and Programming Languages" by Benjamin C. Pierce..