GitHub topics: simply-typed-lambda-calculus
rbouaf/stlc-subtyping
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.
Language: OCaml - Size: 159 KB - Last synced at: 4 days ago - Pushed at: 24 days ago - Stars: 0 - Forks: 0
brendanzab/elm-stlc
Bidirectional type checker for the simply typed lambda calculus
Language: Elm - Size: 15.6 KB - Last synced at: about 2 months ago - Pushed at: over 5 years ago - Stars: 14 - Forks: 1
brianberns/Stlc
Simply-typed lambda calculus
Language: F# - Size: 40 KB - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 2 - Forks: 2
Zeta611/type-safe-programming
SLConf 2024: 타입으로 안전하게 프로그래밍하기
Language: TeX - Size: 6.99 MB - Last synced at: about 2 months ago - Pushed at: over 1 year ago - Stars: 4 - Forks: 0
lambduli/lambdas
REPL for various lambda calculi.
Language: Haskell - Size: 112 KB - Last synced at: about 2 years ago - Pushed at: about 4 years ago - Stars: 1 - Forks: 0
trackoor/STLC
❄️ Simply typed lambda calculus formalized in Coq, REPL in Haskell.
Language: Haskell - Size: 8.79 KB - Last synced at: 2 months ago - Pushed at: over 4 years ago - Stars: 5 - Forks: 0
hediturki123/LambdaCalculus
Simply typed and advanced structures in lambda calculus
Language: Coq - Size: 146 KB - Last synced at: almost 2 years ago - Pushed at: about 5 years ago - Stars: 3 - Forks: 1
profbrandon/typeChecker
A repository dedicated to the derivation and implementation of type systems. Current system: Extended System F
Language: Haskell - Size: 29.5 MB - Last synced at: over 2 years ago - Pushed at: almost 8 years ago - Stars: 2 - Forks: 0
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: Agda - Size: 38.1 KB - Last synced at: 3 months ago - Pushed at: over 7 years ago - Stars: 16 - Forks: 0
ecly/programming_language_seminar
Exercises and project for Programming Language Seminar course at ITU
Language: Coq - Size: 4.48 MB - Last synced at: 9 days ago - Pushed at: about 7 years ago - Stars: 0 - Forks: 0
