Lazy rewriting on eager machinery (2000)

by Wan Fokkink , Pum Walters , Jasper Kamperman
Venue:ACM Transactions on Programming Languages and Systems
Citations:23 - 1 self