Avoiding Unnecessary Updates. - John Launchbury; Andy Gill; John Hughes 001; Simon Marlow; Simon L. Peyton Jones; Philip Wadler (Functional Programming, 1992)

The Technology Behind a Graphical User Interface for an Equational Reasoning Assistant. - Andy Gill (Functional Programming, 1995)

Debugging Haskell by Observing Intermediate Data Structures. - Andy Gill (Haskell, 2000)

Introducing the Haskell equational reasoning assistant. - Andy Gill (Haskell, 2006)

Haskell program coverage. - Andy Gill; Colin Runciman (Haskell, 2007)

A lightweight interactive debugger for haskell. - Simon Marlow; José Iborra; Bernard J. Pope; Andy Gill (Haskell, 2007)

Unrestricted pure call-by-value recursion. - Johan Nordlander; Magnus Carlsson; Andy Gill (ML, 2008)

Asynchronous Exceptions as an Effect. - William L. Harrison; Gerard Allwein; Andy Gill; Adam M. Procter (MPC, 2008)

A Haskell Hosted DSL for Writing Transformation Systems. - Andy Gill (DSL, 2009)

Type-safe observable sharing in Haskell. - Andy Gill (Haskell, 2009)

Introducing Kansas Lava. - Andy Gill; Tristan Bull; Garrin Kimmell; Erik Perrins; Ed Komp; Brett Werling (IFL, 2009)

ChalkBoard: Mapping Functions to Polygons. - Kevin Matlage; Andy Gill (IFL, 2009)

The worker/wrapper transformation. - Andy Gill; Graham Hutton (J. Funct. Program., 2009)

What's the Matter with Kansas Lava? - Andrew Farmer; Garrin Kimmell; Andy Gill (Trends in Functional Programming, 2010)

Types and Type Families for Hardware Simulation and Synthesis - The Internals and Externals of Kansas Lava. - Andy Gill; Tristan Bull; Andrew Farmer; Garrin Kimmell; Ed Komp (Trends in Functional Programming, 2010)

Every Animation Should Have a Beginning, a Middle, and an End - A Case Study of Using a Functor-Based Animation Language. - Kevin Matlage; Andy Gill (Trends in Functional Programming, 2010)

Factorising folds for faster functions. - Graham Hutton; Mauro Jaskelioff; Andy Gill (J. Funct. Program., 2010)

Using Functional Programming to Generate an LDPC Forward Error Corrector. - Andy Gill; Tristan Bull; Daniel DePardo; Andrew Farmer; Ed Komp; Erik Perrins (FCCM, 2011)

Deriving an efficient FPGA implementation of a low density parity check forward error corrector. - Andy Gill; Andrew Farmer (ICFP, 2011)

The HERMIT in the machine: a plugin for the interactive transformation of GHC core language programs. - Andrew Farmer; Andy Gill; Ed Komp; Neil Sculthorpe (Haskell, 2012)

A pattern for almost homomorphic functions. - Nicolas Frisby; Andy Gill; Perry Alexander (WGP@ICFP, 2012)

The HERMIT in the Tree - Mechanizing Program Transformations in the GHC Core Language. - Neil Sculthorpe; Andrew Farmer; Andy Gill (IFL, 2012)

Handshaking in Kansas Lava Using Patch Logic. - Andy Gill; Bowe Neuenschwander (PADL, 2012)

Types and associated type families for hardware simulation and synthesis - The internals and externals of Kansas Lava. - Andy Gill; Tristan Bull; Andrew Farmer; Garrin Kimmell; Ed Komp (High. Order Symb. Comput., 2012)

The constrained-monad problem. - Neil Sculthorpe; Jan Bracker; George Giorgidze; Andy Gill (ICFP, 2013)

Sunroof: A Monadic DSL for Generating JavaScript. - Jan Bracker; Andy Gill (PADL, 2014)

The HERMIT in the stream: fusing stream fusion's concatMap. - Andrew Farmer; Christian Höner zu Siederdissen; Andy Gill (PEPM, 2014)

The Kansas University rewrite engine - A Haskell-Embedded Strategic Programming Language with Custom Closed Universes. - Neil Sculthorpe; Nicolas Frisby; Andy Gill (J. Funct. Program., 2014)

Domain-specific Languages and Code Synthesis Using Haskell. - Andy Gill (ACM Queue, 2014)

Reasoning with the HERMIT: tool support for equational reasoning on GHC core programs. - Andrew Farmer; Neil Sculthorpe; Andy Gill (Haskell, 2015)

The remote monad design pattern. - Andy Gill; Neil Sculthorpe; Justin Dawson; Aleksander Eskilson; Andrew Farmer; Mark Grebe; Jeffrey Rosenbluth; Ryan Scott; James Stanton (Haskell, 2015)

Haskino: A Remote Monad for Programming the Arduino. - Mark Grebe; Andy Gill (PADL, 2016)

Threading the Arduino with Haskell. - Mark Grebe; Andy Gill (TFP, 2016)

AFrame: A Domain Specific Language for Virtual Reality: Extended Abstract. - Andy Gill (RWDSL@CGO, 2017)

Rewriting a shallow DSL using a GHC compiler extension. - Mark Grebe; David Young; Andy Gill (GPCE, 2017)

Composable network stacks and remote monads. - Justin Dawson; Mark Grebe; Andy Gill (Haskell, 2017)

On Adding Pattern Matching to Haskell-Based Deeply Embedded Domain Specific Languages. - David Young; Mark Grebe; Andy Gill (PADL, 2021)