publications:
- title: "What s the Matter with Kansas Lava?"
  author:
  - name: "Andrew Farmer"
    link: "https://researchr.org/alias/andrew-farmer"
  - name: "Garrin Kimmell"
    link: "https://researchr.org/alias/garrin-kimmell"
  - name: "Andy Gill"
    link: "http://www.ittc.ku.edu/~andygill/"
  year: "2010"
  doi: "http://dx.doi.org/10.1007/978-3-642-22941-1_7"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-22941-1_7"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/sfp/FarmerKG10"
  researchr: "https://researchr.org/publication/FarmerKG10"
  cites: 0
  citedby: 0
  pages: "102-117"
  booktitle: "sfp"
  kind: "inproceedings"
  key: "FarmerKG10"
- title: "Debugging Haskell by Observing Intermediate Data Structures"
  author:
  - name: "Andy Gill"
    link: "http://www.ittc.ku.edu/~andygill/"
  year: "2000"
  doi: "http://www.elsevier.com/gej-ng/31/29/23/76/33/show/Products/notes/index.htt#008"
  links:
    doi: "http://www.elsevier.com/gej-ng/31/29/23/76/33/show/Products/notes/index.htt#008"
  tags:
  - "Haskell"
  - "data-flow"
  - "debugging"
  researchr: "https://researchr.org/publication/Gill00%3A0"
  cites: 0
  citedby: 0
  journal: "ENTCS"
  volume: "41"
  number: "1"
  pages: "1"
  kind: "article"
  key: "Gill00:0"
- title: "The HERMIT in the stream: fusing stream fusion's concatMap"
  author:
  - name: "Andrew Farmer"
    link: "https://researchr.org/alias/andrew-farmer"
  - name: "Christian Höner zu Siederdissen"
    link: "https://researchr.org/alias/christian-h%C3%B6ner-zu-siederdissen"
  - name: "Andy Gill"
    link: "http://www.ittc.ku.edu/~andygill/"
  year: "2014"
  doi: "http://doi.acm.org/10.1145/2543728.2543736"
  links:
    doi: "http://doi.acm.org/10.1145/2543728.2543736"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/pepm/FarmerSG14"
  researchr: "https://researchr.org/publication/FarmerSG14"
  cites: 0
  citedby: 0
  pages: "97-108"
  booktitle: "PEPM"
  kind: "inproceedings"
  key: "FarmerSG14"
- title: "The constrained-monad problem"
  author:
  - name: "Neil Sculthorpe"
    link: "https://researchr.org/alias/neil-sculthorpe"
  - name: "Jan Bracker"
    link: "https://researchr.org/alias/jan-bracker"
  - name: "George Giorgidze"
    link: "https://researchr.org/alias/george-giorgidze"
  - name: "Andy Gill"
    link: "http://www.ittc.ku.edu/~andygill/"
  year: "2013"
  doi: "http://doi.acm.org/10.1145/2500365.2500602"
  links:
    doi: "http://doi.acm.org/10.1145/2500365.2500602"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/icfp/SculthorpeBGG13"
  researchr: "https://researchr.org/publication/SculthorpeBGG13"
  cites: 0
  citedby: 0
  pages: "287-298"
  booktitle: "ICFP"
  kind: "inproceedings"
  key: "SculthorpeBGG13"
- title: "Handshaking in Kansas Lava Using Patch Logic"
  author:
  - name: "Andy Gill"
    link: "http://www.ittc.ku.edu/~andygill/"
  - name: "Bowe Neuenschwander"
    link: "https://researchr.org/alias/bowe-neuenschwander"
  year: "2012"
  doi: "http://dx.doi.org/10.1007/978-3-642-27694-1_16"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-27694-1_16"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/padl/GillN12"
  researchr: "https://researchr.org/publication/GillN12"
  cites: 0
  citedby: 0
  pages: "212-226"
  booktitle: "PADL"
  kind: "inproceedings"
  key: "GillN12"
- title: "Types and Type Families for Hardware Simulation and Synthesis - The Internals and Externals of Kansas Lava"
  author:
  - name: "Andy Gill"
    link: "http://www.ittc.ku.edu/~andygill/"
  - name: "Tristan Bull"
    link: "https://researchr.org/alias/tristan-bull"
  - name: "Andrew Farmer"
    link: "https://researchr.org/alias/andrew-farmer"
  - name: "Garrin Kimmell"
    link: "https://researchr.org/alias/garrin-kimmell"
  - name: "Ed Komp"
    link: "https://researchr.org/alias/ed-komp"
  year: "2010"
  doi: "http://dx.doi.org/10.1007/978-3-642-22941-1_8"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-22941-1_8"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/sfp/GillBFKK10"
  researchr: "https://researchr.org/publication/GillBFKK10"
  cites: 0
  citedby: 0
  pages: "118-133"
  booktitle: "sfp"
  kind: "inproceedings"
  key: "GillBFKK10"
- title: "Domain-specific Languages and Code Synthesis Using Haskell"
  author:
  - name: "Andy Gill"
    link: "http://www.ittc.ku.edu/~andygill/"
  year: "2014"
  doi: "http://doi.acm.org/10.1145/2611429.2617811"
  links:
    doi: "http://doi.acm.org/10.1145/2611429.2617811"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/queue/Gill14"
  researchr: "https://researchr.org/publication/Gill14-0"
  cites: 0
  citedby: 0
  journal: "queue"
  volume: "12"
  number: "4"
  pages: "30"
  kind: "article"
  key: "Gill14-0"
- title: "Deriving an efficient FPGA implementation of a low density parity check forward error corrector"
  author:
  - name: "Andy Gill"
    link: "http://www.ittc.ku.edu/~andygill/"
  - name: "Andrew Farmer"
    link: "https://researchr.org/alias/andrew-farmer"
  year: "2011"
  doi: "http://doi.acm.org/10.1145/2034773.2034804"
  links:
    doi: "http://doi.acm.org/10.1145/2034773.2034804"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/icfp/GillF11"
  researchr: "https://researchr.org/publication/GillF11"
  cites: 0
  citedby: 0
  pages: "209-220"
  booktitle: "ICFP"
  kind: "inproceedings"
  key: "GillF11"
- title: "The worker/wrapper transformation"
  author:
  - name: "Andy Gill"
    link: "http://www.ittc.ku.edu/~andygill/"
  - name: "Graham Hutton"
    link: "http://www.cs.nott.ac.uk/~gmh/"
  year: "2009"
  doi: "http://dx.doi.org/10.1017/S0956796809007175"
  links:
    doi: "http://dx.doi.org/10.1017/S0956796809007175"
  tags:
  - "transformation"
  researchr: "https://researchr.org/publication/GillH09"
  cites: 0
  citedby: 0
  journal: "JFP"
  volume: "19"
  number: "2"
  pages: "227-251"
  kind: "article"
  key: "GillH09"
- title: "Factorising folds for faster functions"
  author:
  - name: "Graham Hutton"
    link: "https://researchr.org/alias/graham-hutton"
  - name: "Mauro Jaskelioff"
    link: "https://researchr.org/alias/mauro-jaskelioff"
  - name: "Andy Gill"
    link: "http://www.ittc.ku.edu/~andygill/"
  year: "2010"
  doi: "http://dx.doi.org/10.1017/S0956796810000122"
  links:
    doi: "http://dx.doi.org/10.1017/S0956796810000122"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/jfp/HuttonJG10"
  researchr: "https://researchr.org/publication/HuttonJG10"
  cites: 0
  citedby: 0
  journal: "JFP"
  volume: "20"
  number: "3-4"
  pages: "353-373"
  kind: "article"
  key: "HuttonJG10"
- title: "Haskell program coverage"
  author:
  - name: "Andy Gill"
    link: "http://www.ittc.ku.edu/~andygill/"
  - name: "Colin Runciman"
    link: "https://researchr.org/alias/colin-runciman"
  year: "2007"
  doi: "http://doi.acm.org/10.1145/1291201.1291203"
  links:
    doi: "http://doi.acm.org/10.1145/1291201.1291203"
  tags:
  - "Haskell"
  - "coverage"
  researchr: "https://researchr.org/publication/GillR07"
  cites: 0
  citedby: 0
  pages: "1-12"
  booktitle: "haskell"
  kind: "inproceedings"
  key: "GillR07"
- title: "Asynchronous Exceptions as an Effect"
  author:
  - name: "William L. Harrison"
    link: "https://researchr.org/alias/william-l.-harrison"
  - name: "Gerard Allwein"
    link: "https://researchr.org/alias/gerard-allwein"
  - name: "Andy Gill"
    link: "http://www.ittc.ku.edu/~andygill/"
  - name: "Adam Procter"
    link: "https://researchr.org/alias/adam-procter"
  year: "2008"
  doi: "http://dx.doi.org/10.1007/978-3-540-70594-9_10"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-70594-9_10"
  tags:
  - "exceptions"
  researchr: "https://researchr.org/publication/HarrisonAGP08"
  cites: 0
  citedby: 0
  pages: "153-176"
  booktitle: "mpc"
  kind: "inproceedings"
  key: "HarrisonAGP08"
- title: "A Haskell Hosted DSL for Writing Transformation Systems"
  author:
  - name: "Andy Gill"
    link: "http://www.ittc.ku.edu/~andygill/"
  year: "2009"
  doi: "http://dx.doi.org/10.1007/978-3-642-03034-5_14"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-03034-5_14"
  tags:
  - "Haskell"
  - "writing"
  - "transformation system"
  - "DSL"
  - "transformation"
  researchr: "https://researchr.org/publication/Gill09-0"
  cites: 0
  citedby: 0
  pages: "285-309"
  booktitle: "DSL"
  kind: "inproceedings"
  key: "Gill09-0"
- title: "Avoiding Unnecessary Updates"
  author:
  - name: "John Launchbury"
    link: "https://researchr.org/alias/john-launchbury"
  - name: "Andy Gill"
    link: "http://www.ittc.ku.edu/~andygill/"
  - name: "John Hughes"
    link: "http://www.cse.chalmers.se/~rjmh"
  - name: "Simon Marlow"
    link: "https://researchr.org/alias/simon-marlow"
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  - name: "Philip Wadler"
    link: "http://homepages.inf.ed.ac.uk/wadler/"
  year: "1992"
  researchr: "https://researchr.org/publication/LaunchburyGHMJW92"
  cites: 0
  citedby: 0
  pages: "144-153"
  booktitle: "fp"
  kind: "inproceedings"
  key: "LaunchburyGHMJW92"
- title: "Type-safe observable sharing in Haskell"
  author:
  - name: "Andy Gill"
    link: "http://www.ittc.ku.edu/~andygill/"
  year: "2009"
  doi: "http://doi.acm.org/10.1145/1596638.1596653"
  links:
    doi: "http://doi.acm.org/10.1145/1596638.1596653"
  tags:
  - "Haskell"
  researchr: "https://researchr.org/publication/Gill09-1"
  cites: 0
  citedby: 0
  pages: "117-128"
  booktitle: "haskell"
  kind: "inproceedings"
  key: "Gill09-1"
- title: "Every Animation Should Have a Beginning, a Middle, and an End - A Case Study of Using a Functor-Based Animation Language"
  author:
  - name: "Kevin Matlage"
    link: "https://researchr.org/alias/kevin-matlage"
  - name: "Andy Gill"
    link: "http://www.ittc.ku.edu/~andygill/"
  year: "2010"
  doi: "http://dx.doi.org/10.1007/978-3-642-22941-1_10"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-22941-1_10"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/sfp/MatlageG10"
  tags:
  - "rule-based"
  - "case study"
  researchr: "https://researchr.org/publication/MatlageG10"
  cites: 0
  citedby: 0
  pages: "150-165"
  booktitle: "sfp"
  kind: "inproceedings"
  key: "MatlageG10"
- title: "Unrestricted pure call-by-value recursion"
  author:
  - name: "Johan Nordlander"
    link: "https://researchr.org/alias/johan-nordlander"
  - name: "Magnus Carlsson"
    link: "https://researchr.org/alias/magnus-carlsson"
  - name: "Andy Gill"
    link: "http://www.ittc.ku.edu/~andygill/"
  year: "2008"
  doi: "http://doi.acm.org/10.1145/1411304.1411309"
  links:
    doi: "http://doi.acm.org/10.1145/1411304.1411309"
  researchr: "https://researchr.org/publication/NordlanderCG08"
  cites: 0
  citedby: 0
  pages: "23-34"
  booktitle: "ml"
  kind: "inproceedings"
  key: "NordlanderCG08"
- title: "The HERMIT in the Tree - Mechanizing Program Transformations in the GHC Core Language"
  author:
  - name: "Neil Sculthorpe"
    link: "https://researchr.org/alias/neil-sculthorpe"
  - name: "Andrew Farmer"
    link: "https://researchr.org/alias/andrew-farmer"
  - name: "Andy Gill"
    link: "http://www.ittc.ku.edu/~andygill/"
  year: "2012"
  doi: "http://dx.doi.org/10.1007/978-3-642-41582-1_6"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-41582-1_6"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/ifl/SculthorpeFG12"
  researchr: "https://researchr.org/publication/SculthorpeFG12"
  cites: 0
  citedby: 0
  pages: "86-103"
  booktitle: "IFL"
  kind: "inproceedings"
  key: "SculthorpeFG12"
- title: "The Technology Behind a Graphical User Interface for an Equational Reasoning Assistant"
  author:
  - name: "Andy Gill"
    link: "http://www.ittc.ku.edu/~andygill/"
  year: "1995"
  researchr: "https://researchr.org/publication/Gill95%3A1"
  cites: 0
  citedby: 0
  pages: "4"
  booktitle: "fp"
  kind: "inproceedings"
  key: "Gill95:1"
- title: "Sunroof: A Monadic DSL for Generating JavaScript"
  author:
  - name: "Jan Bracker"
    link: "https://researchr.org/alias/jan-bracker"
  - name: "Andy Gill"
    link: "http://www.ittc.ku.edu/~andygill/"
  year: "2014"
  doi: "http://dx.doi.org/10.1007/978-3-319-04132-2_5"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-319-04132-2_5"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/padl/BrackerG14"
  researchr: "https://researchr.org/publication/BrackerG14"
  cites: 0
  citedby: 0
  pages: "65-80"
  booktitle: "PADL"
  kind: "inproceedings"
  key: "BrackerG14"
- title: "Using Functional Programming to Generate an LDPC Forward Error Corrector"
  author:
  - name: "Andy Gill"
    link: "http://www.ittc.ku.edu/~andygill/"
  - name: "Tristan Bull"
    link: "https://researchr.org/alias/tristan-bull"
  - name: "Dan DePardo"
    link: "https://researchr.org/alias/dan-depardo"
  - name: "Andrew Farmer"
    link: "https://researchr.org/alias/andrew-farmer"
  - name: "Ed Komp"
    link: "https://researchr.org/alias/ed-komp"
  - name: "Erik Perrins"
    link: "https://researchr.org/alias/erik-perrins"
  year: "2011"
  doi: "http://dx.doi.org/10.1109/FCCM.2011.31"
  links:
    doi: "http://dx.doi.org/10.1109/FCCM.2011.31"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/fccm/GillBDFKP11"
  tags:
  - "functional programming"
  - "programming"
  researchr: "https://researchr.org/publication/GillBDFKP11"
  cites: 0
  citedby: 0
  pages: "133-140"
  booktitle: "fccm"
  kind: "inproceedings"
  key: "GillBDFKP11"
- title: "Introducing the Haskell equational reasoning assistant"
  author:
  - name: "Andy Gill"
    link: "http://www.ittc.ku.edu/~andygill/"
  year: "2006"
  doi: "http://doi.acm.org/10.1145/1159842.1159856"
  links:
    doi: "http://doi.acm.org/10.1145/1159842.1159856"
  tags:
  - "Haskell"
  researchr: "https://researchr.org/publication/Gill06"
  cites: 0
  citedby: 0
  pages: "108-109"
  booktitle: "haskell"
  kind: "inproceedings"
  key: "Gill06"
- title: "A lightweight interactive debugger for haskell"
  author:
  - name: "Simon Marlow"
    link: "https://researchr.org/alias/simon-marlow"
  - name: "José Iborra"
    link: "https://researchr.org/alias/jos%C3%A9-iborra"
  - name: "Bernard Pope"
    link: "https://researchr.org/alias/bernard-pope"
  - name: "Andy Gill"
    link: "http://www.ittc.ku.edu/~andygill/"
  year: "2007"
  doi: "http://doi.acm.org/10.1145/1291201.1291204"
  links:
    doi: "http://doi.acm.org/10.1145/1291201.1291204"
  tags:
  - "Haskell"
  - "debugging"
  researchr: "https://researchr.org/publication/MarlowIPG07"
  cites: 0
  citedby: 0
  pages: "13-24"
  booktitle: "haskell"
  kind: "inproceedings"
  key: "MarlowIPG07"
- title: "Automated translation of legacy code for ATE"
  author:
  - name: "Andrew Moran"
    link: "https://researchr.org/alias/andrew-moran"
  - name: "Jim Teisher"
    link: "https://researchr.org/alias/jim-teisher"
  - name: "Andy Gill"
    link: "http://www.ittc.ku.edu/~andygill/"
  - name: "Emir Pasalic"
    link: "https://researchr.org/alias/emir-pasalic"
  - name: "John Veneruso"
    link: "https://researchr.org/alias/john-veneruso"
  year: "2001"
  tags:
  - "translation"
  researchr: "https://researchr.org/publication/MoranTGPV01"
  cites: 0
  citedby: 0
  pages: "148-156"
  booktitle: "itc"
  kind: "inproceedings"
  key: "MoranTGPV01"
- title: "The HERMIT in the machine: a plugin for the interactive transformation of GHC core language programs"
  author:
  - name: "Andrew Farmer"
    link: "https://researchr.org/alias/andrew-farmer"
  - name: "Andy Gill"
    link: "http://www.ittc.ku.edu/~andygill/"
  - name: "Ed Komp"
    link: "https://researchr.org/alias/ed-komp"
  - name: "Neil Sculthorpe"
    link: "https://researchr.org/alias/neil-sculthorpe"
  year: "2012"
  doi: "http://doi.acm.org/10.1145/2364506.2364508"
  links:
    doi: "http://doi.acm.org/10.1145/2364506.2364508"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/haskell/FarmerGKS12"
  researchr: "https://researchr.org/publication/FarmerGKS12"
  cites: 0
  citedby: 0
  pages: "1-12"
  booktitle: "haskell"
  kind: "inproceedings"
  key: "FarmerGKS12"
- title: "Proceedings of the 1st ACM SIGPLAN Symposium on Haskell, Haskell 2008, Victoria, BC, Canada, 25 September 2008"
  year: "2008"
  tags:
  - "Haskell"
  researchr: "https://researchr.org/publication/haskell-2008"
  cites: 0
  citedby: 0
  booktitle: "Proceedings of the 1st ACM SIGPLAN Symposium on Haskell, Haskell 2008, Victoria, BC, Canada, 25 September 2008"
  conference: "haskell"
  editor:
  - name: "Andy Gill"
    link: "http://www.ittc.ku.edu/~andygill/"
  publisher: "ACM"
  isbn: "978-1-60558-064-7"
  kind: "proceedings"
  key: "haskell-2008"
- title: "Implementation and Application of Functional Languages - 23rd International Symposium, IFL 2011, Lawrence, KS, USA, October 3-5, 2011, Revised Selected Papers"
  year: "2012"
  doi: "http://dx.doi.org/10.1007/978-3-642-34407-7"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-34407-7"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/ifl/2011"
  researchr: "https://researchr.org/publication/ifl-2011"
  cites: 0
  citedby: 0
  booktitle: "Implementation and Application of Functional Languages - 23rd International Symposium, IFL 2011, Lawrence, KS, USA, October 3-5, 2011, Revised Selected Papers"
  conference: "IFL"
  editor:
  - name: "Andy Gill"
    link: "http://www.ittc.ku.edu/~andygill/"
  - name: "Jurriaan Hage"
    link: "https://researchr.org/alias/jurriaan-hage"
  volume: "7257"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-34406-0"
  kind: "proceedings"
  key: "ifl-2011"
- title: "Practical Aspects of Declarative Languages, 11th International Symposium, PADL 2009, Savannah, GA, USA, January 19-20, 2009. Proceedings"
  year: "2009"
  doi: "http://dx.doi.org/10.1007/978-3-540-92995-6"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-92995-6"
  researchr: "https://researchr.org/publication/padl%3A2009"
  cites: 0
  citedby: 0
  booktitle: "Practical Aspects of Declarative Languages, 11th International Symposium, PADL 2009, Savannah, GA, USA, January 19-20, 2009. Proceedings"
  conference: "PADL"
  editor:
  - name: "Andy Gill"
    link: "http://www.ittc.ku.edu/~andygill/"
  - name: "Terrance Swift"
    link: "https://researchr.org/alias/terrance-swift"
  volume: "5418"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-92994-9"
  kind: "proceedings"
  key: "padl:2009"