#
stlc
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 stlc topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the stlc topic, visit your repo's landing page and select "manage topics."