Data renement for call-by-value programming languages (0)

by Y Kinoshita, J Power
Venue:In Flum and Rodriguez-Artalejo [FRA99