Exercises from Benjamin Pierce's "Types and Programming Languages" textbook + extras!
-
Updated
Jul 26, 2020 - Rust
#
types-and-programming-languages
Here are 8 public repositories matching this topic...
My solutions for the exercises presented in Benjamin C. Pierce's Types and Programming Languages.
type-theory programming-languages exercises tapl textbook type-system exercise-solutions types-and-programming-languages
-
Updated
Jan 31, 2021
Learning "Types and Programming Languages" in Japanese
-
Updated
May 8, 2021 - Haskell
C# implementation for TAPL
-
Updated
Jan 23, 2024 - C#
An OCaml (embedded) implementation of systems from the book Types and Programming Languages by Benjamin C. Pierce.
-
Updated
Jul 15, 2022 - OCaml
Implementing Types and Programming Languages by Benjamin Pierce in Flix.
-
Updated
Feb 22, 2024
Introduced subtyping into Simply Typed Lambda Calculus (STLC), allowing for more flexible type assignments following Liskov’s Substitution Principle. We implemented an algorithmically driven type system supporting subtyping, and then expanded it with joins and meets, based on TaPL by Pierce.
-
Updated
May 13, 2025 - OCaml
Exercises & implementations for the type systems & lambda calculi presented by Benjamin Pierce in Types and Programming Languages.
-
Updated
Aug 9, 2024 - Haskell
Improve this page
Add a description, image, and links to the types-and-programming-languages topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the types-and-programming-languages topic, visit your repo's landing page and select "manage topics."