A Demand-Driven Narrowing Calculus with Overlapping Definitional Trees
Aktak:
Proceedings of the ACM SIGPLAN Conference on Principles and Practice of Declarative Programming
ISBN: 1581137052
Argitalpen urtea: 2003
Alea: 5
Orrialdeak: 253-263
Mota: Biltzar ekarpena