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]

Abstract

Abstract is missing.