@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 = {mscs},
  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 = {ipl},
  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 = {erlang},
}

@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},
}

@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 = {fp},
}

@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 = {Dagstuhl},
}

@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 = {siggraph},
}

@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 = {afp},
}

@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 = {FMCAD},
}

@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 = {iticse},
}

@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 = {ICFP},
}

@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 = {HOPL},
}

@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 = {afp},
}

@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 = {asian},
}

@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 = {fp},
}

@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 = {ICSE},
}

@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 = {SCP},
  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 = {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 = {qic},
  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 = {iccac},
}

@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 = {pado},
}

@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 = {logcom},
  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 = {pdo},
}

@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},
  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 = {fpca},
}

@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 = {compsec},
  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 = {cj},
  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},
}

@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 = {fpca},
}

@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},
  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 = {icst},
}

@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 = {tap},
}

@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 = {erlang},
}

@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 = {ESOP},
}

@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 = {csfw},
}

@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 = {fp},
}

@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 = {fp},
}

@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 = {fp},
}

@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 = {jcam},
  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 = {ESOP},
}

@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 = {ICSE},
}

@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 = {ICSE},
}

@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 = {POPL},
}

@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 = {erlang},
}

@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 = {icst},
}

@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 = {mpc},
}

@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 = {cqre},
}

@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 = {ipl},
  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},
  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 = {ifip3-2},
}

@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 = {haskell},
}

@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 = {sqj},
  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 = {erlang},
}

@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 = {SCP},
  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 = {ijpcc},
  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},
  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},
  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 = {haskell},
}

@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},
  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 = {Dagstuhl},
}

@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 = {BIRTHDAY},
}

@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 = {fp},
}

@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 Comput. Surv.},
  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 = {POPL},
}

@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 = {fp},
}

@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 = {ICFP},
}

@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 = {JFP},
  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 = {ershov},
}

@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 = {ICSE},
}

@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 = {PEPM},
}

@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 = {mpc},
}

@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 = {cefp},
}

@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 = {fp},
}

@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 = {jscic},
  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 = {icra},
}

@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 = {DBPL},
}

@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 = {FASE},
}

@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 = {icst},
}

@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 = {afp},
}

@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 = {ac},
}

@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},
  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 = {FMCO},
}

@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 = {TCS},
  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 = {oois},
}

@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 = {fp},
}

@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 = {SAS},
}

@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 = {PADL},
}

@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 = {icst},
}

@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},
}

@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 = {JFP},
  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 = {ifip3-2},
}

@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},
}

@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 = {ctcs},
}

@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 = {acj},
  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},
}