Sound specialization in the presence of computational effects (1997)

by Julia Lawall, Peter Thiemann
Venue:Theoretical Aspects of Computer Software, 3rd International Symposium, TACS’97, number 1281 in Lecture Notes in Computer Science