Andy Gill - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 28 from 28

2014

Sunroof: A Monadic DSL for Generating JavaScriptJan Bracker, Andy Gill. PADL 2014: 65-80 [doi]

The HERMIT in the stream: fusing stream fusion's concatMapAndrew Farmer, Christian Höner zu Siederdissen, Andy Gill. PEPM 2014: 97-108 [doi]

Domain-specific Languages and Code Synthesis Using HaskellAndy Gill. queue, 12(4):30, 2014. [doi]

2013

The constrained-monad problemNeil Sculthorpe, Jan Bracker, George Giorgidze, Andy Gill. ICFP 2013: 287-298 [doi]

2012

2011

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

Using Functional Programming to Generate an LDPC Forward Error CorrectorAndy Gill, Tristan Bull, Dan DePardo, Andrew Farmer, Ed Komp, Erik Perrins. fccm 2011: 133-140 [doi]

2010

2009

Practical Aspects of Declarative Languages, 11th International Symposium, PADL 2009, Savannah, GA, USA, January 19-20, 2009. ProceedingsAndy Gill, Terrance Swift, editors, Volume 5418 of Lecture Notes in Computer Science, Springer, 2009. [doi]

A Haskell Hosted DSL for Writing Transformation SystemsAndy Gill. DSL 2009: 285-309 [doi]

Type-safe observable sharing in HaskellAndy Gill. haskell 2009: 117-128 [doi]

The worker/wrapper transformationAndy Gill, Graham Hutton. JFP, 19(2):227-251, 2009. [doi]

2008

Proceedings of the 1st ACM SIGPLAN Symposium on Haskell, Haskell 2008, Victoria, BC, Canada, 25 September 2008Andy Gill, editor, ACM, 2008.

Asynchronous Exceptions as an EffectWilliam L. Harrison, Gerard Allwein, Andy Gill, Adam Procter. mpc 2008: 153-176 [doi]

Unrestricted pure call-by-value recursionJohan Nordlander, Magnus Carlsson, Andy Gill. ml 2008: 23-34 [doi]

2007

Haskell program coverageAndy Gill, Colin Runciman. haskell 2007: 1-12 [doi]

A lightweight interactive debugger for haskellSimon Marlow, José Iborra, Bernard Pope, Andy Gill. haskell 2007: 13-24 [doi]

2006

Introducing the Haskell equational reasoning assistantAndy Gill. haskell 2006: 108-109 [doi]

2001

Automated translation of legacy code for ATEAndrew Moran, Jim Teisher, Andy Gill, Emir Pasalic, John Veneruso. itc 2001: 148-156

2000

Debugging Haskell by Observing Intermediate Data StructuresAndy Gill. ENTCS, 41(1):1, 2000. [doi]

1995

The Technology Behind a Graphical User Interface for an Equational Reasoning AssistantAndy Gill. fp 1996: 4

1992

Avoiding Unnecessary UpdatesJohn Launchbury, Andy Gill, John Hughes, Simon Marlow, Simon L. Peyton Jones, Philip Wadler. fp 1993: 144-153

Sign in or sign up to see more results.

runs on WebDSL