Functional Programming With Relations
Hutton, Graham (1991) Functional Programming With Relations. In: Proceedings of the 1990 Glasgow Workshop on Functional Programming, Ullapool, Scotland.
While programming in a relational framework has much to offer over the functional style in terms of expressiveness, computing with relations is less efficient, and more semantically troublesome. In this paper we propose a novel blend of the functional and relational styles. We identify a class of "causal relations", which inherit some of the bi-directionality properties of relations, but retain the efficiency and semantic foundations of the functional style.
Actions (Archive Staff Only)