@INPROCEEDINGS{Greenberg10contracts,
AUTHOR = {Michael Greenberg and Benjamin C. Pierce and Stephanie Weirich},
TITLE = {Contracts Made Manifest},
YEAR = {2010},
BOOKTITLE = {Principles of Programming Languages (POPL) 2010}
}
@BOOK{Pierce09sf,
AUTHOR = {Benjamin C. Pierce and Chris Casinghino and Michael Greenberg},
TITLE = {Software Foundations},
YEAR = {2009},
URL = {http://www.cis.upenn.edu/~bcpierce/sf/}
}
@INPROCEEDINGS{Meyerovich09flapjax,
AUTHOR = {Leo Meyerovich and Arjun Guha and Jacob Baskin and Gregory H. Cooper and Michael Greenberg and Aleks Bromfield and Shriram Krishnamurthi},
TITLE = {Flapjax: A Programming Language for Ajax Applications},
YEAR = {2009},
BOOKTITLE = {Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA) 2009}
}
@INPROCEEDINGS{Fernandez08genericpadsml,
AUTHOR = {Mary Fern\'{a}ndez and Kathleen Fisher and J. Nathan Foster and Michael Greenberg and Yitzhak Mandelbaum},
TITLE = {A Generic Programming Toolkit for PADS/ML: First-Class Upgrades for Third-Party Developers},
BOOKTITLE = {Practical Aspects of Declarative Languages (PADL) 2008},
PAGES = {133--149},
YEAR = {2008},
URL = {http://www.springerlink.com/content/y2v61801m8273k73}
}
@UNPUBLISHED{Greenberg07views,
AUTHOR = {Michael Greenberg},
TITLE = {Declarative, composable views},
YEAR = {2007}
}
@TECHREPORT{Greenberg05margrave,
AUTHOR = {Michael Greenberg and Casey Marks and Leo Alexander Meyerovich and Michael Carl Tschantz},
TITLE = {The Soundness and Completeness of Margrave with Respect to a Subset of XACML},
YEAR = {2005},
INSTITUTION = {Brown University},
NUMBER = {CS--05--05},
URL = {http://www.cs.brown.edu/research/pubs/techreports/reports/CS-05-05.html}
}
@INPROCEEDINGS{Krishnamurthi04modverif,
AUTHOR = {Shriram Krishnamurthi and Kathi Fisler and Michael Greenberg},
TITLE = {Verifying aspect advice modularly},
BOOKTITLE = {Foundations of Software Engineering (FSE) 2004},
YEAR = {2004},
PAGES = {137--146},
DOI = {http://doi.acm.org/10.1145/1029894.1029916}
}
This file has been generated by bibtex2html 1.80