Concepedia

Aaron Bohannon

AB

Statistics

Publications

7

Citations

618

H-Index

7

Active since

2006

Affiliations

University of Pennsylvania(Current)

California University of Pennsylvania

Centre Inria de l'Université Grenoble Alpes

Institut national de recherche en sciences et technologies du numérique

École Polytechnique

Aaron Bohannon is an author at University of Pennsylvania specializing in computing, computer science, and programming languages.

Publications per year

2006–2010

7

Publications

7

Relational lenses

Aaron Bohannon, Benjamin C. Pierce, Jeffrey A. Vaughan · 2006 · 203 citations

, , +17

Boomerang

Aaron Bohannon, J. Nathan Foster, Benjamin C. Pierce et al. · 2008 · 181 citations

, , +11

Reactive noninterference

Aaron Bohannon, Benjamin C. Pierce, Vilhelm Sjöberg et al. · 2009 · 95 citations

, , +8

Featherweight Firefox: formalizing the core of a web browser

Aaron Bohannon, Benjamin C. Pierce · 2010 · 56 citations

, , +16

Nominal Reasoning Techniques in Coq

Brian Aydemir, Aaron Bohannon, Stephanie Weirich · Electronic Notes in Theoretical Computer Science · 2007 · 38 citations · Full text

, , +15

1–5 of 7