Relational Semantics of Functional Programs

Rudolf Berghammer, Burghard von Karger. Relational Semantics of Functional Programs. In Chris Brink, Wolfram Kahl, Gunther Schmidt 0001, editors, Relational Methods in Computer Science. Advances in computing science, pages 115-130, Springer, 1997. [doi]

Possibly Related Publications

The following publications are possibly variants of this publication: