A Demand-Driven Narrowing Calculus with Overlapping Definitional Trees
Actas:
Proceedings of the ACM SIGPLAN Conference on Principles and Practice of Declarative Programming
ISBN: 1581137052
Ano de publicación: 2003
Volume: 5
Páxinas: 253-263
Tipo: Achega congreso