Andrew Kennedy
From MaRDI portal
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
