| 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 | 344 | 2001 |
| Compiling standard ML to Java bytecodes N Benton, A Kennedy, G Russell Proceedings of the third ACM SIGPLAN international conference on Functional …, 1998 | 192 | 1998 |
| Compiling with continuations, continued A Kennedy Proceedings of the 12th ACM SIGPLAN international conference on Functional …, 2007 | 145 | 2007 |
| Dimension types A Kennedy European Symposium on Programming, 348-362, 1994 | 120 | 1994 |
| Strongly typed term representations in Coq N Benton, CK Hur, AJ Kennedy, C McBride Journal of automated reasoning 49 (2), 141-159, 2012 | 115 | 2012 |
| Programming languages and dimensions AJ Kennedy University of Cambridge, Computer Laboratory, 1996 | 103 | 1996 |
| Relational parametricity and units of measure AJ Kennedy Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of …, 1997 | 84 | 1997 |
| Types for units-of-measure: Theory and practice A Kennedy Central European Functional Programming School, 268-305, 2009 | 83 | 2009 |
| Some domain theory and denotational semantics in Coq N Benton, A Kennedy, C Varming Theorem Proving in Higher Order Logics: 22nd International Conference …, 2009 | 82 | 2009 |
| Variance and Generalized Constraints for C Generics B Emir, A Kennedy, C Russo, D Yu European Conference on Object-Oriented Programming, 279-303, 2006 | 80 | 2006 |
| Generalized algebraic data types and object-oriented programming A Kennedy, CV Russo ACM SIGPLAN Notices 40 (10), 21-40, 2005 | 78 | 2005 |
| Functional pearl pickler combinators AJ Kennedy Journal of Functional Programming 14 (6), 727-739, 2004 | 78 | 2004 |
| On decidability of nominal subtyping with variance AJ Kennedy, BC Pierce Fool/Wood, 1-12, 2007 | 76 | 2007 |
| 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 | 73 | 2013 |
| Exceptional syntax N Benton, A Kennedy Journal of Functional Programming 11 (4), 395-410, 2001 | 72 | 2001 |
| Formalization of generics for the. NET common language runtime D Yu, A Kennedy, D Syme Computing Reviews 45 (9), 573, 2004 | 64 | 2004 |
| Interlanguage working without tears: Blending SML with Java N Benton, A Kennedy ACM SIGPLAN Notices 34 (9), 126-137, 1999 | 62 | 1999 |
| Monads, effects and transformations N Benton, A Kennedy Electronic Notes in Theoretical Computer Science 26, 3-20, 1999 | 59 | 1999 |
| 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 | 57 | 2013 |
| 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 | 50 | 2007 |
Nick BentonEngineering Manager, FacebookVerified email at fb.com
