| 2009 |
|---|
| 14 | Relational semantics for effect-based program transformations: higher-order store. Nick Benton, Andrew Kennedy, Lennart Beringer, Martin Hofmann. PPDP 2009, 301-312. Web SearchBibTeXDownload |
| 2008 |
|---|
| 13 | 08061 Abstracts Collection -- Types, Logics and Semantics for State. Amal Ahmed, Nick Benton, Martin Hofmann, Greg Morrisett. Types, Logics and Semantics for State 2008. Web SearchBibTeXDownload |
| 12 | 08061 Executive Summary -- Types, Logics and Semantics for State. Amal Ahmed, Nick Benton, Martin Hofmann, Greg Morrisett. Types, Logics and Semantics for State 2008. Web SearchBibTeXDownload |
| 2007 |
|---|
| 11 | Formalizing and verifying semantic type soundness of a simple compiler. Nick Benton, Uri Zarfaty. PPDP 2007, 1-12. Web SearchBibTeXDownload |
| 10 | Relational semantics for effect-based program transformations with dynamic allocation. Nick Benton, Andrew Kennedy, Lennart Beringer, Martin Hofmann. PPDP 2007, 87-96. Web SearchBibTeXDownload |
| 2006 |
|---|
| 9 | Reading, Writing and Relations. Nick Benton, Andrew Kennedy, Martin Hofmann, Lennart Beringer. APLAS 2006, 114-130. Web SearchBibTeXDownload |
| 2004 |
|---|
| 8 | Modern concurrency abstractions for C#. Nick Benton, Luca Cardelli, Cédric Fournet. ACM Trans. Program. Lang. Syst. (26): 769-804 (2004). Web SearchBibTeXDownload |
| 7 | Shrinking Reductions in SML.NET. Nick Benton, Andrew Kennedy, Sam Lindley, Claudio V. Russo. IFL 2004, 142-159. Web SearchBibTeXDownload |
| 2002 |
|---|
| 6 | Modern Concurrency Abstractions for C#. Nick Benton, Luca Cardelli, Cédric Fournet. ECOOP 2002, 415-440. Web SearchBibTeXDownload |
| 2000 |
|---|
| 5 | Monads and Effects. Nick Benton, John Hughes, Eugenio Moggi. APPSEM 2000, 42-122. Web SearchBibTeXDownload |
| 1998 |
|---|
| 4 | Computational Types from a Logical Perspective. P. N. Benton, Gavin M. Bierman, Valeria de Paiva. J. Funct. Program. (8): 177-193 (1998). Web SearchBibTeXDownload |
| 1996 |
|---|
| 3 | Linear Logic, Monads and the Lambda Calculus. P. N. Benton, Philip Wadler. LICS 1996, 420-431. Web SearchBibTeXDownload |
| 1993 |
|---|
| 2 | A Term Calculus for Intuitionistic Linear Logic. P. N. Benton, Gavin M. Bierman, Valeria de Paiva, Martin Hyland. TLCA 1993, 75-90. Web SearchBibTeXDownload |
| 1992 |
|---|
| 1 | Linear Lambda-Calculus and Categorial Models Revisited. P. N. Benton, Gavin M. Bierman, Valeria de Paiva, Martin Hyland. CSL 1992, 61-84. Web SearchBibTeXDownload |
