Partial computation of programs (1983)

by Y Futamura
Venue:RIMS Symposia on Software Science and Engineering,volume 147 of Lecture Notes in Computer Science