@article{HughesL92:1,
  title = {Projections for Polymorphic First-Order Strictness Analysis},
  author = {John Hughes and 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},
}

@article{Hughes86,
  title = {A Novel Representation of Lists and its Application to the Function  reverse },
  author = {John Hughes},
  year = {1986},
  researchr = {https://researchr.org/publication/Hughes86},
  cites = {0},
  citedby = {0},
  journal = {Inf. Process. Lett.},
  volume = {22},
  number = {3},
  pages = {141-144},
}

@inproceedings{ArtsHNSS11,
  title = {Accelerating race condition detection through procrastination},
  author = {Thomas Arts and John Hughes and Ulf Norell and Nicholas Smallbone and Hans Svensson},
  year = {2011},
  doi = {10.1145/2034654.2034659},
  url = {http://doi.acm.org/10.1145/2034654.2034659},
  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 = {Kenji Rikitake and Erik Stenman},
  publisher = {ACM},
  isbn = {978-1-4503-0859-5},
}

@inproceedings{PalkaAST2011,
  title = {Testing an optimising compiler by generating random lambda terms},
  author = {Michal H. Palka and Koen Claessen and Russo, Alejandro and John Hughes},
  year = {2011},
  url = {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},
}

@inproceedings{KubiakHL91,
  title = {Implementing Projection-based Strictness Analysis},
  author = {Ryszard Kubiak and John Hughes and 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 = {Rogardt Heldal and Carsten Kehler Holst and Philip Wadler},
  series = {Workshops in Computing},
  publisher = {Springer},
  isbn = {3-540-19760-5},
}

@inproceedings{Altenkirch0H04,
  title = {04381 Abstracts Collection - Dependently Typed Programming},
  author = {Thorsten Altenkirch and Martin Hofmann 0001 and John Hughes},
  year = {2004},
  url = {http://drops.dagstuhl.de/opus/volltexte/2005/186/},
  researchr = {https://researchr.org/publication/Altenkirch0H04},
  cites = {0},
  citedby = {0},
  booktitle = {Dependently Typed Programming, 12.09. - 17.09.2004},
  editor = {Thorsten Altenkirch and Martin Hofmann 0001 and John Hughes},
  volume = {04381},
  series = {Dagstuhl Seminar Proceedings},
  publisher = {Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany},
}

@inproceedings{GutermuteHHW99,
  title = {Integrating art and technology in a statewide curriculum},
  author = {Taylor Gutermute and Lynn Hickey and John Hughes and Alan Warhaftig},
  year = {1999},
  doi = {10.1145/311625.311688},
  url = {http://doi.acm.org/10.1145/311625.311688},
  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 = {Jodi Giroux and Anne Richardson and Jill Smolin},
  publisher = {ACM},
  isbn = {1-58113-103-8},
}

@inproceedings{ClaessenRCHW02,
  title = {Testing and Tracing Lazy Functional Programs Using QuickCheck and Hat},
  author = {Koen Claessen and Colin Runciman and Olaf Chitil and John Hughes and Malcolm Wallace},
  year = {2002},
  url = {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 = {Johan  Jeuring and Simon L. Peyton Jones},
  volume = {2638},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-40132-6},
}

@inproceedings{Hughes11-1,
  title = {tutorial talk},
  author = {John Hughes},
  year = {2011},
  url = {http://dl.acm.org/citation.cfm?id=2157659},
  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 = {Per Bjesse and Anna Slobodová},
  publisher = {FMCAD Inc.},
  isbn = {978-0-9835678-1-3},
}

@inproceedings{EarleFH16,
  title = {Automatic Grading of Programming Exercises using Property-Based Testing},
  author = {Clara Benac Earle and Lars-Åke Fredlund and John Hughes},
  year = {2016},
  doi = {10.1145/2899415.2899443},
  url = {http://doi.acm.org/10.1145/2899415.2899443},
  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 = {Alison Clear and Ernesto Cuadros-Vargas and Janet Carter and Yvan Tupac},
  publisher = {ACM},
  isbn = {978-1-4503-4231-5},
}

@inproceedings{HritcuHPSVAL13,
  title = {Testing noninterference, quickly},
  author = {Catalin Hritcu and John Hughes and Benjamin C. Pierce and Antal Spector-Zabusky and Dimitrios Vytiniotis and Arthur Azevedo de Amorim and Leonidas Lampropoulos},
  year = {2013},
  doi = {10.1145/2500365.2500574},
  url = {http://doi.acm.org/10.1145/2500365.2500574},
  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 = {Greg Morrisett and Tarmo Uustalu},
  publisher = {ACM},
  isbn = {978-1-4503-2326-0},
}

@inproceedings{HudakHJW07,
  title = {A history of Haskell: being lazy with class},
  author = {Paul Hudak and John Hughes and Simon L. Peyton Jones and Philip Wadler},
  year = {2007},
  doi = {10.1145/1238844.1238856},
  url = {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 = {Barbara G. Ryder and Brent Hailpern},
  publisher = {ACM},
}

@inproceedings{HughesPS96,
  title = {Proving the Correctness of Reactive Systems Using Sized Types},
  author = {John Hughes and Lars Pareto and Amr Sabry},
  year = {1996},
  doi = {10.1145/237721.240882},
  url = {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},
}

@inproceedings{Hughes95-PP,
  title = {The Design of a Pretty-printing Library},
  author = {John Hughes},
  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 = {Johan  Jeuring and Erik Meijer},
  volume = {925},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-59451-5},
}

@inproceedings{RussoHNS06,
  title = {Closing Internal Timing Channels by Transformation},
  author = {Alejandro Russo and John Hughes and David A. Naumann and Andrei Sabelfeld},
  year = {2006},
  doi = {10.1007/978-3-540-77505-8_10},
  url = {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 = {Mitsu Okada and Ichiro Satoh},
  volume = {4435},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-77504-1},
}

@inproceedings{BarakiH89,
  title = {Abstract Interpretation of Polymorphic Functions},
  author = {Gebreselassie Baraki and John Hughes},
  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 = {Kei Davis and John Hughes},
  series = {Workshops in Computing},
  publisher = {Springer},
  isbn = {3-540-19609-9},
}

@inproceedings{PalkaCRH11,
  title = {Testing an optimising compiler by generating random lambda terms},
  author = {Michal H. Palka and Koen Claessen and Alejandro Russo and John Hughes},
  year = {2011},
  doi = {10.1145/1982595.1982615},
  url = {http://doi.acm.org/10.1145/1982595.1982615},
  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 = {Antonia Bertolino and Howard Foster and J. Jenny Li},
  publisher = {ACM},
  isbn = {978-1-4503-0592-1},
}

@article{HughesL94,
  title = {Reversing Abstract Interpretations},
  author = {John Hughes and 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},
}

@inproceedings{LopezH02,
  title = {Principal type specialisation},
  author = {Pablo E. Martínez López and John Hughes},
  year = {2002},
  doi = {10.1145/568173.568184},
  url = {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},
}

@article{RowejBDLMBBHIJLRW02,
  title = {Transport of quantum states and separation of ions in a dual RF ion trap},
  author = {M. A. Rowej and Amit Ben-Kish and Brian Demarco and Dietrich Leibfried and Volker Meyer and Jim Beall and Joe Britton and John Hughes and Wayne M. Itano and Brana Jelenkovic and Chris Langer and Till Rosenband and David J. Wineland},
  year = {2002},
  url = {http://portal.acm.org/citation.cfm?id=2011478},
  researchr = {https://researchr.org/publication/RowejBDLMBBHIJLRW02},
  cites = {0},
  citedby = {0},
  journal = {Quantum Information & Computation},
  volume = {2},
  number = {4},
  pages = {257-271},
}

@inproceedings{TuncFAHH14,
  title = {Autonomic Resilient Cloud Management (ARCM) Design and Evaluation},
  author = {Cihan Tunc and Farah Fargo and Youssif B. Al-Nashif and Salim Hariri and John Hughes},
  year = {2014},
  doi = {10.1109/ICCAC.2014.35},
  url = {http://doi.ieeecomputersociety.org/10.1109/ICCAC.2014.35},
  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},
}

@inproceedings{TahaMH01,
  title = {Tag Elimination and Jones-Optimality},
  author = {Walid Taha and Henning Makholm and John Hughes},
  year = {2001},
  url = {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 = {Olivier Danvy and Andrzej Filinski},
  volume = {2053},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-42068-1},
}

@article{HughesL92,
  title = {Relational Reversal of Abstract Interpretation},
  author = {John Hughes and 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},
}

@inproceedings{Hughes85:0,
  title = {Strictness detection in non-flat domains},
  author = {John Hughes},
  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 = {Harald Ganzinger and Neil D. Jones},
  volume = {217},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-16446-4},
}

@article{Hughes08:0,
  title = {Experiences from teaching functional programming at Chalmers},
  author = {John Hughes},
  year = {2008},
  doi = {10.1145/1480828.1480845},
  url = {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},
}

@inproceedings{Hughes85,
  title = {Lazy Memo-functions},
  author = {John Hughes},
  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},
}

@article{Hughes99:1,
  title = {Certificate inter-operability - white paper},
  author = {John Hughes},
  year = {1999},
  doi = {10.1016/S0167-4048(99)80067-4},
  url = {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},
}

@inproceedings{DussartHH97,
  title = {Module-Sensitive Program Specialisation},
  author = {Dirk Dussart and Rogardt Heldal and John Hughes},
  year = {1997},
  researchr = {https://researchr.org/publication/DussartHH97},
  cites = {0},
  citedby = {0},
  pages = {206-214},
  booktitle = {PLDI},
}

@article{Hughes89:0,
  title = {Why Functional Programming Matters},
  author = {John Hughes},
  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},
}

@inproceedings{HughesL92:0,
  title = {Reversing Abstract Interpretations},
  author = {John Hughes and 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 = {Bernd Krieg-Brückner},
  volume = {582},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-55253-7},
}

@inproceedings{Hughes85a,
  title = {A Distributed Garbage Collection Algorithm},
  author = {John Hughes},
  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},
}

@inproceedings{HughesA94,
  title = {The Automated Evaluation of Inferred Word Classifications},
  author = {John Hughes and Eric Atwell},
  year = {1994},
  tags = {classification},
  researchr = {https://researchr.org/publication/HughesA94},
  cites = {0},
  citedby = {0},
  pages = {535-539},
  booktitle = {ECAI},
}

@article{ClaessenH02,
  title = {Testing monadic code with QuickCheck},
  author = {Koen Claessen and John Hughes},
  year = {2002},
  doi = {10.1145/636517.636527},
  url = {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},
}

@inproceedings{ArtsBGH15,
  title = {Graphical editing support for QuickCheck models},
  author = {Thomas Arts and Kirill Bogdanov and Alex Gerdes and John Hughes},
  year = {2015},
  doi = {10.1109/ICSTW.2015.7107473},
  url = {http://dx.doi.org/10.1109/ICSTW.2015.7107473},
  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},
}

@inproceedings{ClaessenSH10,
  title = {QuickSpec: Guessing Formal Specifications Using Testing},
  author = {Koen Claessen and Nicholas Smallbone and John Hughes},
  year = {2010},
  doi = {10.1007/978-3-642-13977-2_3},
  url = {http://dx.doi.org/10.1007/978-3-642-13977-2_3},
  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 = {Gordon Fraser and Angelo Gargantini},
  volume = {6143},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-13976-5},
}

@inproceedings{ArtsCH08,
  title = {Testing Erlang data types with quviq quickcheck},
  author = {Thomas Arts and Laura M. Castro and John Hughes},
  year = {2008},
  doi = {10.1145/1411273.1411275},
  url = {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 = {Soon Tee Teoh and Zoltán Horváth},
  publisher = {ACM},
  isbn = {978-1-60558-065-4},
}

@inproceedings{FetscherCPHF15,
  title = {Making Random Judgments: Automatically Generating Well-Typed Terms from the Definition of a Type-System},
  author = {Burke Fetscher and Koen Claessen and Michal H. Palka and John Hughes and Robby Findler},
  year = {2015},
  doi = {10.1007/978-3-662-46669-8_16},
  url = {http://dx.doi.org/10.1007/978-3-662-46669-8_16},
  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 = {Jan Vitek},
  volume = {9032},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-662-46668-1},
}

@inproceedings{TsaiRH07,
  title = {A Library for Secure Multi-threaded Information Flow in Haskell},
  author = {Ta-Chung Tsai and Alejandro Russo and John Hughes},
  year = {2007},
  doi = {10.1109/CSF.2007.6},
  url = {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},
}

@inproceedings{HolstH91,
  title = {A Loop-Detecting Interpreter for Lazy Programs},
  author = {Carsten Kehler Holst and John Hughes},
  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 = {Rogardt Heldal and Carsten Kehler Holst and Philip Wadler},
  series = {Workshops in Computing},
  publisher = {Springer},
  isbn = {3-540-19760-5},
}

@inproceedings{HughesO89,
  title = {Expressing and Reasoning About Non-Deterministic Functional Programs},
  author = {John Hughes and 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 = {Kei Davis and John Hughes},
  series = {Workshops in Computing},
  publisher = {Springer},
  isbn = {3-540-19609-9},
}

@inproceedings{HughesF92,
  title = {A Loop-Detecting Interpreter for Lazy, Higher-Order Programs},
  author = {John Hughes and 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 = {John Launchbury and Patrick M. Sansom},
  series = {Workshops in Computing},
  publisher = {Springer},
  isbn = {3-540-19820-2},
}

@article{BindelFGHK14,
  title = {Numerical computation of bifurcations in large equilibrium systems in matlab},
  author = {David Bindel and Mark J. Friedman and Willy Govaerts and John Hughes and Yuri A. Kuznetsov},
  year = {2014},
  doi = {10.1016/j.cam.2013.10.034},
  url = {http://dx.doi.org/10.1016/j.cam.2013.10.034},
  researchr = {https://researchr.org/publication/BindelFGHK14},
  cites = {0},
  citedby = {0},
  journal = {J. Computational Applied Mathematics},
  volume = {261},
  pages = {232-248},
}

@inproceedings{Hughes00:0,
  title = {The Correctness of Type Specialisation},
  author = {John Hughes},
  year = {2000},
  url = {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 = {Gert Smolka},
  volume = {1782},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-67262-1},
}

@inproceedings{HughesNS10,
  title = {Using temporal relations to specify and test an instant messaging server},
  author = {John Hughes and Ulf Norell and Jérôme Sautret},
  year = {2010},
  doi = {10.1145/1808266.1808281},
  url = {http://doi.acm.org/10.1145/1808266.1808281},
  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 = {Hong Zhu and W. K. Chan and Christof J. Budnik and Gregory M. Kapfhammer},
  publisher = {ACM},
  isbn = {978-1-60558-970-1},
}

@inproceedings{ClaessenHPSS10,
  title = {Ranking programs using black box testing},
  author = {Koen Claessen and John Hughes and Michal H. Palka and Nicholas Smallbone and Hans Svensson},
  year = {2010},
  doi = {10.1145/1808266.1808282},
  url = {http://doi.acm.org/10.1145/1808266.1808282},
  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 = {Hong Zhu and W. K. Chan and Christof J. Budnik and Gregory M. Kapfhammer},
  publisher = {ACM},
  isbn = {978-1-60558-970-1},
}

@inproceedings{LampropoulosGHH17,
  title = {Beginner's luck: a language for property-based generators},
  author = {Leonidas Lampropoulos and Diane Gallois-Wong and Catalin Hritcu and John Hughes and Benjamin C. Pierce and Li-yao Xia},
  year = {2017},
  url = {http://dl.acm.org/citation.cfm?id=3009868},
  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 = {Giuseppe Castagna and Andrew D. Gordon},
  publisher = {ACM},
  isbn = {978-1-4503-4660-3},
}

@inproceedings{ArtsHJW06,
  title = {Testing telecoms software with quviq QuickCheck},
  author = {Thomas Arts and John Hughes and Joakim Johansson and Ulf Wiger},
  year = {2006},
  doi = {10.1145/1159789.1159792},
  url = {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 = {Marc Feeley and Philip W. Trinder},
  publisher = {ACM},
  isbn = {1-59593-490-1},
}

@inproceedings{ArtsH16,
  title = {How Well are Your Requirements Tested?},
  author = {Thomas Arts and John Hughes},
  year = {2016},
  doi = {10.1109/ICST.2016.23},
  url = {http://doi.ieeecomputersociety.org/10.1109/ICST.2016.23},
  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},
}

@inproceedings{Hughes92:0,
  title = {Pretty-printing: An Exercise in Functional Programming},
  author = {John Hughes},
  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 = {Richard S. Bird and Carroll Morgan and Jim Woodcock},
  volume = {669},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-56625-2},
}

@inproceedings{Hughes99:0,
  title = {The Realities of PKI Inter-operability},
  author = {John Hughes},
  year = {1999},
  url = {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 = {Rainer Baumgart},
  volume = {1740},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-66800-4},
}

@article{BirdH87,
  title = {The alpha-beta Algorithm: An Exercise in Program Transformation},
  author = {Richard S. Bird and John Hughes},
  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},
}

@article{Hughes98,
  title = {Selection and evaluation of information systems methologies: the gap between theory and practice},
  author = {John Hughes},
  year = {1998},
  researchr = {https://researchr.org/publication/Hughes98},
  cites = {0},
  citedby = {0},
  journal = {IEE Proceedings - Software},
  volume = {145},
  number = {4},
  pages = {100-104},
}

@inproceedings{HughesMBKKFMMOOSST02,
  title = {Directions and Challenges in Informatics Education},
  author = {John Hughes and Andrew D. McGettrick and Ellen Francine Barbosa and Jens Kaasbøll and Vinícius Medina Kern and Ana Paula Lüdtke Ferreira and Esselina Macome and Joberto Martins and Clara Amélia de Oliveira and Alfonso Ignacio Orth and R. Sadananda and Elaine da Silva and 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 = {Lillian N. Cassel and Ricardo Augusto da Luz Reis},
  volume = {245},
  series = {IFIP Conference Proceedings},
  publisher = {Kluwer},
  isbn = {1-4020-7266-X},
}

@inproceedings{AbelBBHN05,
  title = {Verifying haskell programs using constructive type theory},
  author = {Andreas Abel and Marcin Benke and Ana Bove and John Hughes and Ulf Norell},
  year = {2005},
  doi = {10.1145/1088348.1088355},
  url = {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 = {Daan Leijen},
  publisher = {ACM},
  isbn = {1-59593-071-X},
}

@article{ComiskeyMOHME16,
  title = {Collaborative & Multidiscipline Working - From Theory to Practice in 48 Hours: A Case Study from BIM Region Northern Ireland},
  author = {David Comiskey and Mark McKane and Eóin O'Shea and John Hughes and Sean McNiff and Robert Eadie},
  year = {2016},
  doi = {10.4018/IJ3DIM.2016040104},
  url = {http://dx.doi.org/10.4018/IJ3DIM.2016040104},
  researchr = {https://researchr.org/publication/ComiskeyMOHME16},
  cites = {0},
  citedby = {0},
  journal = {IJ3DIM},
  volume = {5},
  number = {2},
  pages = {55-71},
}

@article{ZhuHHX14,
  title = {Toward a mature industrial practice of software test automation},
  author = {Hong Zhu and Daniel Hoffman and John Hughes and Dianxiang Xu},
  year = {2014},
  doi = {10.1007/s11219-014-9232-8},
  url = {http://dx.doi.org/10.1007/s11219-014-9232-8},
  researchr = {https://researchr.org/publication/ZhuHHX14},
  cites = {0},
  citedby = {0},
  journal = {Software Quality Journal},
  volume = {22},
  number = {2},
  pages = {239-240},
}

@inproceedings{GerdesHSW15,
  title = {Linking unit tests and properties},
  author = {Alex Gerdes and John Hughes and Nicholas Smallbone and Meng Wang},
  year = {2015},
  doi = {10.1145/2804295.2804298},
  url = {http://doi.acm.org/10.1145/2804295.2804298},
  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 = {Hans Svensson and Melinda Tóth},
  publisher = {ACM},
  isbn = {978-1-4503-3805-9},
}

@article{Hughes00:4,
  title = {Generalising monads to arrows},
  author = {John Hughes},
  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},
}

@article{ChiangBH06,
  title = {A biologically-inspired multi-agent framework for autonomic service management},
  author = {Frank Chiang and Robin Braun and John Hughes},
  year = {2006},
  doi = {10.1108/17427370780000155},
  url = {http://dx.doi.org/10.1108/17427370780000155},
  researchr = {https://researchr.org/publication/ChiangBH06},
  cites = {0},
  citedby = {0},
  journal = {Int. J. Pervasive Computing and Communications},
  volume = {2},
  number = {3},
  pages = {261-276},
}

@article{ClaessenH02-0,
  title = {Testing monadic code with QuickCheck},
  author = {Koen Claessen and John Hughes},
  year = {2002},
  doi = {10.1145/636517.636527},
  url = {http://doi.acm.org/10.1145/636517.636527},
  researchr = {https://researchr.org/publication/ClaessenH02-0},
  cites = {0},
  citedby = {0},
  journal = {SIGPLAN Notices},
  volume = {37},
  number = {12},
  pages = {47-59},
}

@article{JonesHL93,
  title = {How to Give a Good Research Talk},
  author = {Simon L. Peyton Jones and John Hughes and John Launchbury},
  year = {1993},
  tags = {research talk},
  researchr = {https://researchr.org/publication/JonesHL93},
  cites = {0},
  citedby = {0},
  journal = {SIGPLAN Notices},
  volume = {28},
  number = {11},
  pages = {9-12},
}

@inproceedings{HughesM95,
  title = {Making Choices Lazily},
  author = {John Hughes and Andrew Moran},
  year = {1995},
  tags = {laziness},
  researchr = {https://researchr.org/publication/HughesM95},
  cites = {0},
  citedby = {0},
  pages = {108-119},
  booktitle = {FPCA},
}

@inproceedings{RussoCH08,
  title = {A library for light-weight information-flow security in haskell},
  author = {Alejandro Russo and Koen Claessen and John Hughes},
  year = {2008},
  doi = {10.1145/1411286.1411289},
  url = {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 = {Andy Gill},
  publisher = {ACM},
  isbn = {978-1-60558-064-7},
}

@inproceedings{HughesP99,
  title = {Recursion and Dynamic Data-structures in Bounded Space: Towards Embedded ML Programming},
  author = {John Hughes and Lars Pareto},
  year = {1999},
  doi = {10.1145/317636.317785},
  url = {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},
}

@article{HudakPWBFFGHHJKNPP92,
  title = {Report on the Programming Language Haskell, A Non-strict, Purely Functional Language},
  author = {Paul Hudak and Simon L. Peyton Jones and Philip Wadler and Brian Boutel and Jon Fairbairn and Joseph H. Fasel and María M. Guzmán and Kevin Hammond and John Hughes and Thomas Johnsson and Richard B. Kieburtz and Rishiyur S. Nikhil and Will Partain and 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},
}

@inproceedings{Hughes96:0,
  title = {Type Specialisation for the lambda-Calculus; or, A New Paradigm for Partial Evaluation Based on Type Inference},
  author = {John Hughes},
  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},
  editor = {Olivier Danvy and Robert Glück and Peter Thiemann},
  volume = {1110},
  series = {Lecture Notes in Computer Science},
  address = {Dagstuhl Castle, Germany},
  publisher = {Springer},
  isbn = {3-540-61580-6},
}

@inproceedings{Hughes16,
  title = {Experiences with QuickCheck: Testing the Hard Stuff and Staying Sane},
  author = {John Hughes},
  year = {2016},
  doi = {10.1007/978-3-319-30936-1_9},
  url = {http://dx.doi.org/10.1007/978-3-319-30936-1_9},
  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 = {Sam Lindley and Conor McBride and Philip W. Trinder and Donald Sannella},
  volume = {9600},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-319-30935-4},
}

@inproceedings{FergusonH92,
  title = {Abstract Interpretation of Higher Order Functions Using Concrete Data Structures (Summary)},
  author = {Alex Ferguson and John Hughes},
  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 = {John Launchbury and Patrick M. Sansom},
  series = {Workshops in Computing},
  publisher = {Springer},
  isbn = {3-540-19820-2},
}

@article{Hughes98:0,
  title = {Type Specialization},
  author = {John Hughes},
  year = {1998},
  doi = {10.1145/289121.289135},
  url = {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},
}

@inproceedings{DanielssonHJG06,
  title = {Fast and loose reasoning is morally correct},
  author = {Nils Anders Danielsson and John Hughes and Patrik Jansson and Jeremy Gibbons},
  year = {2006},
  doi = {10.1145/1111037.1111056},
  url = {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 = {J. Gregory Morrisett and Simon L. Peyton Jones},
  publisher = {ACM},
  isbn = {1-59593-027-2},
}

@inproceedings{LaunchburyGHMJW92,
  title = {Avoiding Unnecessary Updates},
  author = {John Launchbury and Andy Gill and John Hughes and Simon Marlow and Simon L. Peyton Jones and Philip 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 = {John Launchbury and Patrick M. Sansom},
  series = {Workshops in Computing},
  publisher = {Springer},
  isbn = {3-540-19820-2},
}

@inproceedings{HeldalH97,
  title = {Partial Evaluation and Separate Compilation},
  author = {Rogardt Heldal and John Hughes},
  year = {1997},
  doi = {10.1145/258993.258996},
  url = {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},
}

@inproceedings{ClaessenPSHSAW09,
  title = {Finding race conditions in Erlang with QuickCheck and PULSE},
  author = {Koen Claessen and Michal Palka and Nicholas Smallbone and John Hughes and Hans Svensson and Thomas Arts and Ulf Wiger},
  year = {2009},
  doi = {10.1145/1596550.1596574},
  url = {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 = {Graham Hutton and Andrew P. Tolmach},
  publisher = {ACM},
  isbn = {978-1-60558-332-7},
}

@article{Hughes04:4,
  title = {Global variables in Haskell},
  author = {John Hughes},
  year = {2004},
  doi = {10.1017/S0956796802004471},
  url = {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},
}

@inproceedings{HeldalH01,
  title = {Binding-Time Analysis for Polymorphic Types},
  author = {Rogardt Heldal and John Hughes},
  year = {2001},
  url = {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 = {Dines Bjørner and Manfred Broy and Alexandre V. Zamulin},
  volume = {2244},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-43075-X},
}

@inproceedings{HughesNSA16,
  title = {Find more bugs with QuickCheck!},
  author = {John Hughes and Ulf Norell and Nicholas Smallbone and Thomas Arts},
  year = {2016},
  doi = {10.1145/2896921.2896928},
  url = {http://doi.acm.org/10.1145/2896921.2896928},
  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 = {Christof J. Budnik and Gordon Fraser and Francesca Lonetti},
  publisher = {ACM},
  isbn = {978-1-4503-4151-6},
}

@inproceedings{Hughes98:4,
  title = {A Type Specialisation Tutorial},
  author = {John Hughes},
  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 = {John Hatcliff and Torben Æ. Mogensen and Peter Thiemann},
  volume = {1706},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-66710-5},
}

@inproceedings{Hughes98:3,
  title = {Generalising Monads (Abstract)},
  author = {John Hughes},
  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 = {Johan  Jeuring},
  volume = {1422},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-64591-8},
}

@inproceedings{Hughes09-2,
  title = {Software Testing with QuickCheck},
  author = {John Hughes},
  year = {2009},
  doi = {10.1007/978-3-642-17685-2_6},
  url = {http://dx.doi.org/10.1007/978-3-642-17685-2_6},
  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 = {Zoltán Horváth and Rinus Plasmeijer and Viktória Zsók},
  volume = {6299},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-17684-5},
}

@inproceedings{HughesM92:0,
  title = {A Semantics for Locally Bottom-Avoiding Choice},
  author = {John Hughes and 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 = {John Launchbury and Patrick M. Sansom},
  series = {Workshops in Computing},
  publisher = {Springer},
  isbn = {3-540-19820-2},
}

@article{HughesF09,
  title = {A Bisection-Like Algorithm for Branch Switching at a Simple Branch Point},
  author = {John Hughes and M. Friedman},
  year = {2009},
  doi = {10.1007/s10915-009-9306-0},
  url = {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},
}

@inproceedings{MingPHSB88,
  title = {Using a manipulator for force display in molecular docking},
  author = {Ouhyoung Ming and Michael Pique and John Hughes and Neela Srinivasan and Frederick P. Brooks Jr.},
  year = {1988},
  doi = {10.1109/ROBOT.1988.12330},
  url = {http://dx.doi.org/10.1109/ROBOT.1988.12330},
  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},
}

@inproceedings{ArgoHTFL87,
  title = {Implementing Functional Databases},
  author = {Guy Argo and John Hughes and Philip W. Trinder and Jon Fairbairn and John Launchbury},
  year = {1987},
  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 = {François Bancilhon and Peter Buneman},
  publisher = {ACM Press / Addison-Wesley},
  isbn = {0-201-50257-7},
}

@inproceedings{SvenningssonSSANH14,
  title = {An Expressive Semantics of Mocking},
  author = {Josef Svenningsson and Hans Svensson and Nicholas Smallbone and Thomas Arts and Ulf Norell and John Hughes},
  year = {2014},
  doi = {10.1007/978-3-642-54804-8_27},
  url = {http://dx.doi.org/10.1007/978-3-642-54804-8_27},
  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 = {Stefania Gnesi and Arend Rensink},
  volume = {8411},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-54803-1},
}

@inproceedings{HughesPAN16,
  title = {Mysteries of DropBox: Property-Based Testing of a Distributed Synchronization Service},
  author = {John Hughes and Benjamin C. Pierce and Thomas Arts and Ulf Norell},
  year = {2016},
  doi = {10.1109/ICST.2016.37},
  url = {http://doi.ieeecomputersociety.org/10.1109/ICST.2016.37},
  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},
}

@inproceedings{Hughes04:1,
  title = {Programming with Arrows},
  author = {John Hughes},
  year = {2004},
  doi = {10.1007/11546382_2},
  url = {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 = {Varmo Vene and Tarmo Uustalu},
  volume = {3622},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-28540-7},
}

@inproceedings{BentonHM00,
  title = {Monads and Effects},
  author = {Nick Benton and John Hughes and Eugenio Moggi},
  year = {2000},
  url = {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 = {Gilles Barthe and Peter Dybjer and Luis Pinto and João Saraiva},
  volume = {2395},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-44044-5},
}

@article{HughesT03,
  title = {Length-Based Attacks for Certain Group Based Encryption Rewriting Systems},
  author = {John Hughes and A. Tannenbaum},
  year = {2003},
  url = {http://eprint.iacr.org/2003/102},
  researchr = {https://researchr.org/publication/HughesT03},
  cites = {0},
  citedby = {0},
  journal = {IACR Cryptology ePrint Archive},
  volume = {2003},
  pages = {102},
}

@inproceedings{DerrickWAECFGHT09,
  title = {Property-Based Testing - The ProTest Project},
  author = {John Derrick and Neil Walkinshaw and Thomas Arts and Clara Benac Earle and Francesco Cesarini and Lars-Åke Fredlund and Victor Gulias and John Hughes and Simon J. Thompson},
  year = {2009},
  doi = {10.1007/978-3-642-17071-3_13},
  url = {http://dx.doi.org/10.1007/978-3-642-17071-3_13},
  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 = {Frank S. de Boer and Marcello M. Bonsangue and Stefan Hallerstede and Michael Leuschel},
  volume = {6286},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-17070-6},
}

@article{HeldalH00,
  title = {Extending a partial evaluator which supports separate compilation},
  author = {Rogardt Heldal and John Hughes},
  year = {2000},
  doi = {10.1016/S0304-3975(00)00050-5},
  url = {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},
}

@inproceedings{SerourHHWC02,
  title = {Organizational Transition to Object Technology: Theory and Practice},
  author = {M. K. Serour and Brian Henderson-Sellers and John Hughes and D. Winder and L. Chow},
  year = {2002},
  url = {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 = {Zohra Bellahsene and Dilip Patel and Colette Rolland},
  volume = {2425},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-44087-9},
}

@inproceedings{FergusonH89,
  title = {An Iterative Powerdomain Construction},
  author = {Alex Ferguson and John Hughes},
  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 = {Kei Davis and John Hughes},
  series = {Workshops in Computing},
  publisher = {Springer},
  isbn = {3-540-19609-9},
}

@inproceedings{FergusonH93,
  title = {Fast Abstract Interpretation Using Sequential Algorithms},
  author = {Alex Ferguson and John Hughes},
  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 = {Patrick Cousot and Moreno Falaschi and Gilberto Filé and Antoine Rauzy},
  volume = {724},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-57264-3},
}

@inproceedings{Hughes07:2,
  title = {QuickCheck Testing for Fun and Profit},
  author = {John Hughes},
  year = {2007},
  doi = {10.1007/978-3-540-69611-7_1},
  url = {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 = {Michael Hanus},
  volume = {4354},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-69608-7},
}

@inproceedings{ArtsHNS15,
  title = {Testing AUTOSAR software with QuickCheck},
  author = {Thomas Arts and John Hughes and Ulf Norell and Hans Svensson},
  year = {2015},
  doi = {10.1109/ICSTW.2015.7107466},
  url = {http://dx.doi.org/10.1109/ICSTW.2015.7107466},
  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},
}

@inproceedings{ThompsonH74,
  title = {An Experimental Investigation of the Performance of a Computer-Aided Building Design System},
  author = {B. G. J. Thompson and John Hughes},
  year = {1974},
  tags = {design},
  researchr = {https://researchr.org/publication/ThompsonH74},
  cites = {0},
  citedby = {0},
  pages = {773-777},
  booktitle = {IFIP Congress},
}

@article{HritcuLSADHPV16,
  title = {Testing noninterference, quickly},
  author = {Catalin Hritcu and Leonidas Lampropoulos and Antal Spector-Zabusky and Arthur Azevedo de Amorim and Maxime Dénès and John Hughes and Benjamin C. Pierce and Dimitrios Vytiniotis},
  year = {2016},
  doi = {10.1017/S0956796816000058},
  url = {http://dx.doi.org/10.1017/S0956796816000058},
  researchr = {https://researchr.org/publication/HritcuLSADHPV16},
  cites = {0},
  citedby = {0},
  journal = {Journal of Functional Programming},
  volume = {26},
}

@inproceedings{ClaessenH00,
  title = {{QuickCheck}: a lightweight tool for random testing of {Haskell} programs},
  author = {Koen Claessen and John Hughes},
  year = {2000},
  doi = {10.1145/351240.351266},
  url = {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},
}

@inproceedings{DussartHT97,
  title = {Type Specialization for Imperative Languages},
  author = {Dirk Dussart and John Hughes and Peter Thiemann},
  year = {1997},
  researchr = {https://researchr.org/publication/DussartHT97},
  cites = {0},
  citedby = {0},
  pages = {204-216},
  booktitle = {ICFP},
}

@inproceedings{TurnerH97,
  title = {Informatics education: trends, problems and the future},
  author = {A. Joe Turner and John Hughes},
  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 = {Fred Mulder and Tom J. van Weert},
  volume = {128},
  series = {IFIP Conference Proceedings},
  publisher = {Chapman & Hall},
  isbn = {0-412-80790-4},
}

@inproceedings{McFallSH93,
  title = {Reverse Engineering Structured Code to an Object-Oriented Representation},
  author = {Don McFall and Gillian Sleith and John Hughes},
  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},
}

@inproceedings{Hughes89,
  title = {Projections for Polymorphic Strictness Analysis},
  author = {John Hughes},
  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 = {David H. Pitt and David E. Rydeheard and Peter Dybjer and Andrew M. Pitts and Axel Poigné},
  volume = {389},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-51662-X},
}

@article{Wood-HarperCBH99,
  title = {Ethically Situated Information Systems Development},
  author = {A. T. Wood-Harper and Steve Corder and B. Byrne and John Hughes},
  year = {1999},
  researchr = {https://researchr.org/publication/Wood-HarperCBH99},
  cites = {0},
  citedby = {0},
  journal = {Australian Computer Journal},
  volume = {31},
  number = {3},
  pages = {66-71},
}
@proceedings{erlang:2002,
  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 = {Rex L. Page and John Hughes},
  publisher = {ACM},
  isbn = {1-58113-592-0},
}

@proceedings{fp:1989,
  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 = {Kei Davis and John Hughes},
  series = {Workshops in Computing},
  publisher = {Springer},
  isbn = {3-540-19609-9},
}

@proceedings{fpca:1991,
  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 = {John Hughes},
  volume = {523},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-54396-1},
}

@proceedings{dagstuhl-2004P4381,
  title = {Dependently Typed Programming, 12.09. - 17.09.2004},
  year = {2004},
  url = {http://drops.dagstuhl.de/portals/04381/},
  researchr = {https://researchr.org/publication/dagstuhl-2004P4381},
  cites = {0},
  citedby = {0},
  booktitle = {Dependently Typed Programming, 12.09. - 17.09.2004},
  conference = {Dagstuhl},
  editor = {Thorsten Altenkirch and Martin Hofmann 0001 and John Hughes},
  volume = {04381},
  series = {Dagstuhl Seminar Proceedings},
  publisher = {Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany},
}

@proceedings{erlang-2012,
  title = {Proceedings of the Eleventh ACM SIGPLAN Erlang Workshop, Copenhagen, Denmark, September 14, 2012},
  year = {2012},
  url = {http://dl.acm.org/citation.cfm?id=2364489},
  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 = {Torben Hoffman and John Hughes},
  publisher = {ACM},
  isbn = {978-1-4503-1575-3},
}