| | |
P. N. Benton
List of publications from the DBLP Bibliography Server - FAQ
- CSB - MetaPress - Google - Bing - Yahoo
 | 2012 | |
|---|---|---|
| 46 |      | Neelakantan R. Krishnaswami, Nick Benton: Adding Equations to System F Types. ESOP 2012: 417-435 |
| 45 | | Neelakantan R. Krishnaswami, Nick Benton, Jan Hoffmann: Higher-order functional reactive programming in bounded space. POPL 2012: 45-58 |
| 2011 | ||
| 44 | | Neelakantan R. Krishnaswami, Nick Benton: A semantic model for graphical user interfaces. ICFP 2011: 45-57 |
| 43 | | Neelakantan R. Krishnaswami, Nick Benton: Ultrametric Semantics of Reactive Programs. LICS 2011: 257-266 |
| 2010 | ||
| 42 | | Andrew Kennedy, Nick Benton: Proceedings of TLDI 2010: 2010 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, Madrid, Spain, January 23, 2010 ACM 2010 |
| 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): 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: 3-20 (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 |
| 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 | Jan Hoffmann | [45] |
| 9 | Martin Hofmann | [29] [31] [33] [34] [37] [40] |
| 10 | John Hughes | [14] |
| 11 | Chung-Kil Hur | [41] |
| 12 | Martin Hyland (J. M. E. Hyland) | [2] [4] [17] [19] |
| 13 | Mateja Jamnik | [36] |
| 14 | Andrew Kennedy | [10] [11] [12] [13] [15] [16] [21] [23] [29] [31] [38] [40] [42] |
| 15 | Neelakantan R. Krishnaswami (Neel Krishnaswami) | [43] [44] [45] [46] |
| 16 | Benjamin Leperchey | [25] |
| 17 | Xavier Leroy | [27] |
| 18 | Sam Lindley | [23] |
| 19 | Bruce J. McAdam | [13] |
| 20 | Eugenio Moggi | [14] |
| 21 | J. Gregory Morrisett (Greg Morrisett) | [33] [34] [37] |
| 22 | Valeria de Paiva | [2] [4] [9] |
| 23 | M. Ridsdale | [36] |
| 24 | George Russell | [10] |
| 25 | Claudio V. Russo | [21] [23] |
| 26 | Nicolas Tabareau | [39] |
| 27 | Carsten Varming | [38] |
| 28 | Philip Wadler | [8] |
| 29 | Uri Zarfaty | [32] |
Colors in the list of coauthors
Last update Sun May 27 04:04:01 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page