simply-typed-lambda-calculus
Here are 9 public repositories matching this topic...
A universe of scope- and type-safe syntaxes (syntices?). Includes generic implementation of type-preserving renaming/substitution with all the proofs you could possibly need.
- Updated
Dec 10, 2017 - Agda
Bidirectional type checker for the simply typed lambda calculus
- Updated
Feb 4, 2020 - Elm
❄️ Simply typed lambda calculus formalized in Coq, REPL in Haskell.
- Updated
Feb 1, 2021 - Haskell
SLConf 2024: 타입으로 안전하게 프로그래밍하기
- Updated
Jan 14, 2024 - TeX
Simply typed and advanced structures in lambda calculus
- Updated
May 22, 2020 - Coq
A repository dedicated to the derivation and implementation of type systems. Current system: Extended System F
- Updated
Aug 5, 2017 - Haskell
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 and project for Programming Language Seminar course at ITU
- Updated
Jun 3, 2018 - Coq
Improve this page
Add a description, image, and links to thesimply-typed-lambda-calculus topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with thesimply-typed-lambda-calculus topic, visit your repo's landing page and select "manage topics."