Principled strength reduction (1997)

by Y A Liu
Venue:In Algorithmic Languages and Calculi, R . Bird and L. Meertens, Eds. Chapman