| 2009 |
|---|
| 25 | | Andrew Kennedy,
Amal Ahmed:
Proceedings of TLDI'08: 2008 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, Savannah, GA, USA, January 24, 2009
ACM 2009 |
| 2008 |
|---|
| 24 | EE | Andrew Kennedy:
Types for units-of-measure in f#: invited talk.
ML 2008: 1-2 |
| 2007 |
|---|
| 23 | EE | Andrew Kennedy:
Compiling with continuations, continued.
ICFP 2007: 177-190 |
| 22 | EE | 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 | EE | Nick Benton,
Andrew Kennedy,
Martin Hofmann,
Lennart Beringer:
Reading, Writing and Relations.
APLAS 2006: 114-130 |
| 19 | EE | Burak Emir,
Andrew Kennedy,
Claudio V. Russo,
Dachuan Yu:
Variance and Generalized Constraints for C# Generics.
ECOOP 2006: 279-303 |
| 18 | EE | Andrew Kennedy:
Securing the .NET programming model.
Theor. Comput. Sci. 364(3): 311-317 (2006) |
| 2005 |
|---|
| 17 | EE | Andrew Kennedy,
Claudio V. Russo:
Generalized algebraic data types and object-oriented programming.
OOPSLA 2005: 21-40 |
| 2004 |
|---|
| 16 | EE | Nick Benton,
Andrew Kennedy,
Sam Lindley,
Claudio V. Russo:
Shrinking Reductions in SML.NET.
IFL 2004: 142-159 |
| 15 | EE | Dachuan Yu,
Andrew Kennedy,
Don Syme:
Formalization of generics for the .NET common language runtime.
POPL 2004: 39-51 |
| 14 | EE | Nick Benton,
Andrew Kennedy,
Claudio V. Russo:
Adventures in interoperability: the SML.NET experience.
PPDP 2004: 215-226 |
| 13 | EE | 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 | EE | Andrew Kennedy:
Pickler combinators.
J. Funct. Program. 14(6): 727-739 (2004) |
| 2003 |
|---|
| 11 | EE | 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 | EE | 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 | EE | Nick Benton,
Andrew Kennedy:
Interlanguage Working Without Tears: Blending SML with Java.
ICFP 1999: 126-137 |
| 5 | EE | Nick Benton,
Andrew Kennedy:
Monads, Effects and Transformations.
Electr. Notes Theor. Comput. Sci. 26: (1999) |
| 1998 |
|---|
| 4 | EE | Nick Benton,
Andrew Kennedy,
George Russell:
Compiling Standard ML to Java Bytecodes.
ICFP 1998: 129-140 |
| 1997 |
|---|
| 3 | EE | 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 |
