A supercompiler system based on the language Refal (1979)

by V F Turchin
Venue:SIGPLAN Notices