Projects

Updated 6 months ago

🎥 REPL for a polymorphic record-calculus

compilation lambda-calculus master-dissertation polymorphism record-calculus

Updated 5 months ago

Short proofs about using the Lambda-Calculus as a Programming Language (2017)

functional-programming lambda lambda-calculus lambda-expressions lambda-functions latex

Updated 6 months ago

Comparison study between various methods of evaluation for untyped lambda expressions, with practical implementations available

context-free-grammar lambda-calculus theory-of-computation

Updated 6 months ago

SPCF: Interpreter Development and Affine Program Transformation Showcase

denotational-semantics dissertation interpreter lambda-calculus spcf

ecosyste.ms