Contract Systems Need Domain-Specific Notations (Pearl/Brave New Idea).

Cameron Moy, Ryan Jung, Matthias Felleisen

Browse the full ECOOP paper archive.