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
#
simply-typed-lambda-calculus
Here are 8 public repositories matching this topic...
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: 타입으로 안전하게 프로그래밍하기
rust
algebraic-data-types
beamer
polymorphism
type-system
system-f
parametric-polymorphism
simply-typed-lambda-calculus
generalized-algebraic-data-type
ad-hoc-polymorphism
subtype-polymorphism
universal-type
-
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
typechecker
pattern-matching
type-system
system-f
parametric-polymorphism
universal-quantifiers
simply-typed-lambda-calculus
-
Updated
Aug 5, 2017 - Haskell
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 the simply-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 the simply-typed-lambda-calculus topic, visit your repo's landing page and select "manage topics."