9 results for “topic:typed-lambda-calculus”
The perfect companion for your Kotlin journey - Inspired by functional, data-oriented and concurrent programming
Simple CoC-based programming language
An export of my digital library (Mathematics, Logic, Physics, Numerical Analysis, Machine Learning, Computer Science)
An implementation of the Typed Lambda Calculus described in https://papl.cs.brown.edu/2018/types.html
Source code for TAPL
Introduction to typelevel programming: phantom types, dependent types, path dependent types and Curry-Howard isomorphism.
Interactive theorem proving in ELPI
Small SystemF interpreter
A research paper