#

typed-lambda-calculus

Here are 8 public repositories matching this topic...

arrow-kt / arrow

Λrrow - Functional companion to Kotlin's Standard Library

kotlin monads functional-programming arrow coroutines kotlin-library optics kotlin-dsl polymorphism typeclasses functional-data-structure continuations for-comprehension typed-lambda-calculus fp-types delimited-continuations kotlin-libraries

Updated Mar 30, 2023
Kotlin

less-wrong / less-wrong

Simple CoC-based programming language

programming-language haskell interpreter inductive-types coc pi-calculus typed-lambda-calculus

Updated Sep 4, 2017
Haskell

jadnohra / tag_export

An export of my digital library (Mathematics, Logic, Physics, Numerical Analysis, Machine Learning, Computer Science)

Updated Sep 18, 2017

andrew-johnson-4 / L1IR

Sponsor

Intermediate Representation of LSTS L1 Language

programming-language interpreter compiler functional-programming ast jit type-theory intermediate-representation ir abstract-syntax-tree intermediate-language typed-lambda-calculus just-in-time whole-program-analysis

Updated Mar 5, 2023
Rust

justinfargnoli / lamb

An implementation of the Typed Lambda Calculus described in https://papl.cs.brown.edu/2018/types.html

rust formatter interpreter llvm lambda-calculus type-checker typed-lambda-calculus

Updated Nov 24, 2021
Rust

wangjiezhe / tapl

Source code for TAPL

ocaml lambda-calculus tapl type-system typed-lambda-calculus

Updated Mar 24, 2017
OCaml

cpiemontese / tlc-elpi

Interactive theorem proving in ELPI

lambda-calculus interactive-theorem-proving typed-lambda-calculus lambda-prolog elpi

Updated Nov 27, 2018

akimichi / archetype-semantics

A research paper

ehr archetype typed-lambda-calculus iso13606

Updated Nov 8, 2018
TeX

Improve this page

Add a description, image, and links to the typed-lambda-calculus topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the typed-lambda-calculus topic, visit your repo's landing page and select "manage topics."