Andy Gill

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

Andy Gill, Bowe Neuenschwander: Handshaking in Kansas Lava Using Patch Logic. PADL 2012: 212-226

Andy Gill, Jurriaan Hage (Eds.): Implementation and Application of Functional Languages - 23rd International Symposium, IFL 2011, Lawrence, KS, USA, October 3-5, 2011, Revised Selected Papers. Lecture Notes in Computer Science 7257, Springer 2012, isbn 978-3-642-34406-0

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

Andy Gill, Andrew Farmer: Deriving an efficient FPGA implementation of a low density parity check forward error corrector. ICFP 2011: 209-220

Graham Hutton, Mauro Jaskelioff, Andy Gill: Factorising folds for faster functions. J. Funct. Program. 20(3-4): 353-373 (2010)

Andrew Farmer, Garrin Kimmell, Andy Gill: What's the Matter with Kansas Lava? Trends in Functional Programming 2010: 102-117

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

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

Andy Gill, Graham Hutton: The worker/wrapper transformation. J. Funct. Program. 19(2): 227-251 (2009)

Andy Gill: A Haskell Hosted DSL for Writing Transformation Systems. DSL 2009: 285-309

Andy Gill: Type-safe observable sharing in Haskell. Haskell 2009: 117-128

Andy Gill, Terrance Swift (Eds.): Practical Aspects of Declarative Languages, 11th International Symposium, PADL 2009, Savannah, GA, USA, January 19-20, 2009. Proceedings. Lecture Notes in Computer Science 5418, Springer 2009, isbn 978-3-540-92994-9

Johan Nordlander, Magnus Carlsson, Andy Gill: Unrestricted pure call-by-value recursion. ML 2008: 23-34

William L. Harrison, Gerard Allwein, Andy Gill, Adam M. Procter: Asynchronous Exceptions as an Effect. MPC 2008: 153-176

Andy Gill (Ed.): Proceedings of the 1st ACM SIGPLAN Symposium on Haskell, Haskell 2008, Victoria, BC, Canada, 25 September 2008. ACM 2008, isbn 978-1-60558-064-7

Andy Gill, Colin Runciman: Haskell program coverage. Haskell 2007: 1-12

Simon Marlow, José Iborra, Bernard Pope, Andy Gill: A lightweight interactive debugger for haskell. Haskell 2007: 13-24

Andy Gill: Introducing the Haskell equational reasoning assistant. Haskell 2006: 108-109

Andy Gill: Debugging Haskell by Observing Intermediate Data Structures. Electr. Notes Theor. Comput. Sci. 41(1): 1 (2000)

Andy Gill: The Technology Behind a Graphical User Interface for an Equational Reasoning Assistant. Functional Programming 1995: 4

John Launchbury, Andy Gill, John Hughes, Simon Marlow, Simon L. Peyton Jones, Philip Wadler: Avoiding Unnecessary Updates. Functional Programming 1992: 144-153