Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for lambda calculus abstract machine
abstract-machine
x
lambda-calculus
x
2 search results found
Bruijn
⭐
60
🧮 Programming with pure lambda calculus
Krivine Machine
⭐
29
Abstract krivine machine implementing call-by-name semantics. In OCaml.
Related Searches
Haskell Lambda Calculus (136)
Functional Programming Lambda Calculus (58)
Programming Language Lambda Calculus (37)
Ocaml Lambda Calculus (17)
C Lambda Calculus (17)
Lambda Calculus Church Encoding (11)
Lambda Calculus Logic Programming (6)
Lambda Calculus Formalization (4)
Programming Language Abstract Machine (3)
1-2 of 2 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.