types-and-programming-languages
Here are 8 public repositories matching this topic...
Exercises from Benjamin Pierce's "Types and Programming Languages" textbook + extras!
- Updated
Jul 26, 2020 - Rust
Learning "Types and Programming Languages" in Japanese
- Updated
May 8, 2021 - Haskell
My solutions for the exercises presented in Benjamin C. Pierce's Types and Programming Languages.
- Updated
Jan 31, 2021
An OCaml (embedded) implementation of systems from the book Types and Programming Languages by Benjamin C. Pierce.
- Updated
Jul 15, 2022 - OCaml
C# implementation for TAPL
- Updated
Jan 23, 2024 - C#
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
Implementing Types and Programming Languages by Benjamin Pierce in Flix.
- Updated
Feb 22, 2024
Improve this page
Add a description, image, and links to thetypes-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 thetypes-and-programming-languages topic, visit your repo's landing page and select "manage topics."