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	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Nick Benton