P. N. Benton
List of publications from the
2009 |
38 | EE | Nick Benton,
Nicolas Tabareau:
Compiling functional types to relational specifications for low level imperative code.
TLDI 2009: 3-14 |
2008 |
37 | | Amal Ahmed,
Nick Benton,
Martin Hofmann,
Greg Morrisett:
Types, Logics and Semantics for State, 03.02. - 08.02.2008
Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2008 |
36 | EE | M. Ridsdale,
Mateja Jamnik,
Nick Benton,
Josh Berdine:
Diagrammatic Reasoning in Separation Logic.
Diagrams 2008: 408-411 |
35 | EE | Nick Benton:
Undoing Dynamic Typing (Declarative Pearl).
FLOPS 2008: 224-238 |
34 | EE | Amal Ahmed,
Nick Benton,
Martin Hofmann,
Greg Morrisett:
08061 Abstracts Collection -- Types, Logics and Semantics for State.
Types, Logics and Semantics for State 2008 |
33 | EE | Amal Ahmed,
Nick Benton,
Martin Hofmann,
Greg Morrisett:
08061 Executive Summary -- Types, Logics and Semantics for State.
Types, Logics and Semantics for State 2008 |
2007 |
32 | EE | Nick Benton,
Uri Zarfaty:
Formalizing and verifying semantic type soundness of a simple compiler.
PPDP 2007: 1-12 |
31 | EE | Nick Benton,
Andrew Kennedy,
Lennart Beringer,
Martin Hofmann:
Relational semantics for effect-based program transformations with dynamic allocation.
PPDP 2007: 87-96 |
30 | EE | Nick Benton,
Peter Buchlovsky:
Semantics of an effect analysis for exceptions.
TLDI 2007: 15-26 |
2006 |
29 | EE | Nick Benton,
Andrew Kennedy,
Martin Hofmann,
Lennart Beringer:
Reading, Writing and Relations.
APLAS 2006: 114-130 |
28 | EE | Nick Benton:
Abstracting Allocation.
CSL 2006: 182-196 |
27 | EE | Nick Benton,
Xavier Leroy:
Preface.
Electr. Notes Theor. Comput. Sci. 148(2): 1-2 (2006) |
2005 |
26 | EE | Nick Benton:
A Typed, Compositional Logic for a Stack-Based Abstract Machine.
APLAS 2005: 364-380 |
25 | EE | Nick Benton,
Benjamin Leperchey:
Relational Reasoning in a Nominal Semantics for Storage.
TLCA 2005: 86-101 |
24 | EE | Nick Benton:
Embedded interpreters.
J. Funct. Program. 15(4): 503-542 (2005) |
2004 |
23 | EE | Nick Benton,
Andrew Kennedy,
Sam Lindley,
Claudio V. Russo:
Shrinking Reductions in SML.NET.
IFL 2004: 142-159 |
22 | EE | Nick Benton:
Simple relational correctness proofs for static analyses and program transformations.
POPL 2004: 14-25 |
21 | EE | Nick Benton,
Andrew Kennedy,
Claudio V. Russo:
Adventures in interoperability: the SML.NET experience.
PPDP 2004: 215-226 |
20 | EE | Nick Benton,
Luca Cardelli,
Cédric Fournet:
Modern concurrency abstractions for C#.
ACM Trans. Program. Lang. Syst. 26(5): 769-804 (2004) |
2003 |
19 | EE | Nick Benton,
Martin Hyland:
Traced Premonoidal Categories.
ITA 37(4): 273-299 (2003) |
2002 |
18 | EE | Nick Benton,
Luca Cardelli,
Cédric Fournet:
Modern Concurrency Abstractions for C#.
ECOOP 2002: 415-440 |
17 | | Nick Benton,
Martin Hyland:
Traced pre-monoidal categories.
FICS 2002: 12-19 |
2001 |
16 | EE | Nick Benton,
Andrew Kennedy:
BABEL 2001 - Preface.
Electr. Notes Theor. Comput. Sci. 59(1): (2001) |
15 | | Nick Benton,
Andrew Kennedy:
Exceptional Syntax Journal of Functional Programming.
J. Funct. Program. 11(4): 395-410 (2001) |
2000 |
14 | EE | Nick Benton,
John Hughes,
Eugenio Moggi:
Monads and Effects.
APPSEM 2000: 42-122 |
13 | | Bruce J. McAdam,
Andrew Kennedy,
Nick Benton:
Type inference for MLj.
Scottish Functional Programming Workshop 2000: 159-172 |
1999 |
12 | EE | Nick Benton,
Andrew Kennedy:
Interlanguage Working Without Tears: Blending SML with Java.
ICFP 1999: 126-137 |
11 | EE | Nick Benton,
Andrew Kennedy:
Monads, Effects and Transformations.
Electr. Notes Theor. Comput. Sci. 26: (1999) |
1998 |
10 | EE | Nick Benton,
Andrew Kennedy,
George Russell:
Compiling Standard ML to Java Bytecodes.
ICFP 1998: 129-140 |
9 | | P. N. Benton,
Gavin M. Bierman,
Valeria de Paiva:
Computational Types from a Logical Perspective.
J. Funct. Program. 8(2): 177-193 (1998) |
1996 |
8 | | P. N. Benton,
Philip Wadler:
Linear Logic, Monads and the Lambda Calculus.
LICS 1996: 420-431 |
7 | | P. N. Benton:
On the Relationship Between Formal Semantics and Static Analysis.
ACM Comput. Surv. 28(2): 321-323 (1996) |
1995 |
6 | | P. N. Benton:
Strong Normalisation for the Linear Term Calculus.
J. Funct. Program. 5(1): 65-80 (1995) |
1994 |
5 | | P. N. Benton:
A Mixed Linear and Non-Linear Logic: Proofs, Terms and Models (Extended Abstract).
CSL 1994: 121-135 |
1993 |
4 | | P. N. Benton,
Gavin M. Bierman,
Valeria de Paiva,
Martin Hyland:
A Term Calculus for Intuitionistic Linear Logic.
TLCA 1993: 75-90 |
3 | | P. N. Benton:
Strictness Properties of Lazy Algebraic Datatypes.
WSA 1993: 206-217 |
1992 |
2 | | P. N. Benton,
Gavin M. Bierman,
Valeria de Paiva,
Martin Hyland:
Linear Lambda-Calculus and Categorial Models Revisited.
CSL 1992: 61-84 |
1 | | P. N. Benton:
Strictness Logic and Polymorphic Invariance.
LFCS 1992: 33-44 |