Projects in Awesome Lists tagged with typed-lambda-calculus
A curated list of projects in awesome lists tagged with typed-lambda-calculus .
https://github.com/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
Last synced: 14 May 2025
https://github.com/mtumilowicz/scala3-dependent-types-polymorphic-functions-workshop
Introduction to typelevel programming: phantom types, dependent types, path dependent types and Curry-Howard isomorphism.
compile-time-meta-programming curry-howard-isomorphism dependent-type-theory dependent-types first-order-logic idris path-dependent path-dependent-types phantom-types polymorphic-functions polymorphic-types scala3 scala3-metaprogramming type-programming typed-lambda-calculus typelevel-programming union-types workshop workshop-materials
Last synced: 23 Feb 2025
https://github.com/akimichi/archetype-semantics
A research paper
archetype ehr iso13606 typed-lambda-calculus
Last synced: 01 Apr 2025
