Nick Benton
From MaRDI portal
Person:2392478
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Compiling standard ML to Java bytecodes Proceedings of the third ACM SIGPLAN international conference on Functional programming | 2019-09-26 | Paper |
| Proof-relevant logical relations for name generation Logical Methods in Computer Science | 2018-04-25 | Paper |
| Correctness of compiling polymorphism to dynamic typing Journal of Functional Programming | 2017-10-23 | Paper |
| Integrating linear and dependent types Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages | 2016-09-29 | Paper |
| Interlanguage working without tears: blending SML with Java Proceedings of the fourth ACM SIGPLAN international conference on Functional programming | 2016-09-01 | Paper |
| Counting successes: effects and transformations for non-deterministic programs A List of Successes That Can Change the World | 2016-08-17 | Paper |
| Simple relational correctness proofs for static analyses and program transformations Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2015-11-11 | Paper |
| Higher-order functional reactive programming in bounded space Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2015-09-11 | Paper |
| A semantic model for graphical user interfaces Proceedings of the 16th ACM SIGPLAN international conference on Functional programming | 2015-03-05 | Paper |
| Biorthogonality, step-indexing and compiler correctness Proceedings of the 14th ACM SIGPLAN international conference on Functional programming | 2015-01-06 | Paper |
| High-level separation logic for low-level code Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2014-11-27 | Paper |
| Abstract effects and proof-relevant logical relations Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages | 2014-04-10 | Paper |
| Strongly typed term representations in Coq Journal of Automated Reasoning | 2013-08-01 | Paper |
| Proof-relevant logical relations for name generation Lecture Notes in Computer Science | 2013-06-28 | Paper |
| Adding equations to System F types Programming Languages and Systems | 2012-06-22 | Paper |
| Some Domain Theory and Denotational Semantics in Coq Lecture Notes in Computer Science | 2009-10-20 | Paper |
| Abstracting Allocation Computer Science Logic | 2009-03-12 | Paper |
| Reading, Writing and Relations Programming Languages and Systems | 2008-05-06 | Paper |
| Shrinking Reductions in SML.NET Implementation and Application of Functional Languages | 2007-10-23 | Paper |
| Programming Languages and Systems Lecture Notes in Computer Science | 2006-10-20 | Paper |
| Embedded interpreters Journal of Functional Programming | 2006-01-25 | Paper |
| Typed Lambda Calculi and Applications Lecture Notes in Computer Science | 2005-11-11 | Paper |
| scientific article; zbMATH DE number 2089394 (Why is no real title available?) | 2004-08-12 | Paper |
| Traced Premonoidal Categories RAIRO - Theoretical Informatics and Applications | 2004-03-29 | Paper |
| Exceptional syntax Journal of Functional Programming | 2001-11-21 | Paper |
| scientific article; zbMATH DE number 1497780 (Why is no real title available?) | 2001-03-06 | Paper |
| scientific article; zbMATH DE number 515728 (Why is no real title available?) | 1996-07-01 | Paper |
| scientific article; zbMATH DE number 512773 (Why is no real title available?) | 1994-04-07 | Paper |
Research outcomes over time
This page was built for person: Nick Benton
