![]() λ-calculus interpreter in less than 300 lines of JS.Y Combinator for Non-programmers: A Wild Introduction to Computer Science ( Code).pLam - Interpreter for learning and exploring pure λ-calculus.Dedukti - Implementation of the λΠ-calculus modulo rewriting. ![]() Lambda Zero - Minimalist pure lazy functional programming language.Fine-grain implementations of common lambda calculi in Haskell, tested with QuickCheck.path - Lambda calculus to explore type-directed program synthesis.The Impact of the Lambda Calculus (1997) ( HN). ![]()
0 Comments
Leave a Reply. |
AuthorWrite something about yourself. No need to be fancy, just an overview. ArchivesCategories |