|
Search the dblp DataBase
Aaron Bohannon:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Aaron Bohannon, Benjamin C. Pierce, Jeffrey A. Vaughan
Relational lenses: a language for updatable views. [Citation Graph (0, 0)][DBLP] PODS, 2006, pp:338-347 [Conf]
- 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. [Citation Graph (0, 0)][DBLP] TPHOLs, 2005, pp:50-65 [Conf]
- Brian E. Aydemir, Aaron Bohannon, Stephanie Weirich
Nominal Reasoning Techniques in Coq: (Extended Abstract). [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2007, v:174, n:5, pp:69-77 [Journal]
Reactive noninterference. [Citation Graph (, )][DBLP]
Boomerang: resourceful lenses for string data. [Citation Graph (, )][DBLP]
Search in 0.001secs, Finished in 0.001secs
|