A Demand-Driven Narrowing Calculus with Overlapping Definitional Trees
Actes:
Proceedings of the ACM SIGPLAN Conference on Principles and Practice of Declarative Programming
ISBN: 1581137052
Any de publicació: 2003
Volum: 5
Pàgines: 253-263
Tipus: Aportació congrés