| 2021 | PADL | On Adding Pattern Matching to Haskell-Based Deeply Embedded Domain Specific Languages. | David Young, Mark Grebe, Andy Gill |
| 2017 | CGO | AFrame: A Domain Specific Language for Virtual Reality: Extended Abstract. | Andy Gill |
| 2017 | GPCE | Rewriting a shallow DSL using a GHC compiler extension. | Mark Grebe, David Young, Andy Gill |
| 2017 | HASKELL | Composable network stacks and remote monads. | Justin Dawson, Mark Grebe, Andy Gill |
| 2016 | PADL | Haskino: A Remote Monad for Programming the Arduino. | Mark Grebe, Andy Gill |
| 2015 | HASKELL | Reasoning with the HERMIT: tool support for equational reasoning on GHC core programs. | Andrew Farmer, Neil Sculthorpe, Andy Gill |
| 2015 | HASKELL | The remote monad design pattern. | Andy Gill, Neil Sculthorpe, Justin Dawson, Aleksander Eskilson, Andrew Farmer, Mark Grebe, Jeffrey Rosenbluth, Ryan Scott, James Stanton |
| 2014 | PADL | Sunroof: A Monadic DSL for Generating JavaScript. | Jan Bracker, Andy Gill |
| 2014 | PEPM | The HERMIT in the stream: fusing stream fusion's concatMap. | Andrew Farmer, Christian Hner zu Siederdissen, Andy Gill |
| 2013 | ICFP | The constrained-monad problem. | Neil Sculthorpe, Jan Bracker, George Giorgidze, Andy Gill |
| 2012 | HASKELL | The HERMIT in the machine: a plugin for the interactive transformation of GHC core language programs. | Andrew Farmer, Andy Gill, Ed Komp, Neil Sculthorpe |
| 2012 | ICFP | A pattern for almost homomorphic functions. | Nicolas Frisby, Andy Gill, Perry Alexander |
| 2012 | PADL | Handshaking in Kansas Lava Using Patch Logic. | Andy Gill, Bowe Neuenschwander |
| 2011 | FCCM | Using Functional Programming to Generate an LDPC Forward Error Corrector. | Andy Gill, Tristan Bull, Daniel DePardo, Andrew Farmer, Ed Komp, Erik Perrins |
| 2011 | ICFP | Deriving an efficient FPGA implementation of a low density parity check forward error corrector. | Andy Gill, Andrew Farmer |
| 2009 | HASKELL | Type-safe observable sharing in Haskell. | Andy Gill |
| 2008 | MPC | Asynchronous Exceptions as an Effect. | William L. Harrison, Gerard Allwein, Andy Gill, Adam M. Procter |
| 2007 | HASKELL | Haskell program coverage. | Andy Gill, Colin Runciman |
| 2007 | HASKELL | A lightweight interactive debugger for haskell. | Simon Marlow, Jos Iborra, Bernard J. Pope, Andy Gill |
| 2006 | HASKELL | Introducing the Haskell equational reasoning assistant. | Andy Gill |