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: "Trends in Functional Programming - 11th International Symposium, TFP 2010, Norman, OK, USA, May 17-19, 2010. Revised Selected Papers"
  editor:
  - name: "Rex L. Page"
    link: "https://researchr.org/alias/rex-l.-page"
  - name: "Zoltán Horváth"
    link: "https://researchr.org/alias/zolt%C3%A1n-horv%C3%A1th"
  - name: "Viktória Zsók"
    link: "https://researchr.org/alias/vikt%C3%B3ria-zs%C3%B3k"
  volume: "6546"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-22940-4"
  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: "Electronic Notes in Theoretical Computer Science"
  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: "Proceedings of the ACM SIGPLAN 2014 workshop on Partial evaluation and program manipulation, PEPM 2014, January 20-21, 2014, San Diego, California, USA"
  editor:
  - name: "Wei-Ngan Chin"
    link: "https://researchr.org/alias/wei-ngan-chin"
  - name: "Jurriaan Hage"
    link: "https://researchr.org/alias/jurriaan-hage"
  publisher: "ACM"
  isbn: "978-1-4503-2619-3"
  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: "ACM SIGPLAN International Conference on Functional Programming, ICFP'13, Boston, MA, USA - September 25 - 27, 2013"
  editor:
  - name: "Greg Morrisett"
    link: "https://researchr.org/alias/greg-morrisett"
  - name: "Tarmo Uustalu"
    link: "https://researchr.org/alias/tarmo-uustalu"
  publisher: "ACM"
  isbn: "978-1-4503-2326-0"
  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: "Practical Aspects of Declarative Languages - 14th International Symposium, PADL 2012, Philadelphia, PA, USA, January 23-24, 2012. Proceedings"
  editor:
  - name: "Claudio V. Russo"
    link: "https://researchr.org/alias/claudio-v.-russo"
  - name: "Neng-Fa Zhou"
    link: "https://researchr.org/alias/neng-fa-zhou"
  volume: "7149"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-27693-4"
  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: "Trends in Functional Programming - 11th International Symposium, TFP 2010, Norman, OK, USA, May 17-19, 2010. Revised Selected Papers"
  editor:
  - name: "Rex L. Page"
    link: "https://researchr.org/alias/rex-l.-page"
  - name: "Zoltán Horváth"
    link: "https://researchr.org/alias/zolt%C3%A1n-horv%C3%A1th"
  - name: "Viktória Zsók"
    link: "https://researchr.org/alias/vikt%C3%B3ria-zs%C3%B3k"
  volume: "6546"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-22940-4"
  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: "ACM 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: "Proceeding of the 16th ACM SIGPLAN international conference on Functional Programming, ICFP 2011, Tokyo, Japan, September 19-21, 2011"
  editor:
  - name: "Manuel M. T. Chakravarty"
    link: "https://researchr.org/alias/manuel-m.-t.-chakravarty"
  - name: "Zhenjiang Hu"
    link: "https://researchr.org/alias/zhenjiang-hu"
  - name: "Olivier Danvy"
    link: "https://www.yale-nus.edu.sg/about/faculty/olivier-danvy/"
  publisher: "ACM"
  isbn: "978-1-4503-0865-6"
  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: "Journal of Functional Programming"
  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: "Journal of Functional Programming"
  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: "Proceedings of the ACM SIGPLAN Workshop on Haskell, Haskell 2007, Freiburg, Germany, September 30, 2007"
  editor:
  - name: "Gabriele Keller"
    link: "https://researchr.org/alias/gabriele-keller"
  publisher: "ACM"
  isbn: "978-1-59593-674-5"
  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: "Mathematics of Program Construction, 9th International Conference, MPC 2008, Marseille, France, July 15-18, 2008. Proceedings"
  editor:
  - name: "Philippe Audebaud"
    link: "https://researchr.org/alias/philippe-audebaud"
  - name: "Christine Paulin-Mohring"
    link: "https://researchr.org/alias/christine-paulin-mohring"
  volume: "5133"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-70593-2"
  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: "Domain-Specific Languages, IFIP TC 2 Working Conference, DSL 2009, Oxford, UK, July 15-17, 2009, Proceedings"
  editor:
  - name: "Walid Mohamed Taha"
    link: "https://researchr.org/alias/walid-mohamed-taha"
  volume: "5658"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-03033-8"
  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: "Functional Programming, Glasgow 1992, Proceedings of the 1992 Glasgow Workshop on Functional Programming, Ayr, Scotland, 6-8 July 1992"
  editor:
  - name: "John Launchbury"
    link: "https://researchr.org/alias/john-launchbury"
  - name: "Patrick M. Sansom"
    link: "https://researchr.org/alias/patrick-m.-sansom"
  series: "Workshops in Computing"
  publisher: "Springer"
  isbn: "3-540-19820-2"
  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: "Proceedings of the 2nd ACM SIGPLAN Symposium on Haskell, Haskell 2009, Edinburgh, Scotland, UK, 3 September 2009"
  editor:
  - name: "Stephanie Weirich"
    link: "https://researchr.org/alias/stephanie-weirich"
  publisher: "ACM"
  isbn: "978-1-60558-508-6"
  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: "Trends in Functional Programming - 11th International Symposium, TFP 2010, Norman, OK, USA, May 17-19, 2010. Revised Selected Papers"
  editor:
  - name: "Rex L. Page"
    link: "https://researchr.org/alias/rex-l.-page"
  - name: "Zoltán Horváth"
    link: "https://researchr.org/alias/zolt%C3%A1n-horv%C3%A1th"
  - name: "Viktória Zsók"
    link: "https://researchr.org/alias/vikt%C3%B3ria-zs%C3%B3k"
  volume: "6546"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-22940-4"
  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: "Proceedings of the ACM SIGPLAN Workshop on ML"
  editor:
  - name: "Eijiro Sumii"
    link: "https://researchr.org/alias/eijiro-sumii"
  series: "ML'08"
  address: "New York, NY, USA"
  publisher: "Association for Computing Machinery"
  isbn: "978-1-60558-062-3"
  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: "Implementation and Application of Functional Languages - 24th International Symposium, IFL 2012, Oxford, UK, August 30 - September 1, 2012, Revised Selected Papers"
  editor:
  - name: "Ralf Hinze"
    link: "https://researchr.org/alias/ralf-hinze"
  volume: "8241"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-41581-4"
  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: "Functional Programming, Glasgow 1995"
  editor:
  - name: "David N. Turner"
    link: "https://researchr.org/alias/david-n.-turner"
  series: "Workshops in Computing"
  publisher: "Springer"
  isbn: "3-540-14580-X"
  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: "Practical Aspects of Declarative Languages - 16th International Symposium, PADL 2014, San Diego, CA, USA, January 20-21, 2014. Proceedings"
  editor:
  - name: "Matthew Flatt"
    link: "http://www.cs.utah.edu/~mflatt/"
  - name: "Hai-Feng Guo"
    link: "https://researchr.org/alias/hai-feng-guo"
  volume: "8324"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-319-04131-5"
  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: "IEEE 19th Annual International Symposium on Field-Programmable Custom Computing Machines, FCCM 2011, Salt Lake City, Utah, USA, 1-3 May 2011"
  editor:
  - name: "Paul Chow"
    link: "https://researchr.org/alias/paul-chow"
  - name: "Michael J. Wirthlin"
    link: "https://researchr.org/alias/michael-j.-wirthlin"
  publisher: "IEEE Computer Society"
  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: "Proceedings of the ACM SIGPLAN Workshop on Haskell, Haskell 2006, Portland, Oregon, USA, September 17, 2006"
  editor:
  - name: "Andres Löh"
    link: "http://people.cs.uu.nl/andres/"
  publisher: "ACM"
  isbn: "1-59593-489-8"
  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: "Proceedings of the ACM SIGPLAN Workshop on Haskell, Haskell 2007, Freiburg, Germany, September 30, 2007"
  editor:
  - name: "Gabriele Keller"
    link: "https://researchr.org/alias/gabriele-keller"
  publisher: "ACM"
  isbn: "978-1-59593-674-5"
  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: "Proceedings IEEE International Test Conference 2001, Baltimore, MD, USA, 30 October - 1 November 2001"
  publisher: "IEEE Computer Society"
  isbn: "0-7803-7169-0"
  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: "Proceedings of the 5th ACM SIGPLAN Symposium on Haskell, Haskell 2012, Copenhagen, Denmark, 13 September 2012"
  editor:
  - name: "Janis Voigtländer"
    link: "http://www.iai.uni-bonn.de/~jv/"
  publisher: "ACM"
  isbn: "978-1-4503-1574-6"
  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"