Option contracts.

Christos Dimoulas, Robert Bruce Findler, Matthias Felleisen

Browse the full OOPSLA paper archive.