1 citations · 1 across the 3 of their papers we have counts for
1 paper · 1 filter
Willem Heijltjes
The Functional Machine Calculus (Heijltjes 2022) is a new approach to unifying the imperative and functional programming paradigms. It extends the lambda-calculus, preserving the k…