A Demand-Driven Narrowing Calculus with Overlapping Definitional Trees
Konferenzberichte:
Proceedings of the ACM SIGPLAN Conference on Principles and Practice of Declarative Programming
ISBN: 1581137052
Datum der Publikation: 2003
Ausgabe: 5
Seiten: 253-263
Art: Konferenz-Beitrag