Andrew Kennedy
Andrew Kennedy
Facebook London
Verified email at fb.com
Title
Cited by
Cited by
Year
Design and implementation of generics for the. net common language runtime
A Kennedy, D Syme
Proceedings of the ACM SIGPLAN 2001 conference on Programming language …, 2001
3142001
Compiling standard ML to Java bytecodes
N Benton, A Kennedy, G Russell
Proceedings of the third ACM SIGPLAN international conference on Functional …, 1998
1831998
Compiling with continuations, continued
A Kennedy
Proceedings of the 12th ACM SIGPLAN international conference on Functional …, 2007
1002007
Dimension types
A Kennedy
European Symposium on Programming, 348-362, 1994
981994
Programming languages and dimensions
AJ Kennedy
University of Cambridge, Computer Laboratory, 1996
921996
Strongly typed term representations in Coq
N Benton, CK Hur, AJ Kennedy, C McBride
Journal of automated reasoning 49 (2), 141-159, 2012
862012
Relational parametricity and units of measure
AJ Kennedy
Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of …, 1997
781997
Variance and Generalized Constraints for C Generics
B Emir, A Kennedy, C Russo, D Yu
European Conference on Object-Oriented Programming, 279-303, 2006
742006
Functional pearl pickler combinators
AJ Kennedy
Journal of Functional Programming 14 (6), 727, 2004
732004
Some domain theory and denotational semantics in Coq
N Benton, A Kennedy, C Varming
International Conference on Theorem Proving in Higher Order Logics, 115-130, 2009
702009
Exceptional syntax
N Benton, A Kennedy
Journal of Functional Programming 11 (4), 395-410, 2001
632001
Interlanguage working without tears: Blending SML with Java
N Benton, A Kennedy
ACM SIGPLAN Notices 34 (9), 126-137, 1999
631999
Generalized algebraic data types and object-oriented programming
A Kennedy, CV Russo
ACM SIGPLAN Notices 40 (10), 21-40, 2005
622005
Types for units-of-measure: Theory and practice
A Kennedy
Central European Functional Programming School, 268-305, 2009
612009
High-level separation logic for low-level code
JB Jensen, N Benton, A Kennedy
Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2013
602013
On decidability of nominal subtyping with variance
AJ Kennedy, BC Pierce
582006
Formalization of generics for the. NET common language runtime
D Yu, A Kennedy, D Syme
Computing Reviews 45 (9), 573, 2004
572004
Monads, effects and transformations
N Benton, A Kennedy
Electronic Notes in Theoretical Computer Science 26, 3-20, 1999
541999
Coq: the world's best macro assembler?
A Kennedy, N Benton, JB Jensen, PE Dagand
Proceedings of the 15th Symposium on Principles and Practice of Declarative …, 2013
492013
Relational semantics for effect-based program transformations with dynamic allocation
N Benton, A Kennedy, L Beringer, M Hofmann
Proceedings of the 9th ACM SIGPLAN international conference on Principles …, 2007
482007
The system can't perform the operation now. Try again later.
Articles 1–20