Projects with CITATION.cff | Open Source Science

Projects with CITATION.cff
Export CSV

Updated 10 months ago

recording • Rank 0.7 • Science 44%

🎥 REPL for a polymorphic record-calculus

compilation lambda-calculus master-dissertation polymorphism record-calculus

Updated 10 months ago

dissertation-refactoring-spcf • Science 44%

SPCF: Interpreter Development and Affine Program Transformation Showcase

denotational-semantics dissertation interpreter lambda-calculus spcf

Updated 10 months ago

lambda_expression_evaluation • Science 44%

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

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