Set Abstraction in Functional and Logic Programming

Frank S. K. Silbermann, Bharat Jayaraman. Set Abstraction in Functional and Logic Programming. In FPCA. pages 313-326, 1989. [doi]

Possibly Related Publications

The following publications are possibly variants of this publication: