Statistics
Publications
11
Citations
549
H-Index
10
Active since
1999
Affiliations
Andrew Kennedy is an author at Microsoft Research (United Kingdom) specializing in programming languages, computer science, and computing.
Publications per year
1999–2013
11
11
Design and implementation of generics for the .NET Common language runtime
Andrew Kennedy, Don Syme · 2001 · 199 citations
Cirle A. Warren, Edward J. van Opstal, T. Eric Ballard et al. · Antimicrobial Agents and Chemotherapy · 2012 · 66 citations · Full text
High-level separation logic for low-level code
Jonas Braband Jensen, Nick Benton, Andrew Kennedy · 2013 · 56 citations
Formalization of generics for the .NET common language runtime
Dachuan Yu, Andrew Kennedy, Don Syme · 2004 · 50 citations
Monads, Effects and Transformations
Nick Benton, Andrew Kennedy · Electronic Notes in Theoretical Computer Science · 1999 · 44 citations · Full text
1–5 of 11