| 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 | 313 | 2001 |
| Compiling standard ML to Java bytecodes N Benton, A Kennedy, G Russell Proceedings of the third ACM SIGPLAN international conference on Functional …, 1998 | 181 | 1998 |
| Compiling with continuations, continued A Kennedy Proceedings of the 12th ACM SIGPLAN international conference on Functional …, 2007 | 97 | 2007 |
| Dimension types A Kennedy European Symposium on Programming, 348-362, 1994 | 95 | 1994 |
| Programming languages and dimensions AJ Kennedy University of Cambridge, Computer Laboratory, 1996 | 89 | 1996 |
| Strongly typed term representations in Coq N Benton, CK Hur, AJ Kennedy, C McBride Journal of automated reasoning 49 (2), 141-159, 2012 | 81 | 2012 |
| Relational parametricity and units of measure AJ Kennedy Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of …, 1997 | 77 | 1997 |
| Variance and Generalized Constraints for C Generics B Emir, A Kennedy, C Russo, D Yu European Conference on Object-Oriented Programming, 279-303, 2006 | 74 | 2006 |
| Functional pearl pickler combinators AJ Kennedy Journal of Functional Programming 14 (6), 727, 2004 | 73 | 2004 |
| 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 | 70 | 2009 |
| Interlanguage working without tears: Blending SML with Java N Benton, A Kennedy ACM SIGPLAN Notices 34 (9), 126-137, 1999 | 63 | 1999 |
| Generalized algebraic data types and object-oriented programming A Kennedy, CV Russo ACM SIGPLAN Notices 40 (10), 21-40, 2005 | 61 | 2005 |
| Exceptional syntax N Benton, A Kennedy Journal of Functional Programming 11 (4), 395-410, 2001 | 61 | 2001 |
| 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 | 59 | 2013 |
| Types for units-of-measure: Theory and practice A Kennedy Central European Functional Programming School, 268-305, 2009 | 56 | 2009 |
| On decidability of nominal subtyping with variance AJ Kennedy, BC Pierce | 56 | 2006 |
| Formalization of generics for the. NET common language runtime D Yu, A Kennedy, D Syme Computing Reviews 45 (9), 573, 2004 | 56 | 2004 |
| Monads, effects and transformations N Benton, A Kennedy Electronic Notes in Theoretical Computer Science 26, 3-20, 1999 | 54 | 1999 |
| 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 | 49 | 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 | 48 | 2007 |
Nick BentonEngineering Manager, FacebookVerified email at fb.com
