A Demand-Driven Narrowing Calculus with Overlapping Definitional Trees
Actes de conférence:
Proceedings of the ACM SIGPLAN Conference on Principles and Practice of Declarative Programming
ISBN: 1581137052
Année de publication: 2003
Volumen: 5
Pages: 253-263
Type: Communication dans un congrès