dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Andrew Kennedy (Selection)

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNick Benton, Chung-Kil Hur, Andrew Kennedy, Conor McBride: Strongly Typed Term Representations in Coq. J. Autom. Reasoning 49(2): 141-159 (2012)
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrew Kennedy, Nick Benton: Proceedings of TLDI 2010: 2010 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, Madrid, Spain, January 23, 2010 ACM 2010
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNick Benton, Andrew Kennedy, Lennart Beringer, Martin Hofmann: Relational semantics for effect-based program transformations: higher-order store. PPDP 2009: 301-312
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNick Benton, Andrew Kennedy, Carsten Varming: Some Domain Theory and Denotational Semantics in Coq. TPHOLs 2009: 115-130
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNick Benton, Andrew Kennedy, Lennart Beringer, Martin Hofmann: Relational semantics for effect-based program transformations with dynamic allocation. PPDP 2007: 87-96
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNick Benton, Andrew Kennedy, Martin Hofmann, Lennart Beringer: Reading, Writing and Relations. APLAS 2006: 114-130
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNick Benton, Andrew Kennedy, Sam Lindley, Claudio V. Russo: Shrinking Reductions in SML.NET. IFL 2004: 142-159
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNick Benton, Andrew Kennedy, Claudio V. Russo: Adventures in interoperability: the SML.NET experience. PPDP 2004: 215-226
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNick Benton, Andrew Kennedy: BABEL 2001 - Preface. Electr. Notes Theor. Comput. Sci. 59(1): 1 (2001)
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNick Benton, Andrew Kennedy: Exceptional Syntax Journal of Functional Programming. J. Funct. Program. 11(4): 395-410 (2001)
7no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBruce J. McAdam, Andrew Kennedy, Nick Benton: Type inference for MLj. Scottish Functional Programming Workshop 2000: 159-172
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNick Benton, Andrew Kennedy: Interlanguage Working Without Tears: Blending SML with Java. ICFP 1999: 126-137
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNick Benton, Andrew Kennedy: Monads, Effects and Transformations. Electr. Notes Theor. Comput. Sci. 26: 3-20 (1999)
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNick Benton, Andrew Kennedy, George Russell: Compiling Standard ML to Java Bytecodes. ICFP 1998: 129-140

Selection of 14 from 31 records - Andrew Kennedy has 18 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page