publications:
- title: "Projections for Polymorphic First-Order Strictness Analysis"
  author:
  - name: "John Hughes"
    link: "http://www.cse.chalmers.se/~rjmh"
  - name: "John Launchbury"
    link: "https://researchr.org/alias/john-launchbury"
  year: "1992"
  tags:
  - "analysis"
  researchr: "https://researchr.org/publication/HughesL92%3A1"
  cites: 0
  citedby: 0
  journal: "Mathematical Structures in Computer Science"
  volume: "2"
  number: "3"
  pages: "301-326"
  kind: "article"
  key: "HughesL92:1"
- title: "A Novel Representation of Lists and its Application to the Function  reverse "
  author:
  - name: "John Hughes"
    link: "http://www.cse.chalmers.se/~rjmh"
  year: "1986"
  researchr: "https://researchr.org/publication/Hughes86"
  cites: 0
  citedby: 0
  journal: "Inf. Process. Lett."
  volume: "22"
  number: "3"
  pages: "141-144"
  kind: "article"
  key: "Hughes86"
- title: "Accelerating race condition detection through procrastination"
  author:
  - name: "Thomas Arts"
    link: "https://researchr.org/alias/thomas-arts"
  - name: "John Hughes"
    link: "http://www.cse.chalmers.se/~rjmh"
  - name: "Ulf Norell"
    link: "https://researchr.org/alias/ulf-norell"
  - name: "Nicholas Smallbone"
    link: "https://researchr.org/alias/nicholas-smallbone"
  - name: "Hans Svensson"
    link: "https://researchr.org/alias/hans-svensson"
  year: "2011"
  doi: "http://doi.acm.org/10.1145/2034654.2034659"
  links:
    doi: "http://doi.acm.org/10.1145/2034654.2034659"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/erlang/ArtsHNSS11"
  researchr: "https://researchr.org/publication/ArtsHNSS11"
  cites: 0
  citedby: 0
  pages: "14-22"
  booktitle: "Proceedings of the 10th ACM SIGPLAN workshop on Erlang, Tokyo, Japan, September 23, 2011"
  editor:
  - name: "Kenji Rikitake"
    link: "https://researchr.org/alias/kenji-rikitake"
  - name: "Erik Stenman"
    link: "https://researchr.org/alias/erik-stenman"
  publisher: "ACM"
  isbn: "978-1-4503-0859-5"
  kind: "inproceedings"
  key: "ArtsHNSS11"
- title: "Testing an optimising compiler by generating random lambda terms"
  author:
  - name: "Michal H. Palka"
    link: "http://www.chalmers.se/cse/EN/people/palka-michal"
  - name: "Koen Claessen"
    link: "http://www.cse.chalmers.se/~koen/"
  - name: "Russo, Alejandro"
    link: "https://researchr.org/alias/russo%2C-alejandro"
  - name: "John Hughes"
    link: "http://www.cse.chalmers.se/~rjmh"
  year: "2011"
  doi: "http://dl.acm.org/citation.cfm?id=1982615"
  abstract: "This paper considers random testing of a compiler, using randomly generated programs as inputs, and comparing their behaviour with and without optimisation. Since the generated programs must compile, then we need to take into account syntax, scope rules, and type checking during our random generation. Doing so, while attaining a good distribution of test data, proves surprisingly subtle; the main contribution of this paper is a workable solution to this problem. We used it to generate typed functions on lists, which we compiled using the Glasgow Haskell compiler, a mature production quality Haskell compiler. After around 20,000 tests we triggered an optimiser failure, and automatically simplified it to a program with just a few constructs."
  links:
    doi: "http://dl.acm.org/citation.cfm?id=1982615"
  tags:
  - "rule-based"
  - "testing"
  - "Haskell"
  - "data-flow programming"
  - "data-flow"
  - "rules"
  - "type checking"
  - "random testing"
  - "compiler"
  researchr: "https://researchr.org/publication/PalkaAST2011"
  cites: 0
  citedby: 0
  pages: "91-97"
  booktitle: "Proceedings of the 6th International Workshop on Automation of Software Test"
  series: "AST '11"
  address: "New York, NY, USA"
  publisher: "ACM"
  isbn: "978-1-4503-0592-1"
  kind: "inproceedings"
  key: "PalkaAST2011"
- title: "Implementing Projection-based Strictness Analysis"
  author:
  - name: "Ryszard Kubiak"
    link: "https://researchr.org/alias/ryszard-kubiak"
  - name: "John Hughes"
    link: "http://www.cse.chalmers.se/~rjmh"
  - name: "John Launchbury"
    link: "https://researchr.org/alias/john-launchbury"
  year: "1991"
  tags:
  - "rule-based"
  - "analysis"
  researchr: "https://researchr.org/publication/KubiakHL91"
  cites: 0
  citedby: 0
  pages: "207-224"
  booktitle: "Functional Programming, Glasgow 1991, Proceedings of the 1991 Glasgow Workshop on Functional Programming, Portree, Isle of Skye, 12-14 August 1991"
  editor:
  - name: "Rogardt Heldal"
    link: "https://researchr.org/alias/rogardt-heldal"
  - name: "Carsten Kehler Holst"
    link: "https://researchr.org/alias/carsten-kehler-holst"
  - name: "Philip Wadler"
    link: "http://homepages.inf.ed.ac.uk/wadler/"
  series: "Workshops in Computing"
  publisher: "Springer"
  isbn: "3-540-19760-5"
  kind: "inproceedings"
  key: "KubiakHL91"
- title: "04381 Abstracts Collection - Dependently Typed Programming"
  author:
  - name: "Thorsten Altenkirch"
    link: "https://researchr.org/alias/thorsten-altenkirch"
  - name: "Martin Hofmann 0001"
    link: "https://researchr.org/alias/martin-hofmann-0001"
  - name: "John Hughes"
    link: "http://www.cse.chalmers.se/~rjmh"
  year: "2004"
  doi: "http://drops.dagstuhl.de/opus/volltexte/2005/186/"
  links:
    doi: "http://drops.dagstuhl.de/opus/volltexte/2005/186/"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/dagstuhl/Altenkirch0H04"
  researchr: "https://researchr.org/publication/Altenkirch0H04"
  cites: 0
  citedby: 0
  booktitle: "Dependently Typed Programming, 12.09. - 17.09.2004"
  editor:
  - name: "Thorsten Altenkirch"
    link: "https://researchr.org/alias/thorsten-altenkirch"
  - name: "Martin Hofmann 0001"
    link: "https://researchr.org/alias/martin-hofmann-0001"
  - name: "John Hughes"
    link: "http://www.cse.chalmers.se/~rjmh"
  volume: "04381"
  series: "Dagstuhl Seminar Proceedings"
  publisher: "Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany"
  kind: "inproceedings"
  key: "Altenkirch0H04"
- title: "Integrating art and technology in a statewide curriculum"
  author:
  - name: "Taylor Gutermute"
    link: "https://researchr.org/alias/taylor-gutermute"
  - name: "Lynn Hickey"
    link: "https://researchr.org/alias/lynn-hickey"
  - name: "John Hughes"
    link: "http://www.cse.chalmers.se/~rjmh"
  - name: "Alan Warhaftig"
    link: "https://researchr.org/alias/alan-warhaftig"
  year: "1999"
  doi: "http://doi.acm.org/10.1145/311625.311688"
  links:
    doi: "http://doi.acm.org/10.1145/311625.311688"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/siggraph/GutermuteHHW99"
  researchr: "https://researchr.org/publication/GutermuteHHW99"
  cites: 0
  citedby: 0
  pages: "68-69"
  booktitle: "Proceedings of the 26th Annual Conference on Computer Graphics and Interactive Techniques, SIGGRAPH 1999, Los Angeles, CA, USA, August 8-13, 1999, Abstracts and Applications"
  editor:
  - name: "Jodi Giroux"
    link: "https://researchr.org/alias/jodi-giroux"
  - name: "Anne Richardson"
    link: "https://researchr.org/alias/anne-richardson"
  - name: "Jill Smolin"
    link: "https://researchr.org/alias/jill-smolin"
  publisher: "ACM"
  isbn: "1-58113-103-8"
  kind: "inproceedings"
  key: "GutermuteHHW99"
- title: "Testing and Tracing Lazy Functional Programs Using QuickCheck and Hat"
  author:
  - name: "Koen Claessen"
    link: "http://www.cse.chalmers.se/~koen/"
  - name: "Colin Runciman"
    link: "https://researchr.org/alias/colin-runciman"
  - name: "Olaf Chitil"
    link: "https://researchr.org/alias/olaf-chitil"
  - name: "John Hughes"
    link: "http://www.cse.chalmers.se/~rjmh"
  - name: "Malcolm Wallace"
    link: "https://researchr.org/alias/malcolm-wallace"
  year: "2002"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2638&spage=59"
  links:
    doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2638&spage=59"
  tags:
  - "laziness"
  - "functional programming"
  - "testing"
  - "QuickCheck"
  researchr: "https://researchr.org/publication/ClaessenRCHW02"
  cites: 0
  citedby: 0
  pages: "59-99"
  booktitle: "Advanced Functional Programming, 4th International School, AFP 2002, Oxford, UK, August 19-24, 2002, Revised Lectures"
  editor:
  - name: "Johan  Jeuring"
    link: "http://people.cs.uu.nl/johanj/"
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  volume: "2638"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-40132-6"
  kind: "inproceedings"
  key: "ClaessenRCHW02"
- title: "tutorial talk"
  author:
  - name: "John Hughes"
    link: "http://www.cse.chalmers.se/~rjmh"
  year: "2011"
  doi: "http://dl.acm.org/citation.cfm?id=2157659"
  links:
    doi: "http://dl.acm.org/citation.cfm?id=2157659"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/fmcad/Hughes11"
  researchr: "https://researchr.org/publication/Hughes11-1"
  cites: 0
  citedby: 0
  pages: "17"
  booktitle: "International Conference on Formal Methods in Computer-Aided Design, FMCAD '11, Austin, TX, USA, October 30 - November 02, 2011"
  editor:
  - name: "Per Bjesse"
    link: "https://researchr.org/alias/per-bjesse"
  - name: "Anna Slobodová"
    link: "https://researchr.org/alias/anna-slobodov%C3%A1"
  publisher: "FMCAD Inc."
  isbn: "978-0-9835678-1-3"
  kind: "inproceedings"
  key: "Hughes11-1"
- title: "Automatic Grading of Programming Exercises using Property-Based Testing"
  author:
  - name: "Clara Benac Earle"
    link: "https://researchr.org/alias/clara-benac-earle"
  - name: "Lars-Åke Fredlund"
    link: "https://researchr.org/alias/lars-%C3%A5ke-fredlund"
  - name: "John Hughes"
    link: "http://www.cse.chalmers.se/~rjmh"
  year: "2016"
  doi: "http://doi.acm.org/10.1145/2899415.2899443"
  links:
    doi: "http://doi.acm.org/10.1145/2899415.2899443"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/iticse/EarleFH16"
  researchr: "https://researchr.org/publication/EarleFH16"
  cites: 0
  citedby: 0
  pages: "47-52"
  booktitle: "Proceedings of the 2016 ACM Conference on Innovation and Technology in Computer Science Education, ITiCSE 2016, Arequipa, Peru, July 9-13, 2016"
  editor:
  - name: "Alison Clear"
    link: "https://researchr.org/alias/alison-clear"
  - name: "Ernesto Cuadros-Vargas"
    link: "https://researchr.org/alias/ernesto-cuadros-vargas"
  - name: "Janet Carter"
    link: "https://researchr.org/alias/janet-carter"
  - name: "Yvan Tupac"
    link: "https://researchr.org/alias/yvan-tupac"
  publisher: "ACM"
  isbn: "978-1-4503-4231-5"
  kind: "inproceedings"
  key: "EarleFH16"
- title: "Testing noninterference, quickly"
  author:
  - name: "Catalin Hritcu"
    link: "https://researchr.org/alias/catalin-hritcu"
  - name: "John Hughes"
    link: "http://www.cse.chalmers.se/~rjmh"
  - name: "Benjamin C. Pierce"
    link: "http://www.cis.upenn.edu/~bcpierce/"
  - name: "Antal Spector-Zabusky"
    link: "https://researchr.org/alias/antal-spector-zabusky"
  - name: "Dimitrios Vytiniotis"
    link: "https://researchr.org/alias/dimitrios-vytiniotis"
  - name: "Arthur Azevedo de Amorim"
    link: "https://researchr.org/alias/arthur-azevedo-de-amorim"
  - name: "Leonidas Lampropoulos"
    link: "https://researchr.org/alias/leonidas-lampropoulos"
  year: "2013"
  doi: "http://doi.acm.org/10.1145/2500365.2500574"
  links:
    doi: "http://doi.acm.org/10.1145/2500365.2500574"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/icfp/HritcuHPSVAL13"
  researchr: "https://researchr.org/publication/HritcuHPSVAL13"
  cites: 0
  citedby: 0
  pages: "455-468"
  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: "HritcuHPSVAL13"
- title: "A history of Haskell: being lazy with class"
  author:
  - name: "Paul Hudak"
    link: "https://researchr.org/alias/paul-hudak"
  - name: "John Hughes"
    link: "http://www.cse.chalmers.se/~rjmh"
  - 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: "2007"
  doi: "http://doi.acm.org/10.1145/1238844.1238856"
  links:
    doi: "http://doi.acm.org/10.1145/1238844.1238856"
  tags:
  - "laziness"
  - "Haskell"
  - "history"
  researchr: "https://researchr.org/publication/HudakHJW07"
  cites: 0
  citedby: 0
  pages: "1-55"
  booktitle: "Proceedings of the Third ACM SIGPLAN History of Programming Languages Conference (HOPL-III), San Diego, California, USA, 9-10 June 2007"
  editor:
  - name: "Barbara G. Ryder"
    link: "https://researchr.org/alias/barbara-g.-ryder"
  - name: "Brent Hailpern"
    link: "https://researchr.org/alias/brent-hailpern"
  publisher: "ACM"
  kind: "inproceedings"
  key: "HudakHJW07"
- title: "Proving the Correctness of Reactive Systems Using Sized Types"
  author:
  - name: "John Hughes"
    link: "http://www.cse.chalmers.se/~rjmh"
  - name: "Lars Pareto"
    link: "https://researchr.org/alias/lars-pareto"
  - name: "Amr Sabry"
    link: "https://researchr.org/alias/amr-sabry"
  year: "1996"
  doi: "http://doi.acm.org/10.1145/237721.240882"
  links:
    doi: "http://doi.acm.org/10.1145/237721.240882"
  tags:
  - "type system"
  researchr: "https://researchr.org/publication/HughesPS96"
  cites: 0
  citedby: 0
  pages: "410-423"
  booktitle: "POPL"
  kind: "inproceedings"
  key: "HughesPS96"
- title: "The Design of a Pretty-printing Library"
  author:
  - name: "John Hughes"
    link: "http://www.cse.chalmers.se/~rjmh"
  year: "1995"
  tags:
  - "design"
  researchr: "https://researchr.org/publication/Hughes95-PP"
  cites: 0
  citedby: 0
  pages: "53-96"
  booktitle: "Advanced Functional Programming, First International Spring School on Advanced Functional Programming Techniques, Båstad, Sweden, May 24-30, 1995, Tutorial Text"
  editor:
  - name: "Johan  Jeuring"
    link: "http://people.cs.uu.nl/johanj/"
  - name: "Erik Meijer"
    link: "https://researchr.org/alias/erik-meijer"
  volume: "925"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-59451-5"
  kind: "inproceedings"
  key: "Hughes95-PP"
- title: "Closing Internal Timing Channels by Transformation"
  author:
  - name: "Alejandro Russo"
    link: "https://researchr.org/alias/alejandro-russo"
  - name: "John Hughes"
    link: "http://www.cse.chalmers.se/~rjmh"
  - name: "David A. Naumann"
    link: "https://researchr.org/alias/david-a.-naumann"
  - name: "Andrei Sabelfeld"
    link: "https://researchr.org/alias/andrei-sabelfeld"
  year: "2006"
  doi: "http://dx.doi.org/10.1007/978-3-540-77505-8_10"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-77505-8_10"
  tags:
  - "transformation"
  researchr: "https://researchr.org/publication/RussoHNS06"
  cites: 0
  citedby: 0
  pages: "120-135"
  booktitle: "Advances in Computer Science - ASIAN 2006. Secure Software and Related Issues, 11th Asian Computing Science Conference, Tokyo, Japan, December 6-8, 2006, Revised Selected Papers"
  editor:
  - name: "Mitsu Okada"
    link: "https://researchr.org/alias/mitsu-okada"
  - name: "Ichiro Satoh"
    link: "https://researchr.org/alias/ichiro-satoh"
  volume: "4435"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-77504-1"
  kind: "inproceedings"
  key: "RussoHNS06"
- title: "Abstract Interpretation of Polymorphic Functions"
  author:
  - name: "Gebreselassie Baraki"
    link: "https://researchr.org/alias/gebreselassie-baraki"
  - name: "John Hughes"
    link: "http://www.cse.chalmers.se/~rjmh"
  year: "1989"
  researchr: "https://researchr.org/publication/BarakiH89"
  cites: 0
  citedby: 0
  pages: "31-40"
  booktitle: "Functional Programming, Proceedings of the 1989 Glasgow Workshop, 21-23 August 1989, Fraserburgh, Scotland, UK"
  editor:
  - name: "Kei Davis"
    link: "https://researchr.org/alias/kei-davis"
  - name: "John Hughes"
    link: "http://www.cse.chalmers.se/~rjmh"
  series: "Workshops in Computing"
  publisher: "Springer"
  isbn: "3-540-19609-9"
  kind: "inproceedings"
  key: "BarakiH89"
- title: "Testing an optimising compiler by generating random lambda terms"
  author:
  - name: "Michal H. Palka"
    link: "https://researchr.org/alias/michal-h.-palka"
  - name: "Koen Claessen"
    link: "http://www.cse.chalmers.se/~koen/"
  - name: "Alejandro Russo"
    link: "https://researchr.org/alias/alejandro-russo"
  - name: "John Hughes"
    link: "http://www.cse.chalmers.se/~rjmh"
  year: "2011"
  doi: "http://doi.acm.org/10.1145/1982595.1982615"
  links:
    doi: "http://doi.acm.org/10.1145/1982595.1982615"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/icse/PalkaCRH11"
  researchr: "https://researchr.org/publication/PalkaCRH11"
  cites: 0
  citedby: 0
  pages: "91-97"
  booktitle: "Proceedings of the 6th International Workshop on Automation of Software Test, AST 2011, Waikiki, Honolulu, HI, USA, May 23-24, 2011"
  editor:
  - name: "Antonia Bertolino"
    link: "https://researchr.org/alias/antonia-bertolino"
  - name: "Howard Foster"
    link: "https://researchr.org/alias/howard-foster"
  - name: "J. Jenny Li"
    link: "https://researchr.org/alias/j.-jenny-li"
  publisher: "ACM"
  isbn: "978-1-4503-0592-1"
  kind: "inproceedings"
  key: "PalkaCRH11"
- title: "Reversing Abstract Interpretations"
  author:
  - name: "John Hughes"
    link: "http://www.cse.chalmers.se/~rjmh"
  - name: "John Launchbury"
    link: "https://researchr.org/alias/john-launchbury"
  year: "1994"
  researchr: "https://researchr.org/publication/HughesL94"
  cites: 0
  citedby: 0
  journal: "Science of Computer Programming"
  volume: "22"
  number: "3"
  pages: "307-326"
  kind: "article"
  key: "HughesL94"
- title: "Principal type specialisation"
  author:
  - name: "Pablo E. Martínez López"
    link: "https://researchr.org/alias/pablo-e.-mart%C3%ADnez-l%C3%B3pez"
  - name: "John Hughes"
    link: "http://www.cse.chalmers.se/~rjmh"
  year: "2002"
  doi: "http://doi.acm.org/10.1145/568173.568184"
  links:
    doi: "http://doi.acm.org/10.1145/568173.568184"
  tags:
  - "e-science"
  researchr: "https://researchr.org/publication/LopezH02"
  cites: 0
  citedby: 0
  pages: "94-105"
  booktitle: "ASIA-PEPM"
  kind: "inproceedings"
  key: "LopezH02"
- title: "Transport of quantum states and separation of ions in a dual RF ion trap"
  author:
  - name: "M. A. Rowej"
    link: "https://researchr.org/alias/m.-a.-rowej"
  - name: "Amit Ben-Kish"
    link: "https://researchr.org/alias/amit-ben-kish"
  - name: "Brian Demarco"
    link: "https://researchr.org/alias/brian-demarco"
  - name: "Dietrich Leibfried"
    link: "https://researchr.org/alias/dietrich-leibfried"
  - name: "Volker Meyer"
    link: "https://researchr.org/alias/volker-meyer"
  - name: "Jim Beall"
    link: "https://researchr.org/alias/jim-beall"
  - name: "Joe Britton"
    link: "https://researchr.org/alias/joe-britton"
  - name: "John Hughes"
    link: "http://www.cse.chalmers.se/~rjmh"
  - name: "Wayne M. Itano"
    link: "https://researchr.org/alias/wayne-m.-itano"
  - name: "Brana Jelenkovic"
    link: "https://researchr.org/alias/brana-jelenkovic"
  - name: "Chris Langer"
    link: "https://researchr.org/alias/chris-langer"
  - name: "Till Rosenband"
    link: "https://researchr.org/alias/till-rosenband"
  - name: "David J. Wineland"
    link: "https://researchr.org/alias/david-j.-wineland"
  year: "2002"
  doi: "http://portal.acm.org/citation.cfm?id=2011478"
  links:
    doi: "http://portal.acm.org/citation.cfm?id=2011478"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/qic/RowejBDLMBBHIJLRW02"
  researchr: "https://researchr.org/publication/RowejBDLMBBHIJLRW02"
  cites: 0
  citedby: 0
  journal: "Quantum Information & Computation"
  volume: "2"
  number: "4"
  pages: "257-271"
  kind: "article"
  key: "RowejBDLMBBHIJLRW02"
- title: "Autonomic Resilient Cloud Management (ARCM) Design and Evaluation"
  author:
  - name: "Cihan Tunc"
    link: "https://researchr.org/alias/cihan-tunc"
  - name: "Farah Fargo"
    link: "https://researchr.org/alias/farah-fargo"
  - name: "Youssif B. Al-Nashif"
    link: "https://researchr.org/alias/youssif-b.-al-nashif"
  - name: "Salim Hariri"
    link: "https://researchr.org/alias/salim-hariri"
  - name: "John Hughes"
    link: "http://www.cse.chalmers.se/~rjmh"
  year: "2014"
  doi: "http://doi.ieeecomputersociety.org/10.1109/ICCAC.2014.35"
  links:
    doi: "http://doi.ieeecomputersociety.org/10.1109/ICCAC.2014.35"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/iccac/TuncFAHH14"
  researchr: "https://researchr.org/publication/TuncFAHH14"
  cites: 0
  citedby: 0
  pages: "44-49"
  booktitle: "2014 International Conference on Cloud and Autonomic Computing, London, United Kingdom, September 8-12, 2014"
  publisher: "IEEE Computer Society"
  isbn: "978-1-4799-5841-2"
  kind: "inproceedings"
  key: "TuncFAHH14"
- title: "Tag Elimination and Jones-Optimality"
  author:
  - name: "Walid Taha"
    link: "http://www.cs.rice.edu/~taha/"
  - name: "Henning Makholm"
    link: "https://researchr.org/alias/henning-makholm"
  - name: "John Hughes"
    link: "http://www.cse.chalmers.se/~rjmh"
  year: "2001"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2053/20530257.htm"
  abstract: "Tag elimination is a program transformation for removing unnecessary tagging and untagging operations from automatically generated programs. Tag elimination was recently proposed as having immediate applications in implementations of domain specific languages (where it can give a two-fold speedup), and may provide a solution to the long standing problem of Jones-optimal specialization in the typed setting. This paper explains in more detail the role of tag elimination in the implementation of domain-specific languages, presents a number of significant simplifications and a high-level, higher-order, typed self-applicable interpreter. We show how tag elimination achieves Jones-optimality."
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/2053/20530257.htm"
  tags:
  - "programming languages"
  - "interpreter"
  - "tagging"
  - "transformation language"
  - "Jones-Optimality"
  - "partial evaluation"
  - "higher-order transformations"
  - "transformation"
  - "program transformation"
  - "domain-specific language"
  researchr: "https://researchr.org/publication/TahaMH01"
  cites: 0
  citedby: 0
  pages: "257-275"
  booktitle: "Programs as Data Objects, Second Symposium, PADO 2001, Aarhus, Denmark, May 21-23, 2001, Proceedings"
  editor:
  - name: "Olivier Danvy"
    link: "https://www.yale-nus.edu.sg/about/faculty/olivier-danvy/"
  - name: "Andrzej Filinski"
    link: "https://researchr.org/alias/andrzej-filinski"
  volume: "2053"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-42068-1"
  kind: "inproceedings"
  key: "TahaMH01"
- title: "Relational Reversal of Abstract Interpretation"
  author:
  - name: "John Hughes"
    link: "http://www.cse.chalmers.se/~rjmh"
  - name: "John Launchbury"
    link: "https://researchr.org/alias/john-launchbury"
  year: "1992"
  researchr: "https://researchr.org/publication/HughesL92"
  cites: 0
  citedby: 0
  journal: "Journal of Logic and Computation"
  volume: "2"
  number: "4"
  pages: "465-482"
  kind: "article"
  key: "HughesL92"
- title: "Strictness detection in non-flat domains"
  author:
  - name: "John Hughes"
    link: "http://www.cse.chalmers.se/~rjmh"
  year: "1985"
  researchr: "https://researchr.org/publication/Hughes85%3A0"
  cites: 0
  citedby: 0
  pages: "112-135"
  booktitle: "Programs as Data Objects, Proceedings of a Workshop, Copenhagen, Denmark, October 17-19, 1985"
  editor:
  - name: "Harald Ganzinger"
    link: "https://researchr.org/alias/harald-ganzinger"
  - name: "Neil D. Jones"
    link: "http://www.diku.dk/hjemmesider/ansatte/neil/"
  volume: "217"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-16446-4"
  kind: "inproceedings"
  key: "Hughes85:0"
- title: "Experiences from teaching functional programming at Chalmers"
  author:
  - name: "John Hughes"
    link: "http://www.cse.chalmers.se/~rjmh"
  year: "2008"
  doi: "http://doi.acm.org/10.1145/1480828.1480845"
  links:
    doi: "http://doi.acm.org/10.1145/1480828.1480845"
  tags:
  - "functional programming"
  - "teaching"
  - "programming"
  researchr: "https://researchr.org/publication/Hughes08%3A0"
  cites: 0
  citedby: 0
  journal: "SIGPLAN Notices"
  volume: "43"
  number: "11"
  pages: "77-80"
  kind: "article"
  key: "Hughes08:0"
- title: "Lazy Memo-functions"
  author:
  - name: "John Hughes"
    link: "http://www.cse.chalmers.se/~rjmh"
  year: "1985"
  tags:
  - "laziness"
  researchr: "https://researchr.org/publication/Hughes85"
  cites: 0
  citedby: 0
  pages: "129-146"
  booktitle: "Functional Programming Languages and Computer Architecture"
  volume: "201"
  series: "Lecture Notes in Computer Science"
  address: "Nancy, France"
  publisher: "Springer-Verlag"
  kind: "inproceedings"
  key: "Hughes85"
- title: "Certificate inter-operability - white paper"
  author:
  - name: "John Hughes"
    link: "http://www.cse.chalmers.se/~rjmh"
  year: "1999"
  doi: "http://dx.doi.org/10.1016/S0167-4048(99)80067-4"
  links:
    doi: "http://dx.doi.org/10.1016/S0167-4048(99)80067-4"
  tags:
  - "certification"
  researchr: "https://researchr.org/publication/Hughes99%3A1"
  cites: 0
  citedby: 0
  journal: "Computers & Security"
  volume: "18"
  number: "3"
  pages: "221-230"
  kind: "article"
  key: "Hughes99:1"
- title: "Module-Sensitive Program Specialisation"
  author:
  - name: "Dirk Dussart"
    link: "https://researchr.org/alias/dirk-dussart"
  - name: "Rogardt Heldal"
    link: "https://researchr.org/alias/rogardt-heldal"
  - name: "John Hughes"
    link: "http://www.cse.chalmers.se/~rjmh"
  year: "1997"
  researchr: "https://researchr.org/publication/DussartHH97"
  cites: 0
  citedby: 0
  pages: "206-214"
  booktitle: "PLDI"
  kind: "inproceedings"
  key: "DussartHH97"
- title: "Why Functional Programming Matters"
  author:
  - name: "John Hughes"
    link: "http://www.cse.chalmers.se/~rjmh"
  year: "1989"
  tags:
  - "functional programming"
  - "programming"
  researchr: "https://researchr.org/publication/Hughes89%3A0"
  cites: 0
  citedby: 0
  journal: "Comput. J."
  volume: "32"
  number: "2"
  pages: "98-107"
  kind: "article"
  key: "Hughes89:0"
- title: "Reversing Abstract Interpretations"
  author:
  - name: "John Hughes"
    link: "http://www.cse.chalmers.se/~rjmh"
  - name: "John Launchbury"
    link: "https://researchr.org/alias/john-launchbury"
  year: "1992"
  researchr: "https://researchr.org/publication/HughesL92%3A0"
  cites: 0
  citedby: 0
  pages: "269-286"
  booktitle: "ESOP  92, 4th European Symposium on Programming, Rennes, France, February 26-28, 1992, Proceedings"
  editor:
  - name: "Bernd Krieg-Brückner"
    link: "https://researchr.org/alias/bernd-krieg-br%C3%BCckner"
  volume: "582"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-55253-7"
  kind: "inproceedings"
  key: "HughesL92:0"
- title: "A Distributed Garbage Collection Algorithm"
  author:
  - name: "John Hughes"
    link: "http://www.cse.chalmers.se/~rjmh"
  year: "1985"
  researchr: "https://researchr.org/publication/Hughes85a"
  cites: 0
  citedby: 0
  pages: "256-271"
  booktitle: "Functional Programming Languages and Computer Architecture"
  volume: "201"
  series: "Lecture Notes in Computer Science"
  address: "Nancy, France"
  publisher: "Springer-Verlag"
  kind: "inproceedings"
  key: "Hughes85a"
- title: "The Automated Evaluation of Inferred Word Classifications"
  author:
  - name: "John Hughes"
    link: "http://www.cse.chalmers.se/~rjmh"
  - name: "Eric Atwell"
    link: "https://researchr.org/alias/eric-atwell"
  year: "1994"
  tags:
  - "classification"
  researchr: "https://researchr.org/publication/HughesA94"
  cites: 0
  citedby: 0
  pages: "535-539"
  booktitle: "ECAI"
  kind: "inproceedings"
  key: "HughesA94"
- title: "Testing monadic code with QuickCheck"
  author:
  - name: "Koen Claessen"
    link: "http://www.cse.chalmers.se/~koen/"
  - name: "John Hughes"
    link: "http://www.cse.chalmers.se/~rjmh"
  year: "2002"
  doi: "http://doi.acm.org/10.1145/636517.636527"
  links:
    doi: "http://doi.acm.org/10.1145/636517.636527"
  tags:
  - "testing"
  - "QuickCheck"
  researchr: "https://researchr.org/publication/ClaessenH02"
  cites: 0
  citedby: 0
  journal: "SIGPLAN Notices"
  volume: "37"
  number: "12"
  pages: "47-59"
  kind: "article"
  key: "ClaessenH02"
- title: "Graphical editing support for QuickCheck models"
  author:
  - name: "Thomas Arts"
    link: "https://researchr.org/alias/thomas-arts"
  - name: "Kirill Bogdanov"
    link: "https://researchr.org/alias/kirill-bogdanov"
  - name: "Alex Gerdes"
    link: "https://researchr.org/alias/alex-gerdes"
  - name: "John Hughes"
    link: "http://www.cse.chalmers.se/~rjmh"
  year: "2015"
  doi: "http://dx.doi.org/10.1109/ICSTW.2015.7107473"
  links:
    doi: "http://dx.doi.org/10.1109/ICSTW.2015.7107473"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/icst/ArtsBGH15"
  researchr: "https://researchr.org/publication/ArtsBGH15"
  cites: 0
  citedby: 0
  pages: "1-6"
  booktitle: "Eighth IEEE International Conference on Software Testing, Verification and Validation, ICST 2015 Workshops, Graz, Austria, April 13-17, 2015"
  publisher: "IEEE Computer Society"
  isbn: "978-1-4799-1885-0"
  kind: "inproceedings"
  key: "ArtsBGH15"
- title: "QuickSpec: Guessing Formal Specifications Using Testing"
  author:
  - name: "Koen Claessen"
    link: "http://www.cse.chalmers.se/~koen/"
  - name: "Nicholas Smallbone"
    link: "https://researchr.org/alias/nicholas-smallbone"
  - name: "John Hughes"
    link: "http://www.cse.chalmers.se/~rjmh"
  year: "2010"
  doi: "http://dx.doi.org/10.1007/978-3-642-13977-2_3"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-13977-2_3"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/tap/ClaessenSH10"
  tags:
  - "testing"
  researchr: "https://researchr.org/publication/ClaessenSH10"
  cites: 0
  citedby: 0
  pages: "6-21"
  booktitle: "Tests and Proofs, 4th International Conference, TAP 2010, Málaga, Spain, July 1-2, 2010. Proceedings"
  editor:
  - name: "Gordon Fraser"
    link: "https://researchr.org/alias/gordon-fraser"
  - name: "Angelo Gargantini"
    link: "https://researchr.org/alias/angelo-gargantini"
  volume: "6143"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-13976-5"
  kind: "inproceedings"
  key: "ClaessenSH10"
- title: "Testing Erlang data types with quviq quickcheck"
  author:
  - name: "Thomas Arts"
    link: "https://researchr.org/alias/thomas-arts"
  - name: "Laura M. Castro"
    link: "https://researchr.org/alias/laura-m.-castro"
  - name: "John Hughes"
    link: "http://www.cse.chalmers.se/~rjmh"
  year: "2008"
  doi: "http://doi.acm.org/10.1145/1411273.1411275"
  links:
    doi: "http://doi.acm.org/10.1145/1411273.1411275"
  tags:
  - "testing"
  - "data-flow"
  - "QuickCheck"
  researchr: "https://researchr.org/publication/ArtsCH08"
  cites: 0
  citedby: 0
  pages: "1-8"
  booktitle: "Proceedings of the 7th ACM SIGPLAN workshop on ERLANG, Victoria, BC, Canada, September 27, 2008"
  editor:
  - name: "Soon Tee Teoh"
    link: "https://researchr.org/alias/soon-tee-teoh"
  - name: "Zoltán Horváth"
    link: "https://researchr.org/alias/zolt%C3%A3%C2%A1n-horv%C3%A3%C2%A1th"
  publisher: "ACM"
  isbn: "978-1-60558-065-4"
  kind: "inproceedings"
  key: "ArtsCH08"
- title: "Making Random Judgments: Automatically Generating Well-Typed Terms from the Definition of a Type-System"
  author:
  - name: "Burke Fetscher"
    link: "https://researchr.org/alias/burke-fetscher"
  - name: "Koen Claessen"
    link: "http://www.cse.chalmers.se/~koen/"
  - name: "Michal H. Palka"
    link: "https://researchr.org/alias/michal-h.-palka"
  - name: "John Hughes"
    link: "http://www.cse.chalmers.se/~rjmh"
  - name: "Robby Findler"
    link: "http://www.eecs.northwestern.edu/~robby/"
  year: "2015"
  doi: "http://dx.doi.org/10.1007/978-3-662-46669-8_16"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-662-46669-8_16"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/esop/FetscherCPHF15"
  researchr: "https://researchr.org/publication/FetscherCPHF15"
  cites: 0
  citedby: 0
  pages: "383-405"
  booktitle: "Programming Languages and Systems - 24th European Symposium on Programming, ESOP 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015. Proceedings"
  editor:
  - name: "Jan Vitek"
    link: "https://researchr.org/alias/jan-vitek"
  volume: "9032"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-662-46668-1"
  kind: "inproceedings"
  key: "FetscherCPHF15"
- title: "A Library for Secure Multi-threaded Information Flow in Haskell"
  author:
  - name: "Ta-Chung Tsai"
    link: "https://researchr.org/alias/ta-chung-tsai"
  - name: "Alejandro Russo"
    link: "https://researchr.org/alias/alejandro-russo"
  - name: "John Hughes"
    link: "http://www.cse.chalmers.se/~rjmh"
  year: "2007"
  doi: "http://dx.doi.org/10.1109/CSF.2007.6"
  links:
    doi: "http://dx.doi.org/10.1109/CSF.2007.6"
  tags:
  - "Haskell"
  - "data-flow"
  researchr: "https://researchr.org/publication/TsaiRH07"
  cites: 0
  citedby: 0
  pages: "187-202"
  booktitle: "20th IEEE Computer Security Foundations Symposium, CSF 2007, 6-8 July 2007, Venice, Italy"
  publisher: "IEEE Computer Society"
  kind: "inproceedings"
  key: "TsaiRH07"
- title: "A Loop-Detecting Interpreter for Lazy Programs"
  author:
  - name: "Carsten Kehler Holst"
    link: "https://researchr.org/alias/carsten-kehler-holst"
  - name: "John Hughes"
    link: "http://www.cse.chalmers.se/~rjmh"
  year: "1991"
  tags:
  - "laziness"
  - "interpreter"
  researchr: "https://researchr.org/publication/HolstH91"
  cites: 0
  citedby: 0
  pages: "164-176"
  booktitle: "Functional Programming, Glasgow 1991, Proceedings of the 1991 Glasgow Workshop on Functional Programming, Portree, Isle of Skye, 12-14 August 1991"
  editor:
  - name: "Rogardt Heldal"
    link: "https://researchr.org/alias/rogardt-heldal"
  - name: "Carsten Kehler Holst"
    link: "https://researchr.org/alias/carsten-kehler-holst"
  - name: "Philip Wadler"
    link: "http://homepages.inf.ed.ac.uk/wadler/"
  series: "Workshops in Computing"
  publisher: "Springer"
  isbn: "3-540-19760-5"
  kind: "inproceedings"
  key: "HolstH91"
- title: "Expressing and Reasoning About Non-Deterministic Functional Programs"
  author:
  - name: "John Hughes"
    link: "http://www.cse.chalmers.se/~rjmh"
  - name: "John O Donnell"
    link: "https://researchr.org/alias/john-o-donnell"
  year: "1989"
  tags:
  - "functional programming"
  researchr: "https://researchr.org/publication/HughesO89"
  cites: 0
  citedby: 0
  pages: "308-328"
  booktitle: "Functional Programming, Proceedings of the 1989 Glasgow Workshop, 21-23 August 1989, Fraserburgh, Scotland, UK"
  editor:
  - name: "Kei Davis"
    link: "https://researchr.org/alias/kei-davis"
  - name: "John Hughes"
    link: "http://www.cse.chalmers.se/~rjmh"
  series: "Workshops in Computing"
  publisher: "Springer"
  isbn: "3-540-19609-9"
  kind: "inproceedings"
  key: "HughesO89"
- title: "A Loop-Detecting Interpreter for Lazy, Higher-Order Programs"
  author:
  - name: "John Hughes"
    link: "http://www.cse.chalmers.se/~rjmh"
  - name: "Alex Ferguson"
    link: "https://researchr.org/alias/alex-ferguson"
  year: "1992"
  tags:
  - "laziness"
  - "interpreter"
  researchr: "https://researchr.org/publication/HughesF92"
  cites: 0
  citedby: 0
  pages: "85-101"
  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: "HughesF92"
- title: "Numerical computation of bifurcations in large equilibrium systems in matlab"
  author:
  - name: "David Bindel"
    link: "https://researchr.org/alias/david-bindel"
  - name: "Mark J. Friedman"
    link: "https://researchr.org/alias/mark-j.-friedman"
  - name: "Willy Govaerts"
    link: "https://researchr.org/alias/willy-govaerts"
  - name: "John Hughes"
    link: "http://www.cse.chalmers.se/~rjmh"
  - name: "Yuri A. Kuznetsov"
    link: "https://researchr.org/alias/yuri-a.-kuznetsov"
  year: "2014"
  doi: "http://dx.doi.org/10.1016/j.cam.2013.10.034"
  links:
    doi: "http://dx.doi.org/10.1016/j.cam.2013.10.034"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/jcam/BindelFGHK14"
  researchr: "https://researchr.org/publication/BindelFGHK14"
  cites: 0
  citedby: 0
  journal: "J. Computational Applied Mathematics"
  volume: "261"
  pages: "232-248"
  kind: "article"
  key: "BindelFGHK14"
- title: "The Correctness of Type Specialisation"
  author:
  - name: "John Hughes"
    link: "http://www.cse.chalmers.se/~rjmh"
  year: "2000"
  doi: "http://link.springer.de/link/service/series/0558/bibs/1782/17820215.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/1782/17820215.htm"
  researchr: "https://researchr.org/publication/Hughes00%3A0"
  cites: 0
  citedby: 0
  pages: "215-229"
  booktitle: "Programming Languages and Systems, 9th European Symposium on Programming, ESOP 2000, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings"
  editor:
  - name: "Gert Smolka"
    link: "https://researchr.org/alias/gert-smolka"
  volume: "1782"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-67262-1"
  kind: "inproceedings"
  key: "Hughes00:0"
- title: "Using temporal relations to specify and test an instant messaging server"
  author:
  - name: "John Hughes"
    link: "http://www.cse.chalmers.se/~rjmh"
  - name: "Ulf Norell"
    link: "https://researchr.org/alias/ulf-norell"
  - name: "Jérôme Sautret"
    link: "https://researchr.org/alias/j%C3%A9r%C3%B4me-sautret"
  year: "2010"
  doi: "http://doi.acm.org/10.1145/1808266.1808281"
  links:
    doi: "http://doi.acm.org/10.1145/1808266.1808281"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/icse/HughesNS10"
  researchr: "https://researchr.org/publication/HughesNS10"
  cites: 0
  citedby: 0
  pages: "95-102"
  booktitle: "The 5th Workshop on Automation of Software Test, AST 2010, May 3-4, 2010, Cape Town, South Africa"
  editor:
  - name: "Hong Zhu"
    link: "https://researchr.org/alias/hong-zhu"
  - name: "W. K. Chan"
    link: "https://researchr.org/alias/w.-k.-chan"
  - name: "Christof J. Budnik"
    link: "https://researchr.org/alias/christof-j.-budnik"
  - name: "Gregory M. Kapfhammer"
    link: "https://researchr.org/alias/gregory-m.-kapfhammer"
  publisher: "ACM"
  isbn: "978-1-60558-970-1"
  kind: "inproceedings"
  key: "HughesNS10"
- title: "Ranking programs using black box testing"
  author:
  - name: "Koen Claessen"
    link: "http://www.cse.chalmers.se/~koen/"
  - name: "John Hughes"
    link: "http://www.cse.chalmers.se/~rjmh"
  - name: "Michal H. Palka"
    link: "https://researchr.org/alias/michal-h.-palka"
  - name: "Nicholas Smallbone"
    link: "https://researchr.org/alias/nicholas-smallbone"
  - name: "Hans Svensson"
    link: "https://researchr.org/alias/hans-svensson"
  year: "2010"
  doi: "http://doi.acm.org/10.1145/1808266.1808282"
  links:
    doi: "http://doi.acm.org/10.1145/1808266.1808282"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/icse/ClaessenHPSS10"
  researchr: "https://researchr.org/publication/ClaessenHPSS10"
  cites: 0
  citedby: 0
  pages: "103-110"
  booktitle: "The 5th Workshop on Automation of Software Test, AST 2010, May 3-4, 2010, Cape Town, South Africa"
  editor:
  - name: "Hong Zhu"
    link: "https://researchr.org/alias/hong-zhu"
  - name: "W. K. Chan"
    link: "https://researchr.org/alias/w.-k.-chan"
  - name: "Christof J. Budnik"
    link: "https://researchr.org/alias/christof-j.-budnik"
  - name: "Gregory M. Kapfhammer"
    link: "https://researchr.org/alias/gregory-m.-kapfhammer"
  publisher: "ACM"
  isbn: "978-1-60558-970-1"
  kind: "inproceedings"
  key: "ClaessenHPSS10"
- title: "Beginner's luck: a language for property-based generators"
  author:
  - name: "Leonidas Lampropoulos"
    link: "https://researchr.org/alias/leonidas-lampropoulos"
  - name: "Diane Gallois-Wong"
    link: "https://researchr.org/alias/diane-gallois-wong"
  - name: "Catalin Hritcu"
    link: "https://researchr.org/alias/catalin-hritcu"
  - name: "John Hughes"
    link: "http://www.cse.chalmers.se/~rjmh"
  - name: "Benjamin C. Pierce"
    link: "http://www.cis.upenn.edu/~bcpierce/"
  - name: "Li-yao Xia"
    link: "https://researchr.org/alias/li-yao-xia"
  year: "2017"
  doi: "http://dl.acm.org/citation.cfm?id=3009868"
  links:
    doi: "http://dl.acm.org/citation.cfm?id=3009868"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/popl/LampropoulosGHH17"
  researchr: "https://researchr.org/publication/LampropoulosGHH17"
  cites: 0
  citedby: 0
  pages: "114-129"
  booktitle: "Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, POPL 2017, Paris, France, January 18-20, 2017"
  editor:
  - name: "Giuseppe Castagna"
    link: "https://researchr.org/alias/giuseppe-castagna"
  - name: "Andrew D. Gordon"
    link: "https://researchr.org/alias/andrew-d.-gordon"
  publisher: "ACM"
  isbn: "978-1-4503-4660-3"
  kind: "inproceedings"
  key: "LampropoulosGHH17"
- title: "Testing telecoms software with quviq QuickCheck"
  author:
  - name: "Thomas Arts"
    link: "https://researchr.org/alias/thomas-arts"
  - name: "John Hughes"
    link: "http://www.cse.chalmers.se/~rjmh"
  - name: "Joakim Johansson"
    link: "https://researchr.org/alias/joakim-johansson"
  - name: "Ulf Wiger"
    link: "https://researchr.org/alias/ulf-wiger"
  year: "2006"
  doi: "http://doi.acm.org/10.1145/1159789.1159792"
  links:
    doi: "http://doi.acm.org/10.1145/1159789.1159792"
  tags:
  - "testing"
  - "QuickCheck"
  researchr: "https://researchr.org/publication/ArtsHJW06"
  cites: 0
  citedby: 0
  pages: "2-10"
  booktitle: "Proceedings of the 2006 ACM SIGPLAN Workshop on Erlang, Portland, Oregon, USA, September 16, 2006"
  editor:
  - name: "Marc Feeley"
    link: "https://researchr.org/alias/marc-feeley"
  - name: "Philip W. Trinder"
    link: "https://researchr.org/alias/philip-w.-trinder"
  publisher: "ACM"
  isbn: "1-59593-490-1"
  kind: "inproceedings"
  key: "ArtsHJW06"
- title: "How Well are Your Requirements Tested?"
  author:
  - name: "Thomas Arts"
    link: "https://researchr.org/alias/thomas-arts"
  - name: "John Hughes"
    link: "http://www.cse.chalmers.se/~rjmh"
  year: "2016"
  doi: "http://doi.ieeecomputersociety.org/10.1109/ICST.2016.23"
  links:
    doi: "http://doi.ieeecomputersociety.org/10.1109/ICST.2016.23"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/icst/ArtsH16"
  researchr: "https://researchr.org/publication/ArtsH16"
  cites: 0
  citedby: 0
  pages: "244-254"
  booktitle: "2016 IEEE International Conference on Software Testing, Verification and Validation, ICST 2016, Chicago, IL, USA, April 11-15, 2016"
  publisher: "IEEE Computer Society"
  isbn: "978-1-5090-1827-7"
  kind: "inproceedings"
  key: "ArtsH16"
- title: "Pretty-printing: An Exercise in Functional Programming"
  author:
  - name: "John Hughes"
    link: "http://www.cse.chalmers.se/~rjmh"
  year: "1992"
  tags:
  - "functional programming"
  - "programming"
  researchr: "https://researchr.org/publication/Hughes92%3A0"
  cites: 0
  citedby: 0
  pages: "11-13"
  booktitle: "Mathematics of Program Construction, Second International Conference, Oxford, U.K., June 29 - July 3, 1992, Proceedings"
  editor:
  - name: "Richard S. Bird"
    link: "http://www.comlab.ox.ac.uk/people/Richard.Bird/"
  - name: "Carroll Morgan"
    link: "https://researchr.org/alias/carroll-morgan"
  - name: "Jim Woodcock"
    link: "https://researchr.org/alias/jim-woodcock"
  volume: "669"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-56625-2"
  kind: "inproceedings"
  key: "Hughes92:0"
- title: "The Realities of PKI Inter-operability"
  author:
  - name: "John Hughes"
    link: "http://www.cse.chalmers.se/~rjmh"
  year: "1999"
  doi: "http://link.springer.de/link/service/series/0558/bibs/1740/17400127.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/1740/17400127.htm"
  researchr: "https://researchr.org/publication/Hughes99%3A0"
  cites: 0
  citedby: 0
  pages: "127-132"
  booktitle: "Secure Networking - CQRE (Secure)  99, International Exhibition and Congress Düsseldorf, Germany, November 30 - December 2, 1999, Proceedings"
  editor:
  - name: "Rainer Baumgart"
    link: "https://researchr.org/alias/rainer-baumgart"
  volume: "1740"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-66800-4"
  kind: "inproceedings"
  key: "Hughes99:0"
- title: "The alpha-beta Algorithm: An Exercise in Program Transformation"
  author:
  - name: "Richard S. Bird"
    link: "http://www.comlab.ox.ac.uk/people/Richard.Bird/"
  - name: "John Hughes"
    link: "http://www.cse.chalmers.se/~rjmh"
  year: "1987"
  tags:
  - "transformation"
  - "program transformation"
  researchr: "https://researchr.org/publication/BirdH87"
  cites: 0
  citedby: 0
  journal: "Inf. Process. Lett."
  volume: "24"
  number: "1"
  pages: "53-57"
  kind: "article"
  key: "BirdH87"
- title: "Selection and evaluation of information systems methologies: the gap between theory and practice"
  author:
  - name: "John Hughes"
    link: "http://www.cse.chalmers.se/~rjmh"
  year: "1998"
  researchr: "https://researchr.org/publication/Hughes98"
  cites: 0
  citedby: 0
  journal: "IEE Proceedings - Software"
  volume: "145"
  number: "4"
  pages: "100-104"
  kind: "article"
  key: "Hughes98"
- title: "Directions and Challenges in Informatics Education"
  author:
  - name: "John Hughes"
    link: "http://www.cse.chalmers.se/~rjmh"
  - name: "Andrew D. McGettrick"
    link: "https://researchr.org/alias/andrew-d.-mcgettrick"
  - name: "Ellen Francine Barbosa"
    link: "https://researchr.org/alias/ellen-francine-barbosa"
  - name: "Jens Kaasbøll"
    link: "https://researchr.org/alias/jens-kaasb%C3%B8ll"
  - name: "Vinícius Medina Kern"
    link: "https://researchr.org/alias/vin%C3%ADcius-medina-kern"
  - name: "Ana Paula Lüdtke Ferreira"
    link: "https://researchr.org/alias/ana-paula-l%C3%BCdtke-ferreira"
  - name: "Esselina Macome"
    link: "https://researchr.org/alias/esselina-macome"
  - name: "Joberto Martins"
    link: "https://researchr.org/alias/joberto-martins"
  - name: "Clara Amélia de Oliveira"
    link: "https://researchr.org/alias/clara-am%C3%A9lia-de-oliveira"
  - name: "Alfonso Ignacio Orth"
    link: "https://researchr.org/alias/alfonso-ignacio-orth"
  - name: "R. Sadananda"
    link: "https://researchr.org/alias/r.-sadananda"
  - name: "Elaine da Silva"
    link: "https://researchr.org/alias/elaine-da-silva"
  - name: "Romero Tori"
    link: "https://researchr.org/alias/romero-tori"
  year: "2002"
  researchr: "https://researchr.org/publication/HughesMBKKFMMOOSST02"
  cites: 0
  citedby: 0
  pages: "115-123"
  booktitle: "Informatics Curricula and Teaching Methods, IFIP TC3 / WG3.2 Conference on Informatics Curricula, Teaching Methods and Best Practics (ICTEM 2002), July 10-12, 2002, Florianópolis, SC, Brazil"
  editor:
  - name: "Lillian N. Cassel"
    link: "https://researchr.org/alias/lillian-n.-cassel"
  - name: "Ricardo Augusto da Luz Reis"
    link: "https://researchr.org/alias/ricardo-augusto-da-luz-reis"
  volume: "245"
  series: "IFIP Conference Proceedings"
  publisher: "Kluwer"
  isbn: "1-4020-7266-X"
  kind: "inproceedings"
  key: "HughesMBKKFMMOOSST02"
- title: "Verifying haskell programs using constructive type theory"
  author:
  - name: "Andreas Abel"
    link: "https://researchr.org/alias/andreas-abel"
  - name: "Marcin Benke"
    link: "https://researchr.org/alias/marcin-benke"
  - name: "Ana Bove"
    link: "https://researchr.org/alias/ana-bove"
  - name: "John Hughes"
    link: "http://www.cse.chalmers.se/~rjmh"
  - name: "Ulf Norell"
    link: "http://www.cse.chalmers.se/~ulfn/"
  year: "2005"
  doi: "http://doi.acm.org/10.1145/1088348.1088355"
  links:
    doi: "http://doi.acm.org/10.1145/1088348.1088355"
  tags:
  - "program verification"
  - "Haskell"
  - "type theory"
  researchr: "https://researchr.org/publication/AbelBBHN05"
  cites: 0
  citedby: 0
  pages: "62-73"
  booktitle: "Proceedings of the ACM SIGPLAN Workshop on Haskell, Haskell 2005, Tallinn, Estonia, September 30, 2005"
  editor:
  - name: "Daan Leijen"
    link: "https://researchr.org/alias/daan-leijen"
  publisher: "ACM"
  isbn: "1-59593-071-X"
  kind: "inproceedings"
  key: "AbelBBHN05"
- title: "Collaborative & Multidiscipline Working - From Theory to Practice in 48 Hours: A Case Study from BIM Region Northern Ireland"
  author:
  - name: "David Comiskey"
    link: "https://researchr.org/alias/david-comiskey"
  - name: "Mark McKane"
    link: "https://researchr.org/alias/mark-mckane"
  - name: "Eóin O'Shea"
    link: "https://researchr.org/alias/e%C3%B3in-o%27shea"
  - name: "John Hughes"
    link: "http://www.cse.chalmers.se/~rjmh"
  - name: "Sean McNiff"
    link: "https://researchr.org/alias/sean-mcniff"
  - name: "Robert Eadie"
    link: "https://researchr.org/alias/robert-eadie"
  year: "2016"
  doi: "http://dx.doi.org/10.4018/IJ3DIM.2016040104"
  links:
    doi: "http://dx.doi.org/10.4018/IJ3DIM.2016040104"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/ij3dim/ComiskeyMOHME16"
  researchr: "https://researchr.org/publication/ComiskeyMOHME16"
  cites: 0
  citedby: 0
  journal: "IJ3DIM"
  volume: "5"
  number: "2"
  pages: "55-71"
  kind: "article"
  key: "ComiskeyMOHME16"
- title: "Toward a mature industrial practice of software test automation"
  author:
  - name: "Hong Zhu"
    link: "https://researchr.org/alias/hong-zhu"
  - name: "Daniel Hoffman"
    link: "https://researchr.org/alias/daniel-hoffman"
  - name: "John Hughes"
    link: "http://www.cse.chalmers.se/~rjmh"
  - name: "Dianxiang Xu"
    link: "https://researchr.org/alias/dianxiang-xu"
  year: "2014"
  doi: "http://dx.doi.org/10.1007/s11219-014-9232-8"
  links:
    doi: "http://dx.doi.org/10.1007/s11219-014-9232-8"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/sqj/ZhuHHX14"
  researchr: "https://researchr.org/publication/ZhuHHX14"
  cites: 0
  citedby: 0
  journal: "Software Quality Journal"
  volume: "22"
  number: "2"
  pages: "239-240"
  kind: "article"
  key: "ZhuHHX14"
- title: "Linking unit tests and properties"
  author:
  - name: "Alex Gerdes"
    link: "https://researchr.org/alias/alex-gerdes"
  - name: "John Hughes"
    link: "http://www.cse.chalmers.se/~rjmh"
  - name: "Nicholas Smallbone"
    link: "https://researchr.org/alias/nicholas-smallbone"
  - name: "Meng Wang"
    link: "https://researchr.org/alias/meng-wang"
  year: "2015"
  doi: "http://doi.acm.org/10.1145/2804295.2804298"
  links:
    doi: "http://doi.acm.org/10.1145/2804295.2804298"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/erlang/GerdesHSW15"
  researchr: "https://researchr.org/publication/GerdesHSW15"
  cites: 0
  citedby: 0
  pages: "19-26"
  booktitle: "Proceedings of the 14th ACM SIGPLAN Workshop on Erlang 2015, Vancouver, BC, Canada, September 4, 2015"
  editor:
  - name: "Hans Svensson"
    link: "https://researchr.org/alias/hans-svensson"
  - name: "Melinda Tóth"
    link: "https://researchr.org/alias/melinda-t%C3%B3th"
  publisher: "ACM"
  isbn: "978-1-4503-3805-9"
  kind: "inproceedings"
  key: "GerdesHSW15"
- title: "Generalising monads to arrows"
  author:
  - name: "John Hughes"
    link: "http://www.cse.chalmers.se/~rjmh"
  year: "2000"
  researchr: "https://researchr.org/publication/Hughes00%3A4"
  cites: 0
  citedby: 0
  journal: "Science of Computer Programming"
  volume: "37"
  number: "1-3"
  pages: "67-111"
  kind: "article"
  key: "Hughes00:4"
- title: "A biologically-inspired multi-agent framework for autonomic service management"
  author:
  - name: "Frank Chiang"
    link: "https://researchr.org/alias/frank-chiang"
  - name: "Robin Braun"
    link: "https://researchr.org/alias/robin-braun"
  - name: "John Hughes"
    link: "http://www.cse.chalmers.se/~rjmh"
  year: "2006"
  doi: "http://dx.doi.org/10.1108/17427370780000155"
  links:
    doi: "http://dx.doi.org/10.1108/17427370780000155"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/ijpcc/ChiangBH06"
  researchr: "https://researchr.org/publication/ChiangBH06"
  cites: 0
  citedby: 0
  journal: "Int. J. Pervasive Computing and Communications"
  volume: "2"
  number: "3"
  pages: "261-276"
  kind: "article"
  key: "ChiangBH06"
- title: "Testing monadic code with QuickCheck"
  author:
  - name: "Koen Claessen"
    link: "http://www.cse.chalmers.se/~koen/"
  - name: "John Hughes"
    link: "http://www.cse.chalmers.se/~rjmh"
  year: "2002"
  doi: "http://doi.acm.org/10.1145/636517.636527"
  links:
    doi: "http://doi.acm.org/10.1145/636517.636527"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/sigplan/ClaessenH02"
  researchr: "https://researchr.org/publication/ClaessenH02-0"
  cites: 0
  citedby: 0
  journal: "SIGPLAN Notices"
  volume: "37"
  number: "12"
  pages: "47-59"
  kind: "article"
  key: "ClaessenH02-0"
- title: "How to Give a Good Research Talk"
  author:
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  - name: "John Hughes"
    link: "http://www.cse.chalmers.se/~rjmh"
  - name: "John Launchbury"
    link: "https://researchr.org/alias/john-launchbury"
  year: "1993"
  abstract: "Giving a good research talk is not easy. We try to identify some things which we have found helpful, in the hope that they may be useful to you. "
  links:
    "more links": "http://research.microsoft.com/en-us/um/people/simonpj/papers/giving-a-talk/giving-a-talk.htm"
    "html": "http://research.microsoft.com/en-us/um/people/simonpj/papers/giving-a-talk/giving-a-talk-html.html"
    "acm dl": "http://portal.acm.org/citation.cfm?id=165564.903972"
  tags:
  - "research talk"
  researchr: "https://researchr.org/publication/JonesHL93"
  cites: 0
  citedby: 0
  journal: "SIGPLAN Notices"
  volume: "28"
  number: "11"
  pages: "9-12"
  kind: "article"
  key: "JonesHL93"
- title: "Making Choices Lazily"
  author:
  - name: "John Hughes"
    link: "http://www.cse.chalmers.se/~rjmh"
  - name: "Andrew Moran"
    link: "https://researchr.org/alias/andrew-moran"
  year: "1995"
  tags:
  - "laziness"
  researchr: "https://researchr.org/publication/HughesM95"
  cites: 0
  citedby: 0
  pages: "108-119"
  booktitle: "FPCA"
  kind: "inproceedings"
  key: "HughesM95"
- title: "A library for light-weight information-flow security in haskell"
  author:
  - name: "Alejandro Russo"
    link: "https://researchr.org/alias/alejandro-russo"
  - name: "Koen Claessen"
    link: "http://www.cse.chalmers.se/~koen/"
  - name: "John Hughes"
    link: "http://www.cse.chalmers.se/~rjmh"
  year: "2008"
  doi: "http://doi.acm.org/10.1145/1411286.1411289"
  links:
    doi: "http://doi.acm.org/10.1145/1411286.1411289"
  tags:
  - "Haskell"
  - "data-flow"
  - "security"
  researchr: "https://researchr.org/publication/RussoCH08"
  cites: 0
  citedby: 0
  pages: "13-24"
  booktitle: "Proceedings of the 1st ACM SIGPLAN Symposium on Haskell, Haskell 2008, Victoria, BC, Canada, 25 September 2008"
  editor:
  - name: "Andy Gill"
    link: "http://www.ittc.ku.edu/~andygill/"
  publisher: "ACM"
  isbn: "978-1-60558-064-7"
  kind: "inproceedings"
  key: "RussoCH08"
- title: "Recursion and Dynamic Data-structures in Bounded Space: Towards Embedded ML Programming"
  author:
  - name: "John Hughes"
    link: "http://www.cse.chalmers.se/~rjmh"
  - name: "Lars Pareto"
    link: "https://researchr.org/alias/lars-pareto"
  year: "1999"
  doi: "http://doi.acm.org/10.1145/317636.317785"
  links:
    doi: "http://doi.acm.org/10.1145/317636.317785"
  tags:
  - "data-flow programming"
  - "data-flow"
  - "programming"
  researchr: "https://researchr.org/publication/HughesP99"
  cites: 0
  citedby: 0
  pages: "70-81"
  booktitle: "ICFP"
  kind: "inproceedings"
  key: "HughesP99"
- title: "Report on the Programming Language Haskell, A Non-strict, Purely Functional Language"
  author:
  - name: "Paul Hudak"
    link: "https://researchr.org/alias/paul-hudak"
  - 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/"
  - name: "Brian Boutel"
    link: "https://researchr.org/alias/brian-boutel"
  - name: "Jon Fairbairn"
    link: "https://researchr.org/alias/jon-fairbairn"
  - name: "Joseph H. Fasel"
    link: "https://researchr.org/alias/joseph-h.-fasel"
  - name: "María M. Guzmán"
    link: "https://researchr.org/alias/mar%C3%ADa-m.-guzm%C3%A1n"
  - name: "Kevin Hammond"
    link: "http://www.cs.st-andrews.ac.uk/~kh/"
  - name: "John Hughes"
    link: "http://www.cse.chalmers.se/~rjmh"
  - name: "Thomas Johnsson"
    link: "https://researchr.org/alias/thomas-johnsson"
  - name: "Richard B. Kieburtz"
    link: "http://web.cecs.pdx.edu/~black/S3S/"
  - name: "Rishiyur S. Nikhil"
    link: "https://researchr.org/alias/rishiyur-s.-nikhil"
  - name: "Will Partain"
    link: "https://researchr.org/alias/will-partain"
  - name: "John Peterson"
    link: "https://researchr.org/alias/john-peterson"
  year: "1992"
  tags:
  - "programming languages"
  - "functional programming"
  - "Haskell"
  - "programming"
  researchr: "https://researchr.org/publication/HudakPWBFFGHHJKNPP92"
  cites: 0
  citedby: 0
  journal: "SIGPLAN Notices"
  volume: "27"
  number: "5"
  pages: "1"
  kind: "article"
  key: "HudakPWBFFGHHJKNPP92"
- title: "Type Specialisation for the lambda-Calculus; or, A New Paradigm for Partial Evaluation Based on Type Inference"
  author:
  - name: "John Hughes"
    link: "http://www.cse.chalmers.se/~rjmh"
  year: "1996"
  tags:
  - "type inference"
  - "rule-based"
  - "partial evaluation"
  researchr: "https://researchr.org/publication/Hughes96%3A0"
  cites: 0
  citedby: 0
  pages: "183-215"
  booktitle: "Partial Evaluation, International Seminar, Dagstuhl Castle, Germany, February 12-16, 1996, Selected Papers"
  editor:
  - name: "Olivier Danvy"
    link: "https://www.yale-nus.edu.sg/about/faculty/olivier-danvy/"
  - name: "Robert Glück"
    link: "http://www.diku.dk/hjemmesider/ansatte/glueck/"
  - name: "Peter Thiemann"
    link: "https://researchr.org/alias/peter-thiemann"
  volume: "1110"
  series: "Lecture Notes in Computer Science"
  address: "Dagstuhl Castle, Germany"
  publisher: "Springer"
  isbn: "3-540-61580-6"
  kind: "inproceedings"
  key: "Hughes96:0"
- title: "Experiences with QuickCheck: Testing the Hard Stuff and Staying Sane"
  author:
  - name: "John Hughes"
    link: "http://www.cse.chalmers.se/~rjmh"
  year: "2016"
  doi: "http://dx.doi.org/10.1007/978-3-319-30936-1_9"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-319-30936-1_9"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/birthday/Hughes16"
  researchr: "https://researchr.org/publication/Hughes16"
  cites: 0
  citedby: 0
  pages: "169-186"
  booktitle: "A List of Successes That Can Change the World - Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday"
  editor:
  - name: "Sam Lindley"
    link: "https://researchr.org/alias/sam-lindley"
  - name: "Conor McBride"
    link: "https://researchr.org/alias/conor-mcbride"
  - name: "Philip W. Trinder"
    link: "https://researchr.org/alias/philip-w.-trinder"
  - name: "Donald Sannella"
    link: "https://researchr.org/alias/donald-sannella"
  volume: "9600"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-319-30935-4"
  kind: "inproceedings"
  key: "Hughes16"
- title: "Abstract Interpretation of Higher Order Functions Using Concrete Data Structures (Summary)"
  author:
  - name: "Alex Ferguson"
    link: "https://researchr.org/alias/alex-ferguson"
  - name: "John Hughes"
    link: "http://www.cse.chalmers.se/~rjmh"
  year: "1992"
  tags:
  - "data-flow"
  researchr: "https://researchr.org/publication/FergusonH92"
  cites: 0
  citedby: 0
  pages: "57-61"
  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: "FergusonH92"
- title: "Type Specialization"
  author:
  - name: "John Hughes"
    link: "http://www.cse.chalmers.se/~rjmh"
  year: "1998"
  doi: "http://doi.acm.org/10.1145/289121.289135"
  links:
    doi: "http://doi.acm.org/10.1145/289121.289135"
  researchr: "https://researchr.org/publication/Hughes98%3A0"
  cites: 0
  citedby: 0
  journal: "ACM Computing Surveys"
  volume: "30"
  number: "3es"
  pages: "14"
  kind: "article"
  key: "Hughes98:0"
- title: "Fast and loose reasoning is morally correct"
  author:
  - name: "Nils Anders Danielsson"
    link: "http://www.cse.chalmers.se/~nad/"
  - name: "John Hughes"
    link: "http://www.cse.chalmers.se/~rjmh"
  - name: "Patrik Jansson"
    link: "http://www.chalmers.se/cse/EN/people/jansson-patrik"
  - name: "Jeremy Gibbons"
    link: "http://www.comlab.ox.ac.uk/jeremy.gibbons/"
  year: "2006"
  doi: "http://doi.acm.org/10.1145/1111037.1111056"
  abstract: "Functional programmers often reason about programs as if they were written in a total language, expecting the results to carry over to non-total (partial) languages. We justify such reasoning.Two languages are defined, one total and one partial, with identical syntax. The semantics of the partial language includes partial and infinite values, and all types are lifted, including the function spaces. A partial equivalence relation (PER) is then defined, the domain of which is the total subset of the partial language. For types not containing function spaces the PER relates equal values, and functions are related if they map related values to related values.It is proved that if two closed terms have the same semantics in the total language, then they have related semantics in the partial language. It is also shown that the PER gives rise to a bicartesian closed category which can be used to reason about values in the domain of the relation."
  links:
    doi: "http://doi.acm.org/10.1145/1111037.1111056"
  tags:
  - "programming languages"
  - "semantics"
  - "functional programming"
  - "domain-specific language"
  researchr: "https://researchr.org/publication/DanielssonHJG06"
  cites: 0
  citedby: 0
  pages: "206-217"
  booktitle: "Proceedings of the 33rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2006, Charleston, South Carolina, USA, January 11-13, 2006"
  editor:
  - name: "J. Gregory Morrisett"
    link: "https://researchr.org/alias/j.-gregory-morrisett"
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  publisher: "ACM"
  isbn: "1-59593-027-2"
  kind: "inproceedings"
  key: "DanielssonHJG06"
- 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: "Partial Evaluation and Separate Compilation"
  author:
  - name: "Rogardt Heldal"
    link: "https://researchr.org/alias/rogardt-heldal"
  - name: "John Hughes"
    link: "http://www.cse.chalmers.se/~rjmh"
  year: "1997"
  doi: "http://doi.acm.org/10.1145/258993.258996"
  abstract: "Hitherto all partial evaluators have processed a complete program to produce a complete residual program. We are interested in treating programs as collections of modules which can be processed independently: 'separate partial evaluation', so to speak. In this paper we still assume that the original program is processed in its entirety, but we show how to specialise it to the static data bit-by-bit, generating a different module for each bit. When the program to be specialised is an interpreter, this corresponds to specialising it to one module of its object language at a time: each module of the object language gives rise to one module of the residual program."
  links:
    doi: "http://doi.acm.org/10.1145/258993.258996"
  tags:
  - "programming languages"
  - "object-oriented programming"
  - "completeness"
  - "meta programming"
  - "data-flow language"
  - "interpreter"
  - "data-flow programming"
  - "data-flow"
  - "partial evaluation"
  - "programming"
  - "subject-oriented programming"
  - "Meta-Environment"
  - "feature-oriented programming"
  - "meta-objects"
  researchr: "https://researchr.org/publication/HeldalH97"
  cites: 0
  citedby: 0
  pages: "1-11"
  booktitle: "PEPM"
  kind: "inproceedings"
  key: "HeldalH97"
- title: "Finding race conditions in Erlang with QuickCheck and PULSE"
  author:
  - name: "Koen Claessen"
    link: "http://www.cse.chalmers.se/~koen/"
  - name: "Michal Palka"
    link: "https://researchr.org/alias/michal-palka"
  - name: "Nicholas Smallbone"
    link: "https://researchr.org/alias/nicholas-smallbone"
  - name: "John Hughes"
    link: "http://www.cse.chalmers.se/~rjmh"
  - name: "Hans Svensson"
    link: "https://researchr.org/alias/hans-svensson"
  - name: "Thomas Arts"
    link: "https://researchr.org/alias/thomas-arts"
  - name: "Ulf Wiger"
    link: "https://researchr.org/alias/ulf-wiger"
  year: "2009"
  doi: "http://doi.acm.org/10.1145/1596550.1596574"
  links:
    doi: "http://doi.acm.org/10.1145/1596550.1596574"
  tags:
  - "QuickCheck"
  researchr: "https://researchr.org/publication/ClaessenPSHSAW09"
  cites: 0
  citedby: 0
  pages: "149-160"
  booktitle: "Proceeding of the 14th ACM SIGPLAN international conference on Functional programming, ICFP 2009, Edinburgh, Scotland, UK, August 31 - September 2, 2009"
  editor:
  - name: "Graham Hutton"
    link: "https://researchr.org/alias/graham-hutton"
  - name: "Andrew P. Tolmach"
    link: "http://www.cs.pdx.edu/~apt"
  publisher: "ACM"
  isbn: "978-1-60558-332-7"
  kind: "inproceedings"
  key: "ClaessenPSHSAW09"
- title: "Global variables in Haskell"
  author:
  - name: "John Hughes"
    link: "http://www.cse.chalmers.se/~rjmh"
  year: "2004"
  doi: "http://dx.doi.org/10.1017/S0956796802004471"
  links:
    doi: "http://dx.doi.org/10.1017/S0956796802004471"
  tags:
  - "Haskell"
  researchr: "https://researchr.org/publication/Hughes04%3A4"
  cites: 0
  citedby: 0
  journal: "Journal of Functional Programming"
  volume: "14"
  number: "5"
  pages: "489-502"
  kind: "article"
  key: "Hughes04:4"
- title: "Binding-Time Analysis for Polymorphic Types"
  author:
  - name: "Rogardt Heldal"
    link: "https://researchr.org/alias/rogardt-heldal"
  - name: "John Hughes"
    link: "http://www.cse.chalmers.se/~rjmh"
  year: "2001"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2244/22440191.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/2244/22440191.htm"
  tags:
  - "analysis"
  researchr: "https://researchr.org/publication/HeldalH01"
  cites: 0
  citedby: 0
  pages: "191-204"
  booktitle: "Perspectives of System Informatics, 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001, Revised Papers"
  editor:
  - name: "Dines Bjørner"
    link: "https://researchr.org/alias/dines-bj%C3%B8rner"
  - name: "Manfred Broy"
    link: "https://researchr.org/alias/manfred-broy"
  - name: "Alexandre V. Zamulin"
    link: "https://researchr.org/alias/alexandre-v.-zamulin"
  volume: "2244"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-43075-X"
  kind: "inproceedings"
  key: "HeldalH01"
- title: "Find more bugs with QuickCheck!"
  author:
  - name: "John Hughes"
    link: "http://www.cse.chalmers.se/~rjmh"
  - name: "Ulf Norell"
    link: "https://researchr.org/alias/ulf-norell"
  - name: "Nicholas Smallbone"
    link: "https://researchr.org/alias/nicholas-smallbone"
  - name: "Thomas Arts"
    link: "https://researchr.org/alias/thomas-arts"
  year: "2016"
  doi: "http://doi.acm.org/10.1145/2896921.2896928"
  links:
    doi: "http://doi.acm.org/10.1145/2896921.2896928"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/icse/HughesNSA16"
  researchr: "https://researchr.org/publication/HughesNSA16"
  cites: 0
  citedby: 0
  pages: "71-77"
  booktitle: "Proceedings of the 11th International Workshop on Automation of Software Test, AST@ICSE 2016, Austin, Texas, USA, May 14-15, 2016"
  editor:
  - name: "Christof J. Budnik"
    link: "https://researchr.org/alias/christof-j.-budnik"
  - name: "Gordon Fraser"
    link: "https://researchr.org/alias/gordon-fraser"
  - name: "Francesca Lonetti"
    link: "https://researchr.org/alias/francesca-lonetti"
  publisher: "ACM"
  isbn: "978-1-4503-4151-6"
  kind: "inproceedings"
  key: "HughesNSA16"
- title: "A Type Specialisation Tutorial"
  author:
  - name: "John Hughes"
    link: "http://www.cse.chalmers.se/~rjmh"
  year: "1998"
  researchr: "https://researchr.org/publication/Hughes98%3A4"
  cites: 0
  citedby: 0
  pages: "293-325"
  booktitle: "Partial Evaluation - Practice and Theory, DIKU 1998 International Summer School, Copenhagen, Denmark, June 29 - July 10, 1998"
  editor:
  - name: "John Hatcliff"
    link: "http://people.cis.ksu.edu/~hatcliff/newweb/"
  - name: "Torben Æ. Mogensen"
    link: "https://researchr.org/alias/torben-%C3%A6.-mogensen"
  - name: "Peter Thiemann"
    link: "http://www.informatik.uni-freiburg.de/~thiemann/"
  volume: "1706"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-66710-5"
  kind: "inproceedings"
  key: "Hughes98:4"
- title: "Generalising Monads (Abstract)"
  author:
  - name: "John Hughes"
    link: "http://www.cse.chalmers.se/~rjmh"
  year: "1998"
  researchr: "https://researchr.org/publication/Hughes98%3A3"
  cites: 0
  citedby: 0
  pages: "6"
  booktitle: "Mathematics of Program Construction, MPC 98, Marstrand, Sweden, June 15-17, 1998, Proceedings"
  editor:
  - name: "Johan  Jeuring"
    link: "http://people.cs.uu.nl/johanj/"
  volume: "1422"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-64591-8"
  kind: "inproceedings"
  key: "Hughes98:3"
- title: "Software Testing with QuickCheck"
  author:
  - name: "John Hughes"
    link: "http://www.cse.chalmers.se/~rjmh"
  year: "2009"
  doi: "http://dx.doi.org/10.1007/978-3-642-17685-2_6"
  abstract: "This paper presents a tutorial, with extensive exercises, in the use of Quviq QuickCheck—a property-based testing tool for Erlang, which enables developers to formulate formal specifications of their code and to use them for testing. We cover the basic concepts of properties and test-data generators, properties for testing abstract data types, and a state-machine modelling approach to testing stateful systems. Finally we discuss applications of QuickCheck in industry."
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-17685-2_6"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/cefp/Hughes09"
  tags:
  - "rule-based"
  - "meta-model"
  - "testing"
  - "type system"
  - "data-flow"
  - "Meta-Environment"
  - "state machines"
  - "abstract machine"
  - "QuickCheck"
  - "systematic-approach"
  researchr: "https://researchr.org/publication/Hughes09-2"
  cites: 0
  citedby: 0
  pages: "183-223"
  booktitle: "Central European Functional Programming School - Third Summer School, CEFP 2009, Budapest, Hungary, May 21-23, 2009 and Komárno, Slovakia, May 25-30, 2009, Revised Selected Lectures"
  editor:
  - name: "Zoltán Horváth"
    link: "https://researchr.org/alias/zolt%C3%A1n-horv%C3%A1th"
  - name: "Rinus Plasmeijer"
    link: "https://researchr.org/alias/rinus-plasmeijer"
  - name: "Viktória Zsók"
    link: "https://researchr.org/alias/vikt%C3%B3ria-zs%C3%B3k"
  volume: "6299"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-17684-5"
  kind: "inproceedings"
  key: "Hughes09-2"
- title: "A Semantics for Locally Bottom-Avoiding Choice"
  author:
  - name: "John Hughes"
    link: "http://www.cse.chalmers.se/~rjmh"
  - name: "Andrew Moran"
    link: "https://researchr.org/alias/andrew-moran"
  year: "1992"
  tags:
  - "semantics"
  researchr: "https://researchr.org/publication/HughesM92%3A0"
  cites: 0
  citedby: 0
  pages: "102-112"
  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: "HughesM92:0"
- title: "A Bisection-Like Algorithm for Branch Switching at a Simple Branch Point"
  author:
  - name: "John Hughes"
    link: "http://www.cse.chalmers.se/~rjmh"
  - name: "M. Friedman"
    link: "https://researchr.org/alias/m.-friedman"
  year: "2009"
  doi: "http://dx.doi.org/10.1007/s10915-009-9306-0"
  links:
    doi: "http://dx.doi.org/10.1007/s10915-009-9306-0"
  researchr: "https://researchr.org/publication/HughesF09"
  cites: 0
  citedby: 0
  journal: "J. Sci. Comput."
  volume: "41"
  number: "1"
  pages: "62-69"
  kind: "article"
  key: "HughesF09"
- title: "Using a manipulator for force display in molecular docking"
  author:
  - name: "Ouhyoung Ming"
    link: "https://researchr.org/alias/ouhyoung-ming"
  - name: "Michael Pique"
    link: "https://researchr.org/alias/michael-pique"
  - name: "John Hughes"
    link: "http://www.cse.chalmers.se/~rjmh"
  - name: "Neela Srinivasan"
    link: "https://researchr.org/alias/neela-srinivasan"
  - name: "Frederick P. Brooks Jr."
    link: "https://researchr.org/alias/frederick-p.-brooks-jr."
  year: "1988"
  doi: "http://dx.doi.org/10.1109/ROBOT.1988.12330"
  links:
    doi: "http://dx.doi.org/10.1109/ROBOT.1988.12330"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/icra/MingPHSB88"
  researchr: "https://researchr.org/publication/MingPHSB88"
  cites: 0
  citedby: 0
  pages: "1824-1829"
  booktitle: "Proceedings of the 1988 IEEE International Conference on Robotics and Automation, Philadelphia, Pennsylvania, USA, April 24-29, 1988"
  publisher: "IEEE"
  kind: "inproceedings"
  key: "MingPHSB88"
- title: "Implementing Functional Databases"
  author:
  - name: "Guy Argo"
    link: "https://researchr.org/alias/guy-argo"
  - name: "John Hughes"
    link: "http://www.cse.chalmers.se/~rjmh"
  - name: "Philip W. Trinder"
    link: "https://researchr.org/alias/philip-w.-trinder"
  - name: "Jon Fairbairn"
    link: "https://researchr.org/alias/jon-fairbairn"
  - name: "John Launchbury"
    link: "https://researchr.org/alias/john-launchbury"
  year: "1987"
  doi: "db/conf/dbpl/ArgoHTFL87.html"
  researchr: "https://researchr.org/publication/ArgoHTFL87"
  cites: 0
  citedby: 0
  pages: "165-176"
  booktitle: "Advances in Database Programming Languages, Papers from DBPL-1, September 1987, Roscoff, France"
  editor:
  - name: "François Bancilhon"
    link: "https://researchr.org/alias/fran%C3%A7ois-bancilhon"
  - name: "Peter Buneman"
    link: "https://researchr.org/alias/peter-buneman"
  publisher: "ACM Press / Addison-Wesley"
  isbn: "0-201-50257-7"
  kind: "inproceedings"
  key: "ArgoHTFL87"
- title: "An Expressive Semantics of Mocking"
  author:
  - name: "Josef Svenningsson"
    link: "https://researchr.org/alias/josef-svenningsson"
  - name: "Hans Svensson"
    link: "https://researchr.org/alias/hans-svensson"
  - name: "Nicholas Smallbone"
    link: "https://researchr.org/alias/nicholas-smallbone"
  - name: "Thomas Arts"
    link: "https://researchr.org/alias/thomas-arts"
  - name: "Ulf Norell"
    link: "https://researchr.org/alias/ulf-norell"
  - name: "John Hughes"
    link: "http://www.cse.chalmers.se/~rjmh"
  year: "2014"
  doi: "http://dx.doi.org/10.1007/978-3-642-54804-8_27"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-54804-8_27"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/fase/SvenningssonSSANH14"
  researchr: "https://researchr.org/publication/SvenningssonSSANH14"
  cites: 0
  citedby: 0
  pages: "385-399"
  booktitle: "Fundamental Approaches to Software Engineering - 17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings"
  editor:
  - name: "Stefania Gnesi"
    link: "https://researchr.org/alias/stefania-gnesi"
  - name: "Arend Rensink"
    link: "https://researchr.org/alias/arend-rensink"
  volume: "8411"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-54803-1"
  kind: "inproceedings"
  key: "SvenningssonSSANH14"
- title: "Mysteries of DropBox: Property-Based Testing of a Distributed Synchronization Service"
  author:
  - name: "John Hughes"
    link: "http://www.cse.chalmers.se/~rjmh"
  - name: "Benjamin C. Pierce"
    link: "http://www.cis.upenn.edu/~bcpierce/"
  - name: "Thomas Arts"
    link: "https://researchr.org/alias/thomas-arts"
  - name: "Ulf Norell"
    link: "https://researchr.org/alias/ulf-norell"
  year: "2016"
  doi: "http://doi.ieeecomputersociety.org/10.1109/ICST.2016.37"
  links:
    doi: "http://doi.ieeecomputersociety.org/10.1109/ICST.2016.37"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/icst/HughesPAN16"
  researchr: "https://researchr.org/publication/HughesPAN16"
  cites: 0
  citedby: 0
  pages: "135-145"
  booktitle: "2016 IEEE International Conference on Software Testing, Verification and Validation, ICST 2016, Chicago, IL, USA, April 11-15, 2016"
  publisher: "IEEE Computer Society"
  isbn: "978-1-5090-1827-7"
  kind: "inproceedings"
  key: "HughesPAN16"
- title: "Programming with Arrows"
  author:
  - name: "John Hughes"
    link: "http://www.cse.chalmers.se/~rjmh"
  year: "2004"
  doi: "http://dx.doi.org/10.1007/11546382_2"
  links:
    doi: "http://dx.doi.org/10.1007/11546382_2"
  tags:
  - "programming"
  researchr: "https://researchr.org/publication/Hughes04%3A1"
  cites: 0
  citedby: 0
  pages: "73-129"
  booktitle: "Advanced Functional Programming, 5th International School, AFP 2004, Tartu, Estonia, August 14-21, 2004, Revised Lectures"
  editor:
  - name: "Varmo Vene"
    link: "https://researchr.org/alias/varmo-vene"
  - name: "Tarmo Uustalu"
    link: "https://researchr.org/alias/tarmo-uustalu"
  volume: "3622"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-28540-7"
  kind: "inproceedings"
  key: "Hughes04:1"
- title: "Monads and Effects"
  author:
  - name: "Nick Benton"
    link: "https://researchr.org/alias/nick-benton"
  - name: "John Hughes"
    link: "http://www.cse.chalmers.se/~rjmh"
  - name: "Eugenio Moggi"
    link: "https://researchr.org/alias/eugenio-moggi"
  year: "2000"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2395/23950042.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/2395/23950042.htm"
  researchr: "https://researchr.org/publication/BentonHM00"
  cites: 0
  citedby: 0
  pages: "42-122"
  booktitle: "Applied Semantics, International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000, Advanced Lectures"
  editor:
  - name: "Gilles Barthe"
    link: "https://researchr.org/alias/gilles-barthe"
  - name: "Peter Dybjer"
    link: "https://researchr.org/alias/peter-dybjer"
  - name: "Luis Pinto"
    link: "https://researchr.org/alias/luis-pinto"
  - name: "João Saraiva"
    link: "http://di.uminho.pt/~jas"
  volume: "2395"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-44044-5"
  kind: "inproceedings"
  key: "BentonHM00"
- title: "Length-Based Attacks for Certain Group Based Encryption Rewriting Systems"
  author:
  - name: "John Hughes"
    link: "http://www.cse.chalmers.se/~rjmh"
  - name: "A. Tannenbaum"
    link: "https://researchr.org/alias/a.-tannenbaum"
  year: "2003"
  doi: "http://eprint.iacr.org/2003/102"
  links:
    doi: "http://eprint.iacr.org/2003/102"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/iacr/HughesT03"
  researchr: "https://researchr.org/publication/HughesT03"
  cites: 0
  citedby: 0
  journal: "IACR Cryptology ePrint Archive"
  volume: "2003"
  pages: "102"
  kind: "article"
  key: "HughesT03"
- title: "Property-Based Testing - The ProTest Project"
  author:
  - name: "John Derrick"
    link: "https://researchr.org/alias/john-derrick"
  - name: "Neil Walkinshaw"
    link: "https://researchr.org/alias/neil-walkinshaw"
  - name: "Thomas Arts"
    link: "https://researchr.org/alias/thomas-arts"
  - name: "Clara Benac Earle"
    link: "https://researchr.org/alias/clara-benac-earle"
  - name: "Francesco Cesarini"
    link: "https://researchr.org/alias/francesco-cesarini"
  - name: "Lars-Åke Fredlund"
    link: "https://researchr.org/alias/lars-%C3%A5ke-fredlund"
  - name: "Victor Gulias"
    link: "https://researchr.org/alias/victor-gulias"
  - name: "John Hughes"
    link: "http://www.cse.chalmers.se/~rjmh"
  - name: "Simon J. Thompson"
    link: "https://researchr.org/alias/simon-j.-thompson"
  year: "2009"
  doi: "http://dx.doi.org/10.1007/978-3-642-17071-3_13"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-17071-3_13"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/fmco/DerrickWAECFGHT09"
  tags:
  - "rule-based"
  - "testing"
  researchr: "https://researchr.org/publication/DerrickWAECFGHT09"
  cites: 0
  citedby: 0
  pages: "250-271"
  booktitle: "Formal Methods for Components and Objects - 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers"
  editor:
  - name: "Frank S. de Boer"
    link: "https://researchr.org/alias/frank-s.-de-boer"
  - name: "Marcello M. Bonsangue"
    link: "https://researchr.org/alias/marcello-m.-bonsangue"
  - name: "Stefan Hallerstede"
    link: "https://researchr.org/alias/stefan-hallerstede"
  - name: "Michael Leuschel"
    link: "https://researchr.org/alias/michael-leuschel"
  volume: "6286"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-17070-6"
  kind: "inproceedings"
  key: "DerrickWAECFGHT09"
- title: "Extending a partial evaluator which supports separate compilation"
  author:
  - name: "Rogardt Heldal"
    link: "https://researchr.org/alias/rogardt-heldal"
  - name: "John Hughes"
    link: "http://www.cse.chalmers.se/~rjmh"
  year: "2000"
  doi: "http://dx.doi.org/10.1016/S0304-3975(00)00050-5"
  links:
    doi: "http://dx.doi.org/10.1016/S0304-3975(00)00050-5"
  tags:
  - "partial evaluation"
  researchr: "https://researchr.org/publication/HeldalH00"
  cites: 0
  citedby: 0
  journal: "Theoretical Computer Science"
  volume: "248"
  number: "1-2"
  pages: "99-145"
  kind: "article"
  key: "HeldalH00"
- title: "Organizational Transition to Object Technology: Theory and Practice"
  author:
  - name: "M. K. Serour"
    link: "https://researchr.org/alias/m.-k.-serour"
  - name: "Brian Henderson-Sellers"
    link: "https://researchr.org/alias/brian-henderson-sellers"
  - name: "John Hughes"
    link: "http://www.cse.chalmers.se/~rjmh"
  - name: "D. Winder"
    link: "https://researchr.org/alias/d.-winder"
  - name: "L. Chow"
    link: "https://researchr.org/alias/l.-chow"
  year: "2002"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2425/24250229.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/2425/24250229.htm"
  tags:
  - "meta-model"
  - "Meta-Environment"
  - "meta-objects"
  researchr: "https://researchr.org/publication/SerourHHWC02"
  cites: 0
  citedby: 0
  pages: "229-241"
  booktitle: "Object-Oriented. Information Systems, 8th International Conference, OOIS 2002, Montpellier, France, September 2-5, 2002, Proceedings"
  editor:
  - name: "Zohra Bellahsene"
    link: "https://researchr.org/alias/zohra-bellahsene"
  - name: "Dilip Patel"
    link: "https://researchr.org/alias/dilip-patel"
  - name: "Colette Rolland"
    link: "https://researchr.org/alias/colette-rolland"
  volume: "2425"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-44087-9"
  kind: "inproceedings"
  key: "SerourHHWC02"
- title: "An Iterative Powerdomain Construction"
  author:
  - name: "Alex Ferguson"
    link: "https://researchr.org/alias/alex-ferguson"
  - name: "John Hughes"
    link: "http://www.cse.chalmers.se/~rjmh"
  year: "1989"
  researchr: "https://researchr.org/publication/FergusonH89"
  cites: 0
  citedby: 0
  pages: "41-55"
  booktitle: "Functional Programming, Proceedings of the 1989 Glasgow Workshop, 21-23 August 1989, Fraserburgh, Scotland, UK"
  editor:
  - name: "Kei Davis"
    link: "https://researchr.org/alias/kei-davis"
  - name: "John Hughes"
    link: "http://www.cse.chalmers.se/~rjmh"
  series: "Workshops in Computing"
  publisher: "Springer"
  isbn: "3-540-19609-9"
  kind: "inproceedings"
  key: "FergusonH89"
- title: "Fast Abstract Interpretation Using Sequential Algorithms"
  author:
  - name: "Alex Ferguson"
    link: "https://researchr.org/alias/alex-ferguson"
  - name: "John Hughes"
    link: "http://www.cse.chalmers.se/~rjmh"
  year: "1993"
  researchr: "https://researchr.org/publication/FergusonH93"
  cites: 0
  citedby: 0
  pages: "45-59"
  booktitle: "Static Analysis, Third International Workshop, WSA 93, Padova, Italy, September 22-24, 1993, Proceedings"
  editor:
  - name: "Patrick Cousot"
    link: "https://researchr.org/alias/patrick-cousot"
  - name: "Moreno Falaschi"
    link: "https://researchr.org/alias/moreno-falaschi"
  - name: "Gilberto Filé"
    link: "https://researchr.org/alias/gilberto-fil%C3%A9"
  - name: "Antoine Rauzy"
    link: "https://researchr.org/alias/antoine-rauzy"
  volume: "724"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-57264-3"
  kind: "inproceedings"
  key: "FergusonH93"
- title: "QuickCheck Testing for Fun and Profit"
  author:
  - name: "John Hughes"
    link: "http://www.cse.chalmers.se/~rjmh"
  year: "2007"
  doi: "http://dx.doi.org/10.1007/978-3-540-69611-7_1"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-69611-7_1"
  tags:
  - "testing"
  - "QuickCheck"
  researchr: "https://researchr.org/publication/Hughes07%3A2"
  cites: 0
  citedby: 0
  pages: "1-32"
  booktitle: "Practical Aspects of Declarative Languages, 9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007"
  editor:
  - name: "Michael Hanus"
    link: "http://www.informatik.uni-kiel.de/~mh/"
  volume: "4354"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-69608-7"
  kind: "inproceedings"
  key: "Hughes07:2"
- title: "Testing AUTOSAR software with QuickCheck"
  author:
  - name: "Thomas Arts"
    link: "https://researchr.org/alias/thomas-arts"
  - name: "John Hughes"
    link: "http://www.cse.chalmers.se/~rjmh"
  - name: "Ulf Norell"
    link: "https://researchr.org/alias/ulf-norell"
  - name: "Hans Svensson"
    link: "https://researchr.org/alias/hans-svensson"
  year: "2015"
  doi: "http://dx.doi.org/10.1109/ICSTW.2015.7107466"
  links:
    doi: "http://dx.doi.org/10.1109/ICSTW.2015.7107466"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/icst/ArtsHNS15"
  researchr: "https://researchr.org/publication/ArtsHNS15"
  cites: 0
  citedby: 0
  pages: "1-4"
  booktitle: "Eighth IEEE International Conference on Software Testing, Verification and Validation, ICST 2015 Workshops, Graz, Austria, April 13-17, 2015"
  publisher: "IEEE Computer Society"
  isbn: "978-1-4799-1885-0"
  kind: "inproceedings"
  key: "ArtsHNS15"
- title: "An Experimental Investigation of the Performance of a Computer-Aided Building Design System"
  author:
  - name: "B. G. J. Thompson"
    link: "https://researchr.org/alias/b.-g.-j.-thompson"
  - name: "John Hughes"
    link: "http://www.cse.chalmers.se/~rjmh"
  year: "1974"
  tags:
  - "design"
  researchr: "https://researchr.org/publication/ThompsonH74"
  cites: 0
  citedby: 0
  pages: "773-777"
  booktitle: "IFIP Congress"
  kind: "inproceedings"
  key: "ThompsonH74"
- title: "Testing noninterference, quickly"
  author:
  - name: "Catalin Hritcu"
    link: "https://researchr.org/alias/catalin-hritcu"
  - name: "Leonidas Lampropoulos"
    link: "https://researchr.org/alias/leonidas-lampropoulos"
  - name: "Antal Spector-Zabusky"
    link: "https://researchr.org/alias/antal-spector-zabusky"
  - name: "Arthur Azevedo de Amorim"
    link: "https://researchr.org/alias/arthur-azevedo-de-amorim"
  - name: "Maxime Dénès"
    link: "https://researchr.org/alias/maxime-d%C3%A9n%C3%A8s"
  - name: "John Hughes"
    link: "http://www.cse.chalmers.se/~rjmh"
  - name: "Benjamin C. Pierce"
    link: "http://www.cis.upenn.edu/~bcpierce/"
  - name: "Dimitrios Vytiniotis"
    link: "https://researchr.org/alias/dimitrios-vytiniotis"
  year: "2016"
  doi: "http://dx.doi.org/10.1017/S0956796816000058"
  links:
    doi: "http://dx.doi.org/10.1017/S0956796816000058"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/jfp/HritcuLSADHPV16"
  researchr: "https://researchr.org/publication/HritcuLSADHPV16"
  cites: 0
  citedby: 0
  journal: "Journal of Functional Programming"
  volume: "26"
  kind: "article"
  key: "HritcuLSADHPV16"
- title: "QuickCheck: a lightweight tool for random testing of Haskell programs"
  author:
  - name: "Koen Claessen"
    link: "http://www.cse.chalmers.se/~koen/"
  - name: "John Hughes"
    link: "http://www.cse.chalmers.se/~rjmh"
  year: "2000"
  doi: "http://doi.acm.org/10.1145/351240.351266"
  abstract: "Quick Check is a tool which aids the Haskell programmer in formulating and testing properties of programs. Properties are described as Haskell functions, and can be automatically tested on random input, but it is also possible to define custom test data generators. We present a number of case studies, in which the tool was successfully used, and also point out some pitfalls to avoid. Random testing is especially suitable for functional programs because properties can be stated at a fine grain. When a function is built from separately tested components, then random testing suffices to obtain good coverage of the definition under test."
  links:
    doi: "http://doi.acm.org/10.1145/351240.351266"
  tags:
  - "test coverage"
  - "case study"
  - "functional programming"
  - "testing"
  - "Haskell"
  - "data-flow programming"
  - "data-flow"
  - "random testing"
  - "programming"
  - "coverage"
  - "QuickCheck"
  researchr: "https://researchr.org/publication/ClaessenH00"
  cites: 19
  citedby: 0
  pages: "268-279"
  booktitle: "ICFP"
  kind: "inproceedings"
  key: "ClaessenH00"
- title: "Type Specialization for Imperative Languages"
  author:
  - name: "Dirk Dussart"
    link: "https://researchr.org/alias/dirk-dussart"
  - name: "John Hughes"
    link: "http://www.cse.chalmers.se/~rjmh"
  - name: "Peter Thiemann"
    link: "https://researchr.org/alias/peter-thiemann"
  year: "1997"
  researchr: "https://researchr.org/publication/DussartHT97"
  cites: 0
  citedby: 0
  pages: "204-216"
  booktitle: "ICFP"
  kind: "inproceedings"
  key: "DussartHT97"
- title: "Informatics education: trends, problems and the future"
  author:
  - name: "A. Joe Turner"
    link: "https://researchr.org/alias/a.-joe-turner"
  - name: "John Hughes"
    link: "http://www.cse.chalmers.se/~rjmh"
  year: "1997"
  researchr: "https://researchr.org/publication/TurnerH97"
  cites: 0
  citedby: 0
  pages: "11-16"
  booktitle: "Informatics in Higher Education, Views on informatics and non-informatics curricula, IFIP TC3/WG3.2 International Conference on Informatics (computer science) as a Discipline and in Other Disciplines: waht is common? 17-20 August 1997, Enschede, The Nethe"
  editor:
  - name: "Fred Mulder"
    link: "https://researchr.org/alias/fred-mulder"
  - name: "Tom J. van Weert"
    link: "https://researchr.org/alias/tom-j.-van-weert"
  volume: "128"
  series: "IFIP Conference Proceedings"
  publisher: "Chapman & Hall"
  isbn: "0-412-80790-4"
  kind: "inproceedings"
  key: "TurnerH97"
- title: "Reverse Engineering Structured Code to an Object-Oriented Representation"
  author:
  - name: "Don McFall"
    link: "https://researchr.org/alias/don-mcfall"
  - name: "Gillian Sleith"
    link: "https://researchr.org/alias/gillian-sleith"
  - name: "John Hughes"
    link: "http://www.cse.chalmers.se/~rjmh"
  year: "1993"
  tags:
  - "meta-model"
  - "reverse engineering"
  - "model-driven engineering"
  - "Meta-Environment"
  - "meta-objects"
  researchr: "https://researchr.org/publication/McFallSH93"
  cites: 0
  citedby: 0
  pages: "86-93"
  booktitle: "SEKE 93, The 5th International Conference on Software Engineering and Knowledge Engineering, Tutorials, June 14-15, 1993, Technical Program, June 16-18, 1993, Hotel Sofitel, San Francisco Bay, USA"
  publisher: "Knowledge Systems Institute"
  kind: "inproceedings"
  key: "McFallSH93"
- title: "Projections for Polymorphic Strictness Analysis"
  author:
  - name: "John Hughes"
    link: "http://www.cse.chalmers.se/~rjmh"
  year: "1989"
  tags:
  - "analysis"
  researchr: "https://researchr.org/publication/Hughes89"
  cites: 0
  citedby: 0
  pages: "82-100"
  booktitle: "Category Theory and Computer Science, Manchester, UK, September 5-8, 1989, Proceedings"
  editor:
  - name: "David H. Pitt"
    link: "https://researchr.org/alias/david-h.-pitt"
  - name: "David E. Rydeheard"
    link: "https://researchr.org/alias/david-e.-rydeheard"
  - name: "Peter Dybjer"
    link: "https://researchr.org/alias/peter-dybjer"
  - name: "Andrew M. Pitts"
    link: "https://researchr.org/alias/andrew-m.-pitts"
  - name: "Axel Poigné"
    link: "https://researchr.org/alias/axel-poign%C3%A9"
  volume: "389"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-51662-X"
  kind: "inproceedings"
  key: "Hughes89"
- title: "Ethically Situated Information Systems Development"
  author:
  - name: "A. T. Wood-Harper"
    link: "https://researchr.org/alias/a.-t.-wood-harper"
  - name: "Steve Corder"
    link: "https://researchr.org/alias/steve-corder"
  - name: "B. Byrne"
    link: "https://researchr.org/alias/b.-byrne"
  - name: "John Hughes"
    link: "http://www.cse.chalmers.se/~rjmh"
  year: "1999"
  researchr: "https://researchr.org/publication/Wood-HarperCBH99"
  cites: 0
  citedby: 0
  journal: "Australian Computer Journal"
  volume: "31"
  number: "3"
  pages: "66-71"
  kind: "article"
  key: "Wood-HarperCBH99"
- title: "Proceedings of the 2002 ACM SIGPLAN Workshop on Erlang, Pittsburgh, Pennsylvania, USA, October 7, 2002"
  year: "2002"
  researchr: "https://researchr.org/publication/erlang%3A2002"
  cites: 0
  citedby: 0
  booktitle: "Proceedings of the 2002 ACM SIGPLAN Workshop on Erlang, Pittsburgh, Pennsylvania, USA, October 7, 2002"
  conference: "erlang"
  editor:
  - name: "Rex L. Page"
    link: "https://researchr.org/alias/rex-l.-page"
  - name: "John Hughes"
    link: "http://www.cse.chalmers.se/~rjmh"
  publisher: "ACM"
  isbn: "1-58113-592-0"
  kind: "proceedings"
  key: "erlang:2002"
- title: "Functional Programming, Proceedings of the 1989 Glasgow Workshop, 21-23 August 1989, Fraserburgh, Scotland, UK"
  year: "1990"
  tags:
  - "functional programming"
  - "programming"
  researchr: "https://researchr.org/publication/fp%3A1989"
  cites: 0
  citedby: 0
  booktitle: "Functional Programming, Proceedings of the 1989 Glasgow Workshop, 21-23 August 1989, Fraserburgh, Scotland, UK"
  editor:
  - name: "Kei Davis"
    link: "https://researchr.org/alias/kei-davis"
  - name: "John Hughes"
    link: "http://www.cse.chalmers.se/~rjmh"
  series: "Workshops in Computing"
  publisher: "Springer"
  isbn: "3-540-19609-9"
  kind: "proceedings"
  key: "fp:1989"
- title: "Functional Programming Languages and Computer Architecture, 5th ACM Conference, Cambridge, MA, USA, August 26-30, 1991, Proceedings"
  year: "1991"
  tags:
  - "programming languages"
  - "architecture"
  - "functional programming"
  - "programming"
  researchr: "https://researchr.org/publication/fpca%3A1991"
  cites: 0
  citedby: 0
  booktitle: "Functional Programming Languages and Computer Architecture, 5th ACM Conference, Cambridge, MA, USA, August 26-30, 1991, Proceedings"
  conference: "fpca"
  editor:
  - name: "John Hughes"
    link: "http://www.cse.chalmers.se/~rjmh"
  volume: "523"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-54396-1"
  kind: "proceedings"
  key: "fpca:1991"
- title: "Dependently Typed Programming, 12.09. - 17.09.2004"
  year: "2004"
  doi: "http://drops.dagstuhl.de/portals/04381/"
  links:
    doi: "http://drops.dagstuhl.de/portals/04381/"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/dagstuhl/2004P4381"
  researchr: "https://researchr.org/publication/dagstuhl-2004P4381"
  cites: 0
  citedby: 0
  booktitle: "Dependently Typed Programming, 12.09. - 17.09.2004"
  conference: "Dagstuhl"
  editor:
  - name: "Thorsten Altenkirch"
    link: "https://researchr.org/alias/thorsten-altenkirch"
  - name: "Martin Hofmann 0001"
    link: "https://researchr.org/alias/martin-hofmann-0001"
  - name: "John Hughes"
    link: "http://www.cse.chalmers.se/~rjmh"
  volume: "04381"
  series: "Dagstuhl Seminar Proceedings"
  publisher: "Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany"
  kind: "proceedings"
  key: "dagstuhl-2004P4381"
- title: "Proceedings of the Eleventh ACM SIGPLAN Erlang Workshop, Copenhagen, Denmark, September 14, 2012"
  year: "2012"
  doi: "http://dl.acm.org/citation.cfm?id=2364489"
  links:
    doi: "http://dl.acm.org/citation.cfm?id=2364489"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/erlang/2012"
  researchr: "https://researchr.org/publication/erlang-2012"
  cites: 0
  citedby: 0
  booktitle: "Proceedings of the Eleventh ACM SIGPLAN Erlang Workshop, Copenhagen, Denmark, September 14, 2012"
  conference: "erlang"
  editor:
  - name: "Torben Hoffman"
    link: "https://researchr.org/alias/torben-hoffman"
  - name: "John Hughes"
    link: "http://www.cse.chalmers.se/~rjmh"
  publisher: "ACM"
  isbn: "978-1-4503-1575-3"
  kind: "proceedings"
  key: "erlang-2012"