The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Nick Benton: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Nick Benton, John Hughes, Eugenio Moggi
    Monads and Effects. [Citation Graph (0, 0)][DBLP]
    APPSEM, 2000, pp:42-122 [Conf]
  2. Nick Benton
    A Typed, Compositional Logic for a Stack-Based Abstract Machine. [Citation Graph (0, 0)][DBLP]
    APLAS, 2005, pp:364-380 [Conf]
  3. Nick Benton, Andrew Kennedy, Martin Hofmann, Lennart Beringer
    Reading, Writing and Relations. [Citation Graph (0, 0)][DBLP]
    APLAS, 2006, pp:114-130 [Conf]
  4. Nick Benton
    Abstracting Allocation. [Citation Graph (0, 0)][DBLP]
    CSL, 2006, pp:182-196 [Conf]
  5. Nick Benton, Luca Cardelli, Cédric Fournet
    Modern Concurrency Abstractions for C#. [Citation Graph (0, 0)][DBLP]
    ECOOP, 2002, pp:415-440 [Conf]
  6. Nick Benton, Martin Hyland
    Traced pre-monoidal categories. [Citation Graph (0, 0)][DBLP]
    FICS, 2002, pp:12-19 [Conf]
  7. Nick Benton, Andrew Kennedy
    Interlanguage Working Without Tears: Blending SML with Java. [Citation Graph (0, 0)][DBLP]
    ICFP, 1999, pp:126-137 [Conf]
  8. Nick Benton, Andrew Kennedy, George Russell
    Compiling Standard ML to Java Bytecodes. [Citation Graph (0, 0)][DBLP]
    ICFP, 1998, pp:129-140 [Conf]
  9. 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]
  10. Nick Benton
    Simple relational correctness proofs for static analyses and program transformations. [Citation Graph (0, 0)][DBLP]
    POPL, 2004, pp:14-25 [Conf]
  11. 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]
  12. 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]
  13. Nick Benton, Benjamin Leperchey
    Relational Reasoning in a Nominal Semantics for Storage. [Citation Graph (0, 0)][DBLP]
    TLCA, 2005, pp:86-101 [Conf]
  14. Nick Benton, Peter Buchlovsky
    Semantics of an effect analysis for exceptions. [Citation Graph (0, 0)][DBLP]
    TLDI, 2007, pp:15-26 [Conf]
  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, Xavier Leroy
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:148, n:2, pp:1-2 [Journal]
  17. Nick Benton, Martin Hyland
    Traced Premonoidal Categories. [Citation Graph (0, 0)][DBLP]
    ITA, 2003, v:37, n:4, pp:273-299 [Journal]
  18. 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]
  19. Nick Benton
    Embedded interpreters. [Citation Graph (0, 0)][DBLP]
    J. Funct. Program., 2005, v:15, n:4, pp:503-542 [Journal]
  20. Nick Benton, Andrew Kennedy
    BABEL 2001 - Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:59, n:1, pp:- [Journal]
  21. Nick Benton, Luca Cardelli, Cédric Fournet
    Modern concurrency abstractions for C#. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 2004, v:26, n:5, pp:769-804 [Journal]
  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. Nick Benton, Uri Zarfaty
    Formalizing and verifying semantic type soundness of a simple compiler. [Citation Graph (0, 0)][DBLP]
    PPDP, 2007, pp:1-12 [Conf]

  24. 08061 Executive Summary -- Types, Logics and Semantics for State. [Citation Graph (, )][DBLP]


  25. 08061 Abstracts Collection -- Types, Logics and Semantics for State. [Citation Graph (, )][DBLP]


  26. Diagrammatic Reasoning in Separation Logic. [Citation Graph (, )][DBLP]


  27. Undoing Dynamic Typing (Declarative Pearl). [Citation Graph (, )][DBLP]


  28. Biorthogonality, step-indexing and compiler correctness. [Citation Graph (, )][DBLP]


  29. Relational semantics for effect-based program transformations: higher-order store. [Citation Graph (, )][DBLP]


  30. Compiling functional types to relational specifications for low level imperative code. [Citation Graph (, )][DBLP]


  31. Some Domain Theory and Denotational Semantics in Coq. [Citation Graph (, )][DBLP]


Search in 0.004secs, Finished in 0.006secs
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