|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 41 occurrences of 29 keywords
|
|
|
|
|
Results
Found 46 publication records. Showing 46 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Neelakantan R. Krishnaswami, Nick Benton, Jan Hoffmann 0002 |
Higher-order functional reactive programming in bounded space.  |
POPL  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Neelakantan R. Krishnaswami, Nick Benton |
Adding Equations to System F Types. |
ESOP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Neelakantan R. Krishnaswami, Nick Benton |
A semantic model for graphical user interfaces. |
ICFP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Neelakantan R. Krishnaswami, Nick Benton |
Ultrametric Semantics of Reactive Programs. |
LICS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
TLDI |
2010 |
DBLP BibTeX RDF |
|
| 1 | Nick Benton, Chung-Kil Hur |
Biorthogonality, step-indexing and compiler correctness. |
ICFP |
2009 |
DBLP DOI BibTeX RDF |
biorthogonality, step-indexing, denotational semantics, proof assistants, compiler verification |
| 1 | Nick Benton, Nicolas Tabareau |
Compiling functional types to relational specifications for low level imperative code. |
TLDI |
2009 |
DBLP DOI BibTeX RDF |
separation logic, proof assistants, compiler verification, relational parametricity, type soundness |
| 1 | Nick Benton, Andrew Kennedy, Carsten Varming |
Some Domain Theory and Denotational Semantics in Coq. |
TPHOLs |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Nick Benton, Andrew Kennedy, Lennart Beringer, Martin Hofmann |
Relational semantics for effect-based program transformations: higher-order store. |
PPDP |
2009 |
DBLP DOI BibTeX RDF |
higher-order store, logical relation, side effect |
| 1 | Amal Ahmed, Nick Benton, Martin Hofmann, Greg Morrisett |
08061 Executive Summary -- Types, Logics and Semantics for State. |
Types, Logics and Semantics for State |
2008 |
DBLP BibTeX RDF |
|
| 1 | Amal Ahmed, Nick Benton, Martin Hofmann, Greg Morrisett (eds.) |
Types, Logics and Semantics for State, 03.02. - 08.02.2008 |
Types, Logics and Semantics for State |
2008 |
DBLP BibTeX RDF |
|
| 1 | Amal Ahmed, Nick Benton, Martin Hofmann, Greg Morrisett |
08061 Abstracts Collection -- Types, Logics and Semantics for State. |
Types, Logics and Semantics for State |
2008 |
DBLP BibTeX RDF |
|
| 1 | M. Ridsdale, Mateja Jamnik, Nick Benton, Josh Berdine |
Diagrammatic Reasoning in Separation Logic. |
Diagrams |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Nick Benton |
Undoing Dynamic Typing (Declarative Pearl). |
FLOPS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Nick Benton, Peter Buchlovsky |
Semantics of an effect analysis for exceptions. |
TLDI |
2007 |
DBLP DOI BibTeX RDF |
partial equivalence relations, program analysis, types, optimizing compilation, exceptions, denotational semantics, effect systems |
| 1 | Nick Benton, Uri Zarfaty |
Formalizing and verifying semantic type soundness of a simple compiler. |
PPDP |
2007 |
DBLP DOI BibTeX RDF |
relational para-metricity, separation logic, proof assistants, compiler verification, type soundness |
| 1 | Nick Benton, Andrew Kennedy, Lennart Beringer, Martin Hofmann |
Relational semantics for effect-based program transformations with dynamic allocation. |
PPDP |
2007 |
DBLP DOI BibTeX RDF |
region analysis, program transformation, parametricity, logical relations, type and effect systems |
| 1 | Nick Benton, Xavier Leroy |
Preface. |
Electr. Notes Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Nick Benton, Andrew Kennedy, Martin Hofmann, Lennart Beringer |
Reading, Writing and Relations. |
APLAS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Nick Benton |
Abstracting Allocation. |
CSL |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Nick Benton |
Embedded interpreters. |
J. Funct. Program. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Nick Benton, Benjamin Leperchey |
Relational Reasoning in a Nominal Semantics for Storage. |
TLCA |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Nick Benton |
A Typed, Compositional Logic for a Stack-Based Abstract Machine. |
APLAS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Nick Benton, Luca Cardelli, Cédric Fournet |
Modern concurrency abstractions for C#. |
ACM Trans. Program. Lang. Syst. |
2004 |
DBLP DOI BibTeX RDF |
join calculus, polyphonic C?, synchronization, events, threads, messages, Asynchrony, chords |
| 1 | Nick Benton |
Simple relational correctness proofs for static analyses and program transformations. |
POPL |
2004 |
DBLP DOI BibTeX RDF |
partial equivalence relations, security, dependency, program analysis, information flow, types, optimizing compilation, denotational semantics, Hoare logic |
| 1 | Nick Benton, Andrew Kennedy, Claudio V. Russo |
Adventures in interoperability: the SML.NET experience. |
PPDP |
2004 |
DBLP DOI BibTeX RDF |
applications of declarative programming, integration of paradigms, programming environments, functional programming |
| 1 | Nick Benton, Andrew Kennedy, Sam Lindley, Claudio V. Russo |
Shrinking Reductions in SML.NET. |
IFL |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Nick Benton, Martin Hyland |
Traced Premonoidal Categories. |
ITA |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Nick Benton, Martin Hyland |
Traced pre-monoidal categories. |
FICS |
2002 |
DBLP BibTeX RDF |
|
| 1 | Nick Benton, Luca Cardelli, Cédric Fournet |
Modern Concurrency Abstractions for C#. |
ECOOP |
2002 |
DBLP BibTeX RDF |
|
| 1 | Nick Benton, Andrew Kennedy |
BABEL 2001 - Preface. |
Electr. Notes Theor. Comput. Sci. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Nick Benton, Andrew Kennedy |
Exceptional Syntax Journal of Functional Programming. |
J. Funct. Program. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Bruce J. McAdam, Andrew Kennedy, Nick Benton |
Type inference for MLj. |
Scottish Functional Programming Workshop |
2000 |
DBLP BibTeX RDF |
|
| 1 | Nick Benton, John Hughes, Eugenio Moggi |
Monads and Effects. |
APPSEM |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Nick Benton, Andrew Kennedy |
Monads, Effects and Transformations. |
Electr. Notes Theor. Comput. Sci. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Nick Benton, Andrew Kennedy |
Interlanguage Working Without Tears: Blending SML with Java. |
ICFP |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Nick Benton, Andrew Kennedy, George Russell |
Compiling Standard ML to Java Bytecodes. |
ICFP |
1998 |
DBLP DOI BibTeX RDF |
MC68000 Assembly Language, Java |
| 1 | P. N. Benton, Gavin M. Bierman, Valeria de Paiva |
Computational Types from a Logical Perspective. |
J. Funct. Program. |
1998 |
DBLP BibTeX RDF |
|
| 1 | P. N. Benton |
On the Relationship Between Formal Semantics and Static Analysis. |
ACM Comput. Surv. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | P. N. Benton, Philip Wadler |
Linear Logic, Monads and the Lambda Calculus. |
LICS |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | P. N. Benton |
Strong Normalisation for the Linear Term Calculus. |
J. Funct. Program. |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | P. N. Benton |
A Mixed Linear and Non-Linear Logic: Proofs, Terms and Models (Extended Abstract). |
CSL |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | P. N. Benton, Gavin M. Bierman, Valeria de Paiva, Martin Hyland |
A Term Calculus for Intuitionistic Linear Logic. |
TLCA |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | P. N. Benton |
Strictness Properties of Lazy Algebraic Datatypes. |
WSA |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | P. N. Benton |
Strictness Logic and Polymorphic Invariance. |
LFCS |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | P. N. Benton, Gavin M. Bierman, Valeria de Paiva, Martin Hyland |
Linear Lambda-Calculus and Categorial Models Revisited. |
CSL |
1992 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #46 of 46 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")