Program evaluation and generalized partial computation (1988)

by Y Futamura
Venue:In Proceedings of the International Conference on Fifth Generation Computer Systems