Yet another way of Set-processing: The Escher style and its implementationKerstin Eder, Yet another way of Set-processing: The Escher style and its implementation. Proceedings of the Workshop on Declarative Programming with Sets (DPS'99), pp. 37–50. September 1999. PDF, 252 Kbytes.
Escher supports a new way of handling sets, where sets are identified by predicates and set matching is based on ``pattern'' matching on function symbols. This paper investigates how this style of set processing can be implemented and suggests suitable compilation and evaluation techniques.