refereed publications
  • Modular Monadic Meta-Theory

    • Benjamin Delaware, Steven Keuchel, Tom Schrijvers, Bruno C. d. S. Oliveira
    • To Appear, ICFP 2013.
  • Meta-Theory la Carte

    • Benjamin Delaware, Bruno C. d. S. Oliveira, Tom Schrijvers
    • Proceedings of the ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL) 2013.
  • Product Lines of Theorems

    • Benjamin Delaware, William R. Cook, Don Batory
    • Proceedings of the ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA) 2011.
  • Fitting The Pieces Together: A Machine-Checked Model of Safe Composition

    • Benjamin Delaware, William R. Cook, Don Batory
    • Proceedings of the joint meeting of the European Software Engineering Conference (ESEC) and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE) 2009.
    • Preliminary version presented at Foundations of Aspect-Oriented Languages (FOAL) 2009.
drafts
technical reports and theses