An OCaml (embedded) implementation of systems from the book Types and Programming Languages by Benjamin C. Pierce.
- Updated
Jul 15, 2022 - OCaml
#
types-and-programming-languages
Here are 2 public repositories matching this topic...
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
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."