5 June 2017

The Functional Dendritic Cell Algorithm: A Formal Specification With Haskell

Julie Greensmith and Michael B. Gale
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
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