Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Nick Benton
P. N. Benton
2010 – today
- 2013
[c37]Jonas Braband Jensen, Nick Benton, Andrew Kennedy: High-level separation logic for low-level code. POPL 2013: 301-314- [c36]Andrew Kennedy, Nick Benton, Jonas Braband Jensen, Pierre-Évariste Dagand: Coq: the world's best macro assembler? PPDP 2013: 13-24
- [c35]Nick Benton, Martin Hofmann, Vivek Nigam: Proof-Relevant Logical Relations for Name Generation. TLCA 2013: 48-60
- 2012
- [j11]Nick Benton, Chung-Kil Hur, Andrew Kennedy, Conor McBride: Strongly Typed Term Representations in Coq. J. Autom. Reasoning 49(2): 141-159 (2012)
- [c34]
- [c33]Neelakantan R. Krishnaswami, Nick Benton, Jan Hoffmann: Higher-order functional reactive programming in bounded space. POPL 2012: 45-58
- [i1]Nick Benton, Martin Hofmann, Vivek Nigam: Abstract Effects and Proof-Relevant Logical Relations. CoRR abs/1212.5692 (2012)
- 2011
- [c32]Neelakantan R. Krishnaswami, Nick Benton: A semantic model for graphical user interfaces. ICFP 2011: 45-57
- [c31]Neelakantan R. Krishnaswami, Nick Benton: Ultrametric Semantics of Reactive Programs. LICS 2011: 257-266
- 2010
- [e2]Andrew Kennedy, Nick Benton (Eds.): Proceedings of TLDI 2010: 2010 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, Madrid, Spain, January 23, 2010. ACM 2010, ISBN 978-1-60558-891-9
2000 – 2009
- 2009
- [c30]Nick Benton, Chung-Kil Hur: Biorthogonality, step-indexing and compiler correctness. ICFP 2009: 97-108
- [c29]Nick Benton, Andrew Kennedy, Lennart Beringer, Martin Hofmann: Relational semantics for effect-based program transformations: higher-order store. PPDP 2009: 301-312
- [c28]Nick Benton, Nicolas Tabareau: Compiling functional types to relational specifications for low level imperative code. TLDI 2009: 3-14
- [c27]Nick Benton, Andrew Kennedy, Carsten Varming: Some Domain Theory and Denotational Semantics in Coq. TPHOLs 2009: 115-130
- 2008
- [c26]Amal Ahmed, Nick Benton, Martin Hofmann, Greg Morrisett: 08061 Executive Summary -- Types, Logics and Semantics for State. Types, Logics and Semantics for State 2008
- [c25]Amal Ahmed, Nick Benton, Martin Hofmann, Greg Morrisett: 08061 Abstracts Collection -- Types, Logics and Semantics for State. Types, Logics and Semantics for State 2008
- [c24]M. Ridsdale, Mateja Jamnik, Nick Benton, Josh Berdine: Diagrammatic Reasoning in Separation Logic. Diagrams 2008: 408-411
- [c23]
- [e1]Amal Ahmed, Nick Benton, Martin Hofmann, Greg Morrisett (Eds.): Types, Logics and Semantics for State, 03.02. - 08.02.2008. Dagstuhl Seminar Proceedings 08061, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2008
- 2007
- [c22]Nick Benton, Uri Zarfaty: Formalizing and verifying semantic type soundness of a simple compiler. PPDP 2007: 1-12
- [c21]Nick Benton, Andrew Kennedy, Lennart Beringer, Martin Hofmann: Relational semantics for effect-based program transformations with dynamic allocation. PPDP 2007: 87-96
- [c20]
- 2006
- [j10]
- [c19]Nick Benton, Andrew Kennedy, Martin Hofmann, Lennart Beringer: Reading, Writing and Relations. APLAS 2006: 114-130
- [c18]
- 2005
- [j9]
- [c17]
- [c16]Nick Benton, Benjamin Leperchey: Relational Reasoning in a Nominal Semantics for Storage. TLCA 2005: 86-101
- 2004
- [j8]Nick Benton, Luca Cardelli, Cédric Fournet: Modern concurrency abstractions for C#. ACM Trans. Program. Lang. Syst. 26(5): 769-804 (2004)
- [c15]Nick Benton, Andrew Kennedy, Sam Lindley, Claudio V. Russo: Shrinking Reductions in SML.NET. IFL 2004: 142-159
- [c14]Nick Benton: Simple relational correctness proofs for static analyses and program transformations. POPL 2004: 14-25
- [c13]Nick Benton, Andrew Kennedy, Claudio V. Russo: Adventures in interoperability: the SML.NET experience. PPDP 2004: 215-226
- 2003
- [j7]
- 2002
- [c12]Nick Benton, Luca Cardelli, Cédric Fournet: Modern Concurrency Abstractions for C#. ECOOP 2002: 415-440
- [c11]
- 2001
- [j6]Nick Benton, Andrew Kennedy: Exceptional Syntax Journal of Functional Programming. J. Funct. Program. 11(4): 395-410 (2001)
- [j5]Nick Benton, Andrew Kennedy: BABEL 2001 - Preface. Electr. Notes Theor. Comput. Sci. 59(1): 1 (2001)
- 2000
- [c10]
- [c9]Bruce J. McAdam, Andrew Kennedy, Nick Benton: Type inference for MLj. Scottish Functional Programming Workshop 2000: 159-172
1990 – 1999
- 1999
- [j4]Nick Benton, Andrew Kennedy: Monads, Effects and Transformations. Electr. Notes Theor. Comput. Sci. 26: 3-20 (1999)
- [c8]Nick Benton, Andrew Kennedy: Interlanguage Working Without Tears: Blending SML with Java. ICFP 1999: 126-137
- 1998
- [j3]P. N. Benton, Gavin M. Bierman, Valeria de Paiva: Computational Types from a Logical Perspective. J. Funct. Program. 8(2): 177-193 (1998)
- [c7]Nick Benton, Andrew Kennedy, George Russell: Compiling Standard ML to Java Bytecodes. ICFP 1998: 129-140
- 1996
- [j2]P. N. Benton: On the Relationship Between Formal Semantics and Static Analysis. ACM Comput. Surv. 28(2): 321-323 (1996)
- [c6]
- 1995
- [j1]P. N. Benton: Strong Normalisation for the Linear Term Calculus. J. Funct. Program. 5(1): 65-80 (1995)
- 1994
- [c5]P. N. Benton: A Mixed Linear and Non-Linear Logic: Proofs, Terms and Models (Extended Abstract). CSL 1994: 121-135
- 1993
- [c4]
- [c3]P. N. Benton, Gavin M. Bierman, Valeria de Paiva, Martin Hyland: A Term Calculus for Intuitionistic Linear Logic. TLCA 1993: 75-90
- 1992
- [c2]P. N. Benton, Gavin M. Bierman, Valeria de Paiva, Martin Hyland: Linear Lambda-Calculus and Categorial Models Revisited. CSL 1992: 61-84
- [c1]
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-02 11:04 CEST by the dblp team