Relating Accumulative and Non-accumulative Functional Programs
RTA '01 Proceedings of the 12th International Conference on Rewriting Techniques and Applications
Syntactic composition of top-down tree transducers is short cut fusion
Mathematical Structures in Computer Science
Hi-index | 5.23 |