Bologna Optimal Higher-Order Machine, Version 1.1
lambda functional-programming lambda-calculus higher-order-functions compilers lambda-expressions graph-reduction
- Updated
Feb 17, 2017 - C
Bologna Optimal Higher-Order Machine, Version 1.1
A Lévy-optimal lambda calculus reducer with a backdoor to C
Implementation of higher-order functional programming concepts in C, featuring generic data structures, variadic functions, and memory-safe abstractions
encore: Efficient isotropic 2-, 3-, 4-, 5- and 6-point correlation functions in C++ and CUDA
Add a description, image, and links to the higher-order-functions topic page so that developers can more easily learn about it.
To associate your repository with the higher-order-functions topic, visit your repo's landing page and select "manage topics."