Follow
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
3402001
Compiling standard ML to Java bytecodes
N Benton, A Kennedy, G Russell
Proceedings of the third ACM SIGPLAN international conference on Functional …, 1998
1851998
Compiling with continuations, continued
A Kennedy
Proceedings of the 12th ACM SIGPLAN international conference on Functional …, 2007
1412007
Dimension types
A Kennedy
European Symposium on Programming, 348-362, 1994
1161994
Strongly typed term representations in Coq
N Benton, CK Hur, AJ Kennedy, C McBride
Journal of automated reasoning 49 (2), 141-159, 2012
1082012
Programming languages and dimensions
AJ Kennedy
University of Cambridge, Computer Laboratory, 1996
1021996
Relational parametricity and units of measure
AJ Kennedy
Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of …, 1997
841997
Some domain theory and denotational semantics in Coq
N Benton, A Kennedy, C Varming
Theorem Proving in Higher Order Logics: 22nd International Conference …, 2009
812009
Variance and Generalized Constraints for C Generics
B Emir, A Kennedy, C Russo, D Yu
European Conference on Object-Oriented Programming, 279-303, 2006
802006
Types for units-of-measure: Theory and practice
A Kennedy
Central European Functional Programming School, 268-305, 2009
792009
Functional pearl pickler combinators
AJ Kennedy
Journal of Functional Programming 14 (6), 727-739, 2004
782004
Generalized algebraic data types and object-oriented programming
A Kennedy, CV Russo
ACM SIGPLAN Notices 40 (10), 21-40, 2005
752005
On decidability of nominal subtyping with variance
AJ Kennedy, BC Pierce
Fool/Wood, 1-12, 2007
732007
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
712013
Exceptional syntax
N Benton, A Kennedy
Journal of Functional Programming 11 (4), 395-410, 2001
702001
Formalization of generics for the. NET common language runtime
D Yu, A Kennedy, D Syme
Computing Reviews 45 (9), 573, 2004
642004
Interlanguage working without tears: Blending SML with Java
N Benton, A Kennedy
ACM SIGPLAN Notices 34 (9), 126-137, 1999
621999
Coq: the world's best macro assembler?
A Kennedy, N Benton, JB Jensen, PÉ Dagand
Proceedings of the 15th Symposium on Principles and Practice of Declarative …, 2013
572013
Monads, effects and transformations
N Benton, A Kennedy
Electronic Notes in Theoretical Computer Science 26, 3-20, 1999
571999
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
502007
The system can't perform the operation now. Try again later.
Articles 1–20