dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Andy Gill Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2012
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndy Gill, Bowe Neuenschwander: Handshaking in Kansas Lava Using Patch Logic. PADL 2012: 212-226
2011
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndy Gill, Tristan Bull, Dan DePardo, Andrew Farmer, Ed Komp, Erik Perrins: Using Functional Programming to Generate an LDPC Forward Error Corrector. FCCM 2011: 133-140
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndy Gill, Andrew Farmer: Deriving an efficient FPGA implementation of a low density parity check forward error corrector. ICFP 2011: 209-220
2010
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrew Farmer, Garrin Kimmell, Andy Gill: What's the Matter with Kansas Lava? Trends in Functional Programming 2010: 102-117
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndy 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
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKevin 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
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGraham Hutton, Mauro Jaskelioff, Andy Gill: Factorising folds for faster functions. J. Funct. Program. 20(3-4): 353-373 (2010)
2009
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndy Gill, Terrance Swift: Practical Aspects of Declarative Languages, 11th International Symposium, PADL 2009, Savannah, GA, USA, January 19-20, 2009. Proceedings Springer 2009
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndy Gill: A Haskell Hosted DSL for Writing Transformation Systems. DSL 2009: 285-309
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndy Gill: Type-safe observable sharing in Haskell. Haskell 2009: 117-128
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndy Gill, Graham Hutton: The worker/wrapper transformation. J. Funct. Program. 19(2): 227-251 (2009)
2008
9no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndy Gill: Proceedings of the 1st ACM SIGPLAN Symposium on Haskell, Haskell 2008, Victoria, BC, Canada, 25 September 2008 ACM 2008
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohan Nordlander, Magnus Carlsson, Andy Gill: Unrestricted pure call-by-value recursion. ML 2008: 23-34
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWilliam L. Harrison, Gerard Allwein, Andy Gill, Adam M. Procter: Asynchronous Exceptions as an Effect. MPC 2008: 153-176
2007
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndy Gill, Colin Runciman: Haskell program coverage. Haskell 2007: 1-12
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSimon Marlow, José Iborra, Bernard Pope, Andy Gill: A lightweight interactive debugger for haskell. Haskell 2007: 13-24
2006
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndy Gill: Introducing the Haskell equational reasoning assistant. Haskell 2006: 108-109
2000
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndy Gill: Debugging Haskell by Observing Intermediate Data Structures. Electr. Notes Theor. Comput. Sci. 41(1): 1 (2000)
1995
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndy Gill: The Technology Behind a Graphical User Interface for an Equational Reasoning Assistant. Functional Programming 1995: 4
1992
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn Launchbury, Andy Gill, John Hughes, Simon Marlow, Simon L. Peyton Jones, Philip Wadler: Avoiding Unnecessary Updates. Functional Programming 1992: 144-153

Coauthor Index

1Gerard Allwein [7]
2Tristan Bull [16] [19]
3Magnus Carlsson [8]
4Dan DePardo [19]
5Andrew Farmer [16] [17] [18] [19]
6William L. Harrison [7]
7John Hughes [1]
8Graham Hutton [10] [14]
9José Iborra [5]
10Mauro Jaskelioff [14]
11Simon L. Peyton Jones [1]
12Garrin Kimmell [16] [17]
13Ed Komp [16] [19]
14John Launchbury [1]
15Simon Marlow [1] [5]
16Kevin Matlage [15]
17Bowe Neuenschwander [20]
18Johan Nordlander [8]
19Erik Perrins [19]
20Bernard Pope [5]
21Adam M. Procter [7]
22Colin Runciman [6]
23Terrance Swift [13]
24Philip Wadler [1]

Colors in the list of coauthors

Last update Wed May 30 22:34:44 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page