Nick Benton

P. N. Benton

	2009
41		Nick Benton, Chung-Kil Hur: Biorthogonality, step-indexing and compiler correctness. ICFP 2009: 97-108
40		Nick Benton, Andrew Kennedy, Lennart Beringer, Martin Hofmann: Relational semantics for effect-based program transformations: higher-order store. PPDP 2009: 301-312
39		Nick Benton, Nicolas Tabareau: Compiling functional types to relational specifications for low level imperative code. TLDI 2009: 3-14
38		Nick Benton, Andrew Kennedy, Carsten Varming: Some Domain Theory and Denotational Semantics in Coq. TPHOLs 2009: 115-130
	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		M. Ridsdale, Mateja Jamnik, Nick Benton, Josh Berdine: Diagrammatic Reasoning in Separation Logic. Diagrams 2008: 408-411
35		Nick Benton: Undoing Dynamic Typing (Declarative Pearl). FLOPS 2008: 224-238
34		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		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		Nick Benton, Uri Zarfaty: Formalizing and verifying semantic type soundness of a simple compiler. PPDP 2007: 1-12
31		Nick Benton, Andrew Kennedy, Lennart Beringer, Martin Hofmann: Relational semantics for effect-based program transformations with dynamic allocation. PPDP 2007: 87-96
30		Nick Benton, Peter Buchlovsky: Semantics of an effect analysis for exceptions. TLDI 2007: 15-26
	2006
29		Nick Benton, Andrew Kennedy, Martin Hofmann, Lennart Beringer: Reading, Writing and Relations. APLAS 2006: 114-130
28		Nick Benton: Abstracting Allocation. CSL 2006: 182-196
27		Nick Benton, Xavier Leroy: Preface. Electr. Notes Theor. Comput. Sci. 148(2): 1-2 (2006)
	2005
26		Nick Benton: A Typed, Compositional Logic for a Stack-Based Abstract Machine. APLAS 2005: 364-380
25		Nick Benton, Benjamin Leperchey: Relational Reasoning in a Nominal Semantics for Storage. TLCA 2005: 86-101
24		Nick Benton: Embedded interpreters. J. Funct. Program. 15(4): 503-542 (2005)
	2004
23		Nick Benton, Andrew Kennedy, Sam Lindley, Claudio V. Russo: Shrinking Reductions in SML.NET. IFL 2004: 142-159
22		Nick Benton: Simple relational correctness proofs for static analyses and program transformations. POPL 2004: 14-25
21		Nick Benton, Andrew Kennedy, Claudio V. Russo: Adventures in interoperability: the SML.NET experience. PPDP 2004: 215-226
20		Nick Benton, Luca Cardelli, Cédric Fournet: Modern concurrency abstractions for C#. ACM Trans. Program. Lang. Syst. 26(5): 769-804 (2004)
	2003
19		Nick Benton, Martin Hyland: Traced Premonoidal Categories. ITA 37(4): 273-299 (2003)
	2002
18		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		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		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		Nick Benton, Andrew Kennedy: Interlanguage Working Without Tears: Blending SML with Java. ICFP 1999: 126-137
11		Nick Benton, Andrew Kennedy: Monads, Effects and Transformations. Electr. Notes Theor. Comput. Sci. 26: (1999)
	1998
10		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] [40]
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] [40]
9	John Hughes	[14]
10	Chung-Kil Hur	[41]
11	Martin Hyland (J. M. E. Hyland)	[2] [4] [17] [19]
12	Mateja Jamnik	[36]
13	Andrew Kennedy	[10] [11] [12] [13] [15] [16] [21] [23] [29] [31] [38] [40]
14	Benjamin Leperchey	[25]
15	Xavier Leroy	[27]
16	Sam Lindley	[23]
17	Bruce J. McAdam	[13]
18	Eugenio Moggi	[14]
19	J. Gregory Morrisett (Greg Morrisett)	[33] [34] [37]
20	Valeria de Paiva	[2] [4] [9]
21	M. Ridsdale	[36]
22	George Russell	[10]
23	Claudio V. Russo	[21] [23]
24	Nicolas Tabareau	[39]
25	Carsten Varming	[38]
26	Philip Wadler	[8]
27	Uri Zarfaty	[32]

Colors in the list of coauthors