Compiling relative set abstractions
Sundeep Oberoi, G. S. Nagaraja · 2002
In recent years there has been a lot of interest in combining the functional and logic programming paradigms. One of the most semantically elegant of the various proposals is the set abstraction construct. This paper addresses the issues involved in implementing set abstraction.>