Analysis of Functional Programs by Program Transformations (1988)

by D Le Métayer
Venue:In Proc. of 2nd France-Japan Artificial Intelligence and Computer Science Symposium