Yet another way of Set-processing: The Escher style and its implementation
Kerstin Eder · 1999
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.