Andy Gill

Publication Activity (10 Years)

Years Active: 1992-2021
Publications (10 Years): 8

Top Topics

Datalog Queries

Programming Language

Domain Specific Languages

Top Venues

Publications

David Young, Mark Grebe, Andy Gill
On Adding Pattern Matching to Haskell-Based Deeply Embedded Domain Specific Languages. PADL (2021)
Mark Grebe, David Young, Andy Gill
Rewriting a shallow DSL using a GHC compiler extension. GPCE (2017)
Andy Gill
AFrame: A Domain Specific Language for Virtual Reality: Extended Abstract. RWDSL@CGO (2017)
Justin Dawson, Mark Grebe, Andy Gill
Composable network stacks and remote monads. Haskell (2017)
Mark Grebe, Andy Gill
Haskino: A Remote Monad for Programming the Arduino. PADL (2016)
Mark Grebe, Andy Gill
Threading the Arduino with Haskell. TFP (2016)
Andrew Farmer, Neil Sculthorpe, Andy Gill
Reasoning with the HERMIT: tool support for equational reasoning on GHC core programs. Haskell (2015)
Andy Gill, Neil Sculthorpe, Justin Dawson, Aleksander Eskilson, Andrew Farmer, Mark Grebe, Jeffrey Rosenbluth, Ryan Scott, James Stanton
The remote monad design pattern. Haskell (2015)
Neil Sculthorpe, Nicolas Frisby, Andy Gill
The Kansas University rewrite engine - A Haskell-Embedded Strategic Programming Language with Custom Closed Universes. J. Funct. Program. 24 (4) (2014)
Jan Bracker, Andy Gill
Sunroof: A Monadic DSL for Generating JavaScript. PADL (2014)
Andrew Farmer, Christian Höner zu Siederdissen, Andy Gill
The HERMIT in the stream: fusing stream fusion's concatMap. PEPM (2014)
Andy Gill
Domain-specific languages and code synthesis using Haskell. Commun. ACM 57 (6) (2014)
Andy Gill
Domain-specific Languages and Code Synthesis Using Haskell. ACM Queue 12 (4) (2014)
Neil Sculthorpe, Jan Bracker, George Giorgidze, Andy Gill
The constrained-monad problem. ICFP (2013)
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)
Neil Sculthorpe, Andrew Farmer, Andy Gill
The HERMIT in the Tree - Mechanizing Program Transformations in the GHC Core Language. IFL (2012)
Andy Gill, Tristan Bull, Andrew Farmer, Garrin Kimmell, Ed Komp
Types and associated type families for hardware simulation and synthesis - The internals and externals of Kansas Lava. High. Order Symb. Comput. 25 (2-4) (2012)
Nicolas Frisby, Andy Gill, Perry Alexander
A pattern for almost homomorphic functions. WGP@ICFP (2012)
Andy Gill, Bowe Neuenschwander
Handshaking in Kansas Lava Using Patch Logic. PADL (2012)
Andy Gill, Andrew Farmer
Deriving an efficient FPGA implementation of a low density parity check forward error corrector. ICFP (2011)
Andy Gill, Tristan Bull, Daniel DePardo, Andrew Farmer, Ed Komp, Erik Perrins
Using Functional Programming to Generate an LDPC Forward Error Corrector. FCCM (2011)
Graham Hutton, Mauro Jaskelioff, Andy Gill
Factorising folds for faster functions. J. Funct. Program. 20 (3-4) (2010)
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)
Andrew Farmer, Garrin Kimmell, Andy Gill
What's the Matter with Kansas Lava? Trends in Functional Programming (2010)
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)
Andy Gill, Graham Hutton
The worker/wrapper transformation. J. Funct. Program. 19 (2) (2009)
Andy Gill
Type-safe observable sharing in Haskell. Haskell (2009)
Andy Gill
A Haskell Hosted DSL for Writing Transformation Systems. DSL (2009)
Andy Gill, Tristan Bull, Garrin Kimmell, Erik Perrins, Ed Komp, Brett Werling
Introducing Kansas Lava. IFL (2009)
Kevin Matlage, Andy Gill
ChalkBoard: Mapping Functions to Polygons. IFL (2009)
Johan Nordlander, Magnus Carlsson, Andy Gill
Unrestricted pure call-by-value recursion. ML (2008)
William L. Harrison, Gerard Allwein, Andy Gill, Adam M. Procter
Asynchronous Exceptions as an Effect. MPC (2008)
Simon Marlow, José Iborra, Bernard J. Pope, Andy Gill
A lightweight interactive debugger for haskell. Haskell (2007)
Andy Gill, Colin Runciman
Haskell program coverage. Haskell (2007)
Andy Gill
Introducing the Haskell equational reasoning assistant. Haskell (2006)
Andy Gill
Debugging Haskell by Observing Intermediate Data Structures. Electron. Notes Theor. Comput. Sci. 41 (1) (2000)
Andy Gill
The Technology Behind a Graphical User Interface for an Equational Reasoning Assistant. Functional Programming (1995)
John Launchbury, Andy Gill, John Hughes, Simon Marlow, Simon L. Peyton Jones, Philip Wadler
Avoiding Unnecessary Updates. Functional Programming (1992)