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

by R Strandh
Venue:Proc. of RTA’89, volume 355 of Lecture Notes in Computer Science