Nick Benton

Available identifiers

zbMath Open benton.nickMaRDI QIDQ2392478

List of research outcomes

Publication	Date of Publication	Type
Compiling standard ML to Java bytecodes	2019-09-26	Paper
Proof-Relevant Logical Relations for Name Generation	2018-04-25	Paper
Correctness of compiling polymorphism to dynamic typing	2017-10-23	Paper
Integrating linear and dependent types	2016-09-29	Paper
Interlanguage working without tears: blending SML with Java	2016-09-01	Paper
Counting Successes: Effects and Transformations for Non-deterministic Programs	2016-08-17	Paper
Simple relational correctness proofs for static analyses and program transformations	2015-11-11	Paper
Higher-order functional reactive programming in bounded space	2015-09-11	Paper
A semantic model for graphical user interfaces	2015-03-05	Paper
Biorthogonality, step-indexing and compiler correctness	2015-01-06	Paper
High-level separation logic for low-level code	2014-11-27	Paper
Abstract effects and proof-relevant logical relations	2014-04-10	Paper
Strongly typed term representations in Coq	2013-08-01	Paper
Proof-Relevant Logical Relations for Name Generation	2013-06-28	Paper
Adding equations to System F types	2012-06-22	Paper
Some Domain Theory and Denotational Semantics in Coq	2009-10-20	Paper
Abstracting Allocation	2009-03-12	Paper
Reading, Writing and Relations	2008-05-06	Paper
Shrinking Reductions in SML.NET	2007-10-23	Paper
Programming Languages and Systems	2006-10-20	Paper
Embedded interpreters	2006-01-25	Paper
Typed Lambda Calculi and Applications	2005-11-11	Paper
https://portal.mardi4nfdi.de/entity/Q3046754	2004-08-12	Paper
Traced Premonoidal Categories	2004-03-29	Paper
Exceptional syntax	2001-11-21	Paper
https://portal.mardi4nfdi.de/entity/Q4499197	2001-03-06	Paper
https://portal.mardi4nfdi.de/entity/Q4283230	1996-07-01	Paper
https://portal.mardi4nfdi.de/entity/Q4281466	1994-04-07	Paper

Research outcomes over time

This page was built for person: Nick Benton