Classes of Equational Programs that Compile into Ecient Machine Code (1989)

by R Strandh
Venue:In Proc. 3rd Int. Conf. on Rewriting Techniques and Applications