Fully Abstract Operation Contracts.

Richard Bubel, Reiner Hhnle, Maria Pelevina

Browse the full ISoLA paper archive.