simply-typed-lambda-calculus

There are 8 repositories under simply-typed-lambda-calculus topic.

gergoerdi/universe-of-syntax
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.
Language:Agda16 4 0
brendanzab/elm-stlc
Bidirectional type checker for the simply typed lambda calculus
Language:Elm15 2 01
trackoor/STLC
❄️ Simply typed lambda calculus formalized in Coq, REPL in Haskell.
Language:Haskell5 1 00
Zeta611/type-safe-programming
SLConf 2024: 타입으로 안전하게 프로그래밍하기
Language:TeX4 2 0
hediturki123/LambdaCalculus
Simply typed and advanced structures in lambda calculus
Language:Coq3 1 01
brianberns/Stlc
Simply-typed lambda calculus
Language:F#2 4 02
profbrandon/typeChecker
A repository dedicated to the derivation and implementation of type systems. Current system: Extended System F
Language:Haskell2 0 00
ecly/programming_language_seminar
Exercises and project for Programming Language Seminar course at ITU
Language:Coq4 0