The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Andrew Kennedy: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]


Search in 0.003secs, Finished in 0.004secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002