1 citations · 1 across the 1 of their papers we have counts for
1 paper
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…