Nick Benton

P. N. Benton

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

Coauthor Index

1	Amal Ahmed (Amal J. Ahmed)	[33] [34] [37]
2	Josh Berdine	[36]
3	Lennart Beringer	[29] [31]
4	Gavin M. Bierman	[2] [4] [9]
5	Peter Buchlovsky	[30]
6	Luca Cardelli	[18] [20]
7	Cédric Fournet	[18] [20]
8	Martin Hofmann	[29] [31] [33] [34] [37]
9	John Hughes	[14]
10	Martin Hyland (J. M. E. Hyland)	[2] [4] [17] [19]
11	Mateja Jamnik	[36]
12	Andrew Kennedy	[10] [11] [12] [13] [15] [16] [21] [23] [29] [31]
13	Benjamin Leperchey	[25]
14	Xavier Leroy	[27]
15	Sam Lindley	[23]
16	Bruce J. McAdam	[13]
17	Eugenio Moggi	[14]
18	J. Gregory Morrisett (Greg Morrisett)	[33] [34] [37]
19	Valeria de Paiva	[2] [4] [9]
20	M. Ridsdale	[36]
21	George Russell	[10]
22	Claudio V. Russo	[21] [23]
23	Nicolas Tabareau	[38]
24	Philip Wadler	[8]
25	Uri Zarfaty	[32]

Colors in the list of coauthors