Andrew Kennedy

	2009
27		Andrew Kennedy, Amal Ahmed: Proceedings of TLDI'09: 2009 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, Savannah, GA, USA, January 24, 2009 ACM 2009
26		Nick Benton, Andrew Kennedy, Lennart Beringer, Martin Hofmann: Relational semantics for effect-based program transformations: higher-order store. PPDP 2009: 301-312
25		Nick Benton, Andrew Kennedy, Carsten Varming: Some Domain Theory and Denotational Semantics in Coq. TPHOLs 2009: 115-130
	2008
24		Andrew Kennedy: Types for units-of-measure in f#: invited talk. ML 2008: 1-2
	2007
23		Andrew Kennedy: Compiling with continuations, continued. ICFP 2007: 177-190
22		Nick Benton, Andrew Kennedy, Lennart Beringer, Martin Hofmann: Relational semantics for effect-based program transformations with dynamic allocation. PPDP 2007: 87-96
	2006
21		Andrew Kennedy, François Pottier: Proceedings of the ACM Workshop on ML, 2006, Portland, Oregon, USA, September 16, 2006 ACM 2006
20		Nick Benton, Andrew Kennedy, Martin Hofmann, Lennart Beringer: Reading, Writing and Relations. APLAS 2006: 114-130
19		Burak Emir, Andrew Kennedy, Claudio V. Russo, Dachuan Yu: Variance and Generalized Constraints for C# Generics. ECOOP 2006: 279-303
18		Andrew Kennedy: Securing the .NET programming model. Theor. Comput. Sci. 364(3): 311-317 (2006)
	2005
17		Andrew Kennedy, Claudio V. Russo: Generalized algebraic data types and object-oriented programming. OOPSLA 2005: 21-40
	2004
16		Nick Benton, Andrew Kennedy, Sam Lindley, Claudio V. Russo: Shrinking Reductions in SML.NET. IFL 2004: 142-159
15		Dachuan Yu, Andrew Kennedy, Don Syme: Formalization of generics for the .NET common language runtime. POPL 2004: 39-51
14		Nick Benton, Andrew Kennedy, Claudio V. Russo: Adventures in interoperability: the SML.NET experience. PPDP 2004: 215-226
13		Andrew Kennedy, Don Syme: Transposing F to C#: expressivity of parametric polymorphism in an object-oriented language. Concurrency - Practice and Experience 16(7): 707-733 (2004)
12		Andrew Kennedy: Pickler combinators. J. Funct. Program. 14(6): 727-739 (2004)
	2003
11		Giuseppe Attardi, Antonio Cisternino, Andrew Kennedy: CodeBricks: code fragments as building blocks. PEPM 2003: 66-74
	2001
10		Andrew Kennedy, Don Syme: Design and Implementation of Generics for the .NET Common Language Runtime. PLDI 2001: 1-12
9		Nick Benton, Andrew Kennedy: BABEL 2001 - Preface. Electr. Notes Theor. Comput. Sci. 59(1): (2001)
8		Nick Benton, Andrew Kennedy: Exceptional Syntax Journal of Functional Programming. J. Funct. Program. 11(4): 395-410 (2001)
	2000
7		Bruce J. McAdam, Andrew Kennedy, Nick Benton: Type inference for MLj. Scottish Functional Programming Workshop 2000: 159-172
	1999
6		Nick Benton, Andrew Kennedy: Interlanguage Working Without Tears: Blending SML with Java. ICFP 1999: 126-137
5		Nick Benton, Andrew Kennedy: Monads, Effects and Transformations. Electr. Notes Theor. Comput. Sci. 26: (1999)
	1998
4		Nick Benton, Andrew Kennedy, George Russell: Compiling Standard ML to Java Bytecodes. ICFP 1998: 129-140
	1997
3		Andrew Kennedy: Relational Parametricity and Units of Measure. POPL 1997: 442-455
	1996
2		Andrew Kennedy: Drawing Trees. J. Funct. Program. 6(3): 527-534 (1996)
	1994
1		Andrew Kennedy: Dimension Types. ESOP 1994: 348-362

Coauthor Index

1	Amal Ahmed (Amal J. Ahmed)	[27]
2	Giuseppe Attardi	[11]
3	Nick Benton (P. N. Benton)	[4] [5] [6] [7] [8] [9] [14] [16] [20] [22] [25] [26]
4	Lennart Beringer	[20] [22] [26]
5	Antonio Cisternino	[11]
6	Burak Emir	[19]
7	Martin Hofmann	[20] [22] [26]
8	Sam Lindley	[16]
9	Bruce J. McAdam	[7]
10	François Pottier	[21]
11	George Russell	[4]
12	Claudio V. Russo	[14] [16] [17] [19]
13	Don Syme	[10] [13] [15]
14	Carsten Varming	[25]
15	Dachuan Yu	[15] [19]

Colors in the list of coauthors