simply-typed-lambda-calculus

There are 0 repository 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.

  agdasubstitutionlambda-calculussimply-typed-lambda-calculusnormalization
  Language:Agda 16

• brendanzab / elm-stlc

  Bidirectional type checker for the simply typed lambda calculus

  lambda-calculussimply-typed-lambda-calculusbidirectional-typecheckingtype-checkingelm
  Language:Elm 13

• MisakaCenter / STLC

  ❄️ Simply typed lambda calculus formalized in Coq, REPL in Haskell.

  simply-typed-lambda-calculusstlcprogramming-language
  Language:Haskell 5

• Zeta611 / type-safe-programming

  SLConf 2024: 타입으로 안전하게 프로그래밍하기

  ad-hoc-polymorphismalgebraic-data-typesbeamerparametric-polymorphismpolymorphismsimply-typed-lambda-calculussubtype-polymorphismsystem-ftype-systemgeneralized-algebraic-data-typerustuniversal-type
  Language:TeX 4

• hediturki123 / LambdaCalculus

  Simply typed and advanced structures in lambda calculus

  lambdacalculusuntyped-lambda-calculussimply-typed-lambda-calculusadvanced-structures
  Language:Coq 3

• lambduli / lambdas

  REPL for various lambda calculi.

  evaluatorlambda-calculus-evaluatorlambda-calculussimply-typed-lambda-calculussystem-funtyped-lambda-calculus
  Language:Haskell 3

• brianberns / Stlc

  Simply-typed lambda calculus

  simply-typed-lambda-calculus
  Language:F# 2

• profbrandon / typeChecker

  A repository dedicated to the derivation and implementation of type systems. Current system: Extended System F

  type-systemuniversal-quantifierssimply-typed-lambda-calculusparametric-polymorphismtypecheckersystem-fpattern-matching
  Language:Haskell 2

• ecly / programming_language_seminar

  Exercises and project for Programming Language Seminar course at ITU

  coqformal-verificationformal-proofssimply-typed-lambda-calculus
  Language:Coq