Seguir
Andrew Kennedy
Andrew Kennedy
Facebook London
Dirección de correo verificada de fb.com
Título
Citado por
Citado por
Año
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
3442001
Compiling standard ML to Java bytecodes
N Benton, A Kennedy, G Russell
Proceedings of the third ACM SIGPLAN international conference on Functional …, 1998
1861998
Compiling with continuations, continued
A Kennedy
Proceedings of the 12th ACM SIGPLAN international conference on Functional …, 2007
1432007
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
1112012
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
On decidability of nominal subtyping with variance
AJ Kennedy, BC Pierce
Fool/Wood, 1-12, 2007
762007
Generalized algebraic data types and object-oriented programming
A Kennedy, CV Russo
ACM SIGPLAN Notices 40 (10), 21-40, 2005
752005
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
722013
Exceptional syntax
N Benton, A Kennedy
Journal of Functional Programming 11 (4), 395-410, 2001
712001
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
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20