A variant of the Functional Machine Calculus with first-class locations
programming-language
functional-programming
lambda-calculus
functional-machine-calculus
fuctional-imperative-hybrid
-
Updated
May 23, 2024 - C++