| 2008 |
|---|
| 4 | EE | Aaron Bohannon,
J. Nathan Foster,
Benjamin C. Pierce,
Alexandre Pilkiewicz,
Alan Schmitt:
Boomerang: resourceful lenses for string data.
POPL 2008: 407-419 |
| 2007 |
|---|
| 3 | EE | Brian E. Aydemir,
Aaron Bohannon,
Stephanie Weirich:
Nominal Reasoning Techniques in Coq: (Extended Abstract).
Electr. Notes Theor. Comput. Sci. 174(5): 69-77 (2007) |
| 2006 |
|---|
| 2 | EE | Aaron Bohannon,
Benjamin C. Pierce,
Jeffrey A. Vaughan:
Relational lenses: a language for updatable views.
PODS 2006: 338-347 |
| 2005 |
|---|
| 1 | EE | Brian E. Aydemir,
Aaron Bohannon,
Matthew Fairbairn,
J. Nathan Foster,
Benjamin C. Pierce,
Peter Sewell,
Dimitrios Vytiniotis,
Geoffrey Washburn,
Stephanie Weirich,
Steve Zdancewic:
Mechanized Metatheory for the Masses: The PoplMark Challenge.
TPHOLs 2005: 50-65 |
