typed-lambda-calculus

There are 0 repository under typed-lambda-calculus topic.

arrow
arrow-kt / arrow
The perfect companion for your Kotlin journey - Inspired by functional, data-oriented and concurrent programming
arrow continuations coroutines delimited-continuations for-comprehension fp-types functional-data-structure functional-programming hacktoberfest kotlin kotlin-dsl kotlin-libraries kotlin-library monads optics polymorphism typeclasses typed-lambda-calculus
Language:Kotlin 6441
less-wrong / less-wrong
Simple CoC-based programming language
coc haskell programming-language interpreter typed-lambda-calculus pi-calculus inductive-types
Language:Haskell 9
jadnohra / tag_export
An export of my digital library (Mathematics, Logic, Physics, Numerical Analysis, Machine Learning, Computer Science)
mathematics computer-science machine-learning physics physics-simulation rigid-body-dynamics logic numerical-analysis numerical-optimization numerical-integration lambda-calculus typed-lambda-calculus probability-theory robotics real-analysis differential-forms differential-geometry rotation science bookshelf
8
justinfargnoli / lamb
An implementation of the Typed Lambda Calculus described in https://papl.cs.brown.edu/2018/types.html
rust typed-lambda-calculus lambda-calculus formatter interpreter type-checker llvm
Language:Rust 5
wangjiezhe / tapl
Source code for TAPL
ocaml tapl type-system lambda-calculus typed-lambda-calculus
Language:OCaml 5
cpiemontese / tlc-elpi
Interactive theorem proving in ELPI
lambda-calculus lambda-prolog typed-lambda-calculus elpi interactive-theorem-proving
2
mtumilowicz / scala3-dependent-types-polymorphic-functions-workshop
Introduction to typelevel programming: phantom types, dependent types, path dependent types and Curry-Howard isomorphism.
curry-howard-isomorphism dependent-type-theory dependent-types phantom-types polymorphic-functions polymorphic-types typelevel-programming workshop workshop-materials compile-time-meta-programming first-order-logic idris path-dependent scala3 scala3-metaprogramming type-programming typed-lambda-calculus union-types path-dependent-types
Language:Scala 1
akimichi / archetype-semantics
A research paper
iso13606 archetype ehr typed-lambda-calculus
Language:TeX 0