11 citations · 12 across the 4 of their papers we have counts for
Showing cs.PLShow all
2 papers · 1 filter
cs.PL2024★ 1 cited
The Relational Machine Calculus
Chris Barrett, Daniel Castle, Willem Heijltjes
This paper presents the Relational Machine Calculus (RMC): a simple, foundational model of first-order relational programming. The RMC originates from the Functional Machine Calcul…
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…