Search the dblp DataBase

Publications of Author

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