16 March 2016

Alice in Package Hell

Mark Florisson, Michael B. Gale, and Alan Mycroft
18 October 2015

A Tale of Two Abstractions

Michael B. Gale and Alan Mycroft
4 December 2013

The Deterministic Dendritic Cell Algorithm Cookbook

Julie Greensmith and Michael B. Gale
20 May 2013

A compiler for Cada

Michael B. Gale
1 May 2013

What should I wear? Parametric polymorphism and its decidability

Michael B. Gale
14 January 2013

Machines and their Languages

Michael B. Gale