literature.bib

@inproceedings{dw:aggr-upd,
  author = {C. ~Dimoulas and M. ~Wand},
  title = {The Higher-Order Aggregate Update Problem},
  booktitle = {Proceedings of  10th International Conference on
    Verification, Model Checking, and Abstract Interpretation (VMCAI)},
  pages = {44 -- 58},
  year = {2009},
}

@inproceedings{dpf:future-contracts,
  author = {C. ~Dimoulas and R. ~Pucella and M. ~Felleisen},
  title = {Future Contracts},
  booktitle = {Proceedings of the 11th International ACM SIGPLAN Conference
               on Principles and Practice of Declarative Programming
                 (PPDP)},
  pages = {195 -- 206},
  year = {2009},
}

@article{df:ho-contract-sat,
  title="On Contract Satisfaction in a Higher-Order World",
 author={C. ~Dimoulas and M. ~Felleisen},
 journal={ACM Transactions on Programming Languages and Systems (TOPLAS)},
 year = {2011},
 volume= {33},
 issue = {5},
 articleno = {16},
 pages = {16:1 -- 16:29},
}

@inproceedings{dfff:blame-correct,
  author = {C. ~Dimoulas and R. B. ~Findler and C. Flanagan and M. ~Felleisen},
  title = {Correct Blame for Contracts: No More Scapegoating},
  booktitle = {Proceedings of the 38th Annual ACM SIGPLAN-SIGACT Symposium
    on Principles of Programming Languages (POPL)},
  pages = {215 -- 226},
  year = {2011},
}

@inproceedings{kcdeffkrf:run-research,
author ={C.~Klein and J.~Clements and C.~Dimoulas and C.~Eastlund and
    M.~Felleisen and M.~Flatt and J.~McCarthy and J.~Rafkind and
      S.~Tobin-Hochstadt and R. B.~Findler},
  title = {Run Your Research},
  booktitle ={Proceedings of the 39th Annual ACM SIGPLAN-SIGACT Symposium
    on Principles of Programming Languages (POPL)},
  pages = {285 -- 296},
  year = {2012},
}

@inproceedings{dthf:complete,
author ={C.~Dimoulas and S.~Tobin-Hochstadt and M.~Felleisen},
  title = {Complete Monitors for Behavioral Contracts},
  booktitle ={Proceedings of the 21st European Symposium on Programming (ESOP)},
  pages = {211 -- 230},
  year = {2012},
}

@inproceedings{tsdthf:gradual-first-class-classes,
 author = {A.~Takikawa and T.S.~Strickland and C.~Dimoulas and
   S.~Tobin-Hochstadt and M.~ Felleisen}
 title = {Gradual Typing for First-Class Classes},
 booktitle = {Proceedings of the 2012 ACM International Conference on
   Object-Oriented Programming, Systems, Languages and Applications
     (OOPSLA)},
 year = {2012},
 pages = {to appear},
}