to direct style. Science of Computer Programming (1994)

by Back
Venue:In Sergio Antoy and Yoshihito Toyama, editors, Proceedings of the Fourth International Workshop on Reduction Strategies in Rewriting and Programming (WRS’04), volume 124(2) of Electronic Notes in Theoretical Computer Science