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…