Urmăriți
Andrew Kennedy
Andrew Kennedy
Facebook London
Adresă de e-mail confirmată pe fb.com
Titlu
Citat de
Citat de
Anul
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
3472001
Compiling standard ML to Java bytecodes
N Benton, A Kennedy, G Russell
Proceedings of the third ACM SIGPLAN international conference on Functional …, 1998
1931998
Compiling with continuations, continued
A Kennedy
Proceedings of the 12th ACM SIGPLAN international conference on Functional …, 2007
1482007
Dimension types
A Kennedy
European Symposium on Programming, 348-362, 1994
1211994
Strongly typed term representations in Coq
N Benton, CK Hur, AJ Kennedy, C McBride
Journal of automated reasoning 49 (2), 141-159, 2012
1162012
Programming languages and dimensions
AJ Kennedy
University of Cambridge, Computer Laboratory, 1996
1031996
Relational parametricity and units of measure
AJ Kennedy
Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of …, 1997
851997
Types for units-of-measure: Theory and practice
A Kennedy
Central European Functional Programming School, 268-305, 2009
832009
Some domain theory and denotational semantics in Coq
N Benton, A Kennedy, C Varming
Theorem Proving in Higher Order Logics: 22nd International Conference …, 2009
822009
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
On decidability of nominal subtyping with variance
AJ Kennedy, BC Pierce
Fool/Wood, 1-12, 2007
782007
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
772005
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
762013
Exceptional syntax
N Benton, A Kennedy
Journal of Functional Programming 11 (4), 395-410, 2001
732001
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
Monads, effects and transformations
N Benton, A Kennedy
Electronic Notes in Theoretical Computer Science 26, 3-20, 1999
601999
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
582013
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
512007
Sistemul nu poate realiza operația în acest moment. Încercați din nou mai târziu.
Articole 1–20