11 citations · 12 across the 4 of their papers we have counts for
Showing 2022Show all
2 papers · 1 filter
cs.PL2022
The Functional Machine Calculus
Willem Heijltjes
This paper presents the Functional Machine Calculus (FMC) as a simple model of higher-order computation with "reader/writer" effects: higher-order mutable store, input/output, and…
cs.LO2022
The Functional Machine Calculus II: Semantics
Chris Barrett, Willem Heijltjes, Guy McCusker
The Functional Machine Calculus (FMC), recently introduced by the authors, is a generalization of the lambda-calculus which may faithfully encode the effects of higher-order mutabl…