Andrew Kennedy

Available identifiers

Publication	Date of Publication	Type
Compiling standard ML to Java bytecodes	2019-09-26	Paper
Transposing G to \(\text{C}^{\sharp}\): expressivity of generalized algebraic data types in an object-oriented language	2018-07-26	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
Functional pearl	2015-03-05	Paper
High-level separation logic for low-level code	2014-11-27	Paper
Abstraction and invariance for algebraically indexed types	2014-11-27	Paper
Compiling with continuations, continued	2014-07-21	Paper
Strongly typed term representations in Coq	2013-08-01	Paper
Every bit counts: The binary representation of typed data and programs	2012-10-29	Paper
Some Domain Theory and Denotational Semantics in Coq	2009-10-20	Paper
Reading, Writing and Relations	2008-05-06	Paper
Shrinking Reductions in SML.NET	2007-10-23	Paper
Securing the .NET programming model	2007-01-09	Paper
FUNCTIONAL PEARL Pickler combinators	2005-03-21	Paper
Exceptional syntax	2001-11-21	Paper
https://portal.mardi4nfdi.de/entity/Q4499197	2001-03-06	Paper
Functional Pearls	1996-12-16	Paper

This page was built for person: Andrew Kennedy