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 |
| Transposing G to \(\text{C}^{\sharp}\): expressivity of generalized algebraic data types in an object-oriented language Theoretical Computer Science | 2018-07-26 | 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 |
| Functional pearl: every bit counts Proceedings of the 15th ACM SIGPLAN international conference on Functional programming | 2015-03-05 | 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 |
| Abstraction and invariance for algebraically indexed types Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2014-11-27 | Paper |
| Compiling with continuations, continued Proceedings of the 12th ACM SIGPLAN international conference on Functional programming | 2014-07-21 | Paper |
| Strongly typed term representations in Coq Journal of Automated Reasoning | 2013-08-01 | Paper |
| Every bit counts: the binary representation of typed data and programs Journal of Functional Programming | 2012-10-29 | Paper |
| Some Domain Theory and Denotational Semantics in Coq Lecture Notes in Computer Science | 2009-10-20 | 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 |
| Securing the .NET programming model Theoretical Computer Science | 2007-01-09 | Paper |
| FUNCTIONAL PEARL Pickler combinators Journal of Functional Programming | 2005-03-21 | 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 |
| Functional Pearls Journal of Functional Programming | 1996-12-16 | Paper |
Research outcomes over time
This page was built for person: Andrew Kennedy
