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 | 347 | 2001 |
Compiling standard ML to Java bytecodes N Benton, A Kennedy, G Russell Proceedings of the third ACM SIGPLAN international conference on Functional …, 1998 | 193 | 1998 |
Compiling with continuations, continued A Kennedy Proceedings of the 12th ACM SIGPLAN international conference on Functional …, 2007 | 148 | 2007 |
Dimension types A Kennedy European Symposium on Programming, 348-362, 1994 | 121 | 1994 |
Strongly typed term representations in Coq N Benton, CK Hur, AJ Kennedy, C McBride Journal of automated reasoning 49 (2), 141-159, 2012 | 116 | 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 | 85 | 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 |
On decidability of nominal subtyping with variance AJ Kennedy, BC Pierce Fool/Wood, 1-12, 2007 | 78 | 2007 |
Functional pearl pickler combinators AJ Kennedy Journal of Functional Programming 14 (6), 727-739, 2004 | 78 | 2004 |
Generalized algebraic data types and object-oriented programming A Kennedy, CV Russo ACM SIGPLAN Notices 40 (10), 21-40, 2005 | 77 | 2005 |
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 | 76 | 2013 |
Exceptional syntax N Benton, A Kennedy Journal of Functional Programming 11 (4), 395-410, 2001 | 73 | 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 | 60 | 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 | 58 | 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 | 51 | 2007 |