@inproceedings{JonesBB03,
  title = {A user-centred approach to functions in Excel},
  author = {Simon L. Peyton Jones and Alan F. Blackwell and Margaret M. Burnett},
  year = {2003},
  doi = {10.1145/944705.944721},
  url = {http://doi.acm.org/10.1145/944705.944721},
  tags = {systematic-approach},
  researchr = {https://researchr.org/publication/JonesBB03},
  cites = {0},
  citedby = {0},
  pages = {165-176},
  booktitle = {Proceedings of the Eighth ACM SIGPLAN International Conference on Functional Programming, ICFP 2003, Uppsala, Sweden, August 25-29, 2003},
  editor = {Colin Runciman and Olin Shivers},
  publisher = {ACM},
  isbn = {1-58113-756-7},
}

@inproceedings{Jones17-11,
  title = {How to Write a Great Research Paper},
  author = {Simon L. Peyton Jones},
  year = {2017},
  doi = {10.4230/OASIcs.ICCSW.2017.1},
  url = {https://doi.org/10.4230/OASIcs.ICCSW.2017.1},
  researchr = {https://researchr.org/publication/Jones17-11},
  cites = {0},
  citedby = {0},
  booktitle = {2017 Imperial College Computing Student Workshop, ICCSW 2017, September 26-27, 2017, London, UK},
  editor = {Fergus Leahy and Juliana Franco},
  volume = {60},
  series = {OASICS},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
  isbn = {978-3-95977-059-0},
}

@article{Jones03l,
  title = {Haskell 98 Libraries: Complex Numbers},
  author = {Simon L. Peyton Jones},
  year = {2003},
  doi = {10.1017/S0956796803001515},
  url = {http://dx.doi.org/10.1017/S0956796803001515},
  tags = {Haskell},
  researchr = {https://researchr.org/publication/Jones03l},
  cites = {0},
  citedby = {0},
  journal = {Journal of Functional Programming},
  volume = {13},
  number = {1},
  pages = {153-156},
}

@inproceedings{KellerCLLJ12,
  title = {Vectorisation avoidance},
  author = {Gabriele Keller and Manuel M. T. Chakravarty and Roman Leshchinskiy and Ben Lippmeier and Simon L. Peyton Jones},
  year = {2012},
  doi = {10.1145/2364506.2364512},
  url = {http://doi.acm.org/10.1145/2364506.2364512},
  researchr = {https://researchr.org/publication/KellerCLLJ12},
  cites = {0},
  citedby = {0},
  pages = {37-48},
  booktitle = {Proceedings of the 5th ACM SIGPLAN Symposium on Haskell, Haskell 2012, Copenhagen, Denmark, 13 September 2012},
  editor = {Janis Voigtländer},
  publisher = {ACM},
  isbn = {978-1-4503-1574-6},
}

@inproceedings{Jones08:2,
  title = {Harnessing the Multicores: Nested Data Parallelism in Haskell},
  author = {Simon L. Peyton Jones},
  year = {2008},
  doi = {10.1007/978-3-540-89330-1_10},
  url = {http://dx.doi.org/10.1007/978-3-540-89330-1_10},
  tags = {Haskell, data-flow},
  researchr = {https://researchr.org/publication/Jones08%3A2},
  cites = {0},
  citedby = {0},
  pages = {138},
  booktitle = {Programming Languages and Systems, 6th Asian Symposium, APLAS 2008, Bangalore, India, December 9-11, 2008. Proceedings},
  editor = {Ganesan Ramalingam},
  volume = {5356},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-89329-5},
}

@article{Jones92a,
  title = {Implementing Lazy Functional Languages on Stock Hardware: The Spineless Tagless G-Machine},
  author = {Simon L. Peyton Jones},
  year = {1992},
  tags = {laziness},
  researchr = {https://researchr.org/publication/Jones92a},
  cites = {0},
  citedby = {0},
  journal = {Journal of Functional Programming},
  volume = {2},
  number = {2},
  pages = {127-202},
}

@inproceedings{SchrijversJCS08,
  title = {Type checking with open type functions},
  author = {Tom Schrijvers and Simon L. Peyton Jones and Manuel M. T. Chakravarty and Martin Sulzmann},
  year = {2008},
  doi = {10.1145/1411204.1411215},
  url = {http://doi.acm.org/10.1145/1411204.1411215},
  tags = {open function types, source-to-source, type checking, open-source},
  researchr = {https://researchr.org/publication/SchrijversJCS08},
  cites = {0},
  citedby = {0},
  pages = {51-62},
  booktitle = {Proceeding of the 13th ACM SIGPLAN international conference on Functional programming, ICFP 2008, Victoria, BC, Canada, September 20-28, 2008},
  editor = {James Hook and Peter Thiemann},
  publisher = {ACM},
  isbn = {978-1-59593-919-7},
}

@article{Jones03e,
  title = {Haskell 98: Predefined Types and Classes},
  author = {Simon L. Peyton Jones},
  year = {2003},
  doi = {10.1017/S0956796803000819},
  url = {http://dx.doi.org/10.1017/S0956796803000819},
  tags = {Haskell},
  researchr = {https://researchr.org/publication/Jones03e},
  cites = {0},
  citedby = {0},
  journal = {Journal of Functional Programming},
  volume = {13},
  number = {1},
  pages = {81-96},
}

@article{EnnalsJ03-0,
  title = {Optimistic evaluation: an adaptive evaluation strategy for non-strict programs},
  author = {Robert Ennals and Simon L. Peyton Jones},
  year = {2003},
  doi = {10.1145/944746.944731},
  url = {http://doi.acm.org/10.1145/944746.944731},
  researchr = {https://researchr.org/publication/EnnalsJ03-0},
  cites = {0},
  citedby = {0},
  journal = {SIGPLAN Notices},
  volume = {38},
  number = {9},
  pages = {287-298},
}

@article{Jones03f,
  title = {Haskell 98: Basic Input/Output},
  author = {Simon L. Peyton Jones},
  year = {2003},
  doi = {10.1017/S0956796803000911},
  url = {http://dx.doi.org/10.1017/S0956796803000911},
  tags = {Haskell},
  researchr = {https://researchr.org/publication/Jones03f},
  cites = {0},
  citedby = {0},
  journal = {Journal of Functional Programming},
  volume = {13},
  number = {1},
  pages = {97-102},
}

@inproceedings{BreitnerEJW14,
  title = {Safe zero-cost coercions for Haskell},
  author = {Joachim Breitner and Richard A. Eisenberg and Simon L. Peyton Jones and Stephanie Weirich},
  year = {2014},
  doi = {10.1145/2628136.2628141},
  url = {http://doi.acm.org/10.1145/2628136.2628141},
  researchr = {https://researchr.org/publication/BreitnerEJW14},
  cites = {0},
  citedby = {0},
  pages = {189-202},
  booktitle = {Proceedings of the 19th ACM SIGPLAN international conference on Functional programming, Gothenburg, Sweden, September 1-3, 2014},
  editor = {Johan Jeuring and Manuel M. T. Chakravarty},
  publisher = {ACM},
  isbn = {978-1-4503-2873-9},
}

@inproceedings{VytiniotisWJ06,
  title = {Boxy types: inference for higher-rank types and impredicativity},
  author = {Dimitrios Vytiniotis and Stephanie Weirich and Simon L. Peyton Jones},
  year = {2006},
  doi = {10.1145/1159803.1159838},
  url = {http://doi.acm.org/10.1145/1159803.1159838},
  tags = {type inference},
  researchr = {https://researchr.org/publication/VytiniotisWJ06},
  cites = {0},
  citedby = {0},
  pages = {251-262},
  booktitle = {Proceedings of the 11th ACM SIGPLAN International Conference on Functional Programming, ICFP 2006, Portland, Oregon, USA, September 16-21, 2006},
  editor = {John H. Reppy and Julia L. Lawall},
  publisher = {ACM},
  isbn = {1-59593-309-3},
}

@inproceedings{AllwoodJE09,
  title = {Finding the needle: stack traces for GHC},
  author = {Tristan O. R. Allwood and Simon L. Peyton Jones and Susan Eisenbach},
  year = {2009},
  doi = {10.1145/1596638.1596654},
  url = {http://doi.acm.org/10.1145/1596638.1596654},
  tags = {Haskell},
  researchr = {https://researchr.org/publication/AllwoodJE09},
  cites = {0},
  citedby = {0},
  pages = {129-140},
  booktitle = {Proceedings of the 2nd ACM SIGPLAN Symposium on Haskell, Haskell 2009, Edinburgh, Scotland, UK, 3 September 2009},
  editor = {Stephanie Weirich},
  publisher = {ACM},
  isbn = {978-1-60558-508-6},
}

@inproceedings{JonesML98,
  title = {Scripting COM components in Haskell},
  author = {Simon L. Peyton Jones and Erik Meijer and Daan Leijen},
  year = {1998},
  doi = {10.1109/ICSR.1998.685747},
  url = {http://doi.ieeecomputersociety.org/10.1109/ICSR.1998.685747},
  researchr = {https://researchr.org/publication/JonesML98},
  cites = {0},
  citedby = {0},
  pages = {224-233},
  booktitle = {Proceedings of the Fifth International Conference on Software Reuse, ICSR 1998, Victoria, BC, Canada, June 2-5, 1998},
  editor = {Premkumar T. Devanbu and Jeffrey S. Poulin},
  publisher = {IEEE Computer Society},
  isbn = {0-8186-8377-5},
}

@inproceedings{ChakravartyKJM05,
  title = {Associated types with class},
  author = {Manuel M. T. Chakravarty and Gabriele Keller and Simon L. Peyton Jones and Simon Marlow},
  year = {2005},
  doi = {10.1145/1040305.1040306},
  url = {http://doi.acm.org/10.1145/1040305.1040306},
  researchr = {https://researchr.org/publication/ChakravartyKJM05},
  cites = {0},
  citedby = {0},
  pages = {1-13},
  booktitle = {Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2005, Long Beach, California, USA, January 12-14, 2005},
  editor = {Jens Palsberg and Martín Abadi},
  publisher = {ACM},
  isbn = {1-58113-830-X},
}

@inproceedings{JonesCS89,
  title = {High-Performance parallel graph reduction},
  author = {Simon L. Peyton Jones and Chris D. Clack and Jon Salkild},
  year = {1989},
  tags = {graph-rewriting, rewriting},
  researchr = {https://researchr.org/publication/JonesCS89},
  cites = {0},
  citedby = {0},
  pages = {193-206},
  booktitle = {PARLE  89: Parallel Architectures and Languages Europe, Volume I: Parallel Architectures, Eindhoven, The Netherlands, June 12-16, 1989, Proceedings},
  editor = {Eddy Odijk and Martin Rem and Jean-Claude Syre},
  volume = {365},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-51284-5},
}

@article{SergeyVJB17,
  title = {Modular, higher order cardinality analysis in theory and practice},
  author = {Ilya Sergey and Dimitrios Vytiniotis and Simon L. Peyton Jones and Joachim Breitner},
  year = {2017},
  doi = {10.1017/S0956796817000016},
  url = {http://dx.doi.org/10.1017/S0956796817000016},
  researchr = {https://researchr.org/publication/SergeyVJB17},
  cites = {0},
  citedby = {0},
  journal = {Journal of Functional Programming},
  volume = {27},
}

@inproceedings{FinneJ95:0,
  title = {Composing Haggis},
  author = {Sigbjorn Finne and Simon L. Peyton Jones},
  year = {1995},
  researchr = {https://researchr.org/publication/FinneJ95%3A0},
  cites = {0},
  citedby = {0},
  pages = {85-101},
  booktitle = {Eurographics Workshop on Programming Paradigms in Graphics},
}

@inproceedings{Jones09-6,
  title = {Classes, Jim, But Not as We Know Them - Type Classes in Haskell: What, Why, and Whither},
  author = {Simon L. Peyton Jones},
  year = {2009},
  doi = {10.1007/978-3-642-03013-0_1},
  url = {http://dx.doi.org/10.1007/978-3-642-03013-0_1},
  tags = {Haskell},
  researchr = {https://researchr.org/publication/Jones09-6},
  cites = {0},
  citedby = {0},
  pages = {1},
  booktitle = {ECOOP 2009 - Object-Oriented Programming, 23rd European Conference, Genoa, Italy, July 6-10, 2009. Proceedings},
  editor = {Sophia Drossopoulou},
  volume = {5653},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-03012-3},
}

@inproceedings{MaurerDAJ17,
  title = {Compiling without continuations},
  author = {Luke Maurer and Paul Downen and Zena M. Ariola and Simon L. Peyton Jones},
  year = {2017},
  doi = {10.1145/3062341.3062380},
  url = {http://doi.acm.org/10.1145/3062341.3062380},
  researchr = {https://researchr.org/publication/MaurerDAJ17},
  cites = {0},
  citedby = {0},
  pages = {482-494},
  booktitle = {Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2017, Barcelona, Spain, June 18-23, 2017},
  editor = {Albert Cohen 0001 and Martin T. Vechev},
  publisher = {ACM},
  isbn = {978-1-4503-4988-8},
}

@inproceedings{VytiniotisJCR13,
  title = {HALO: haskell to logic through denotational semantics},
  author = {Dimitrios Vytiniotis and Simon L. Peyton Jones and Koen Claessen and Dan Rosén},
  year = {2013},
  doi = {10.1145/2429069.2429121},
  url = {http://doi.acm.org/10.1145/2429069.2429121},
  researchr = {https://researchr.org/publication/VytiniotisJCR13},
  cites = {0},
  citedby = {0},
  pages = {431-442},
  booktitle = {The 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '13, Rome, Italy - January 23 - 25, 2013},
  editor = {Roberto Giacobazzi and Radhia Cousot},
  publisher = {ACM},
  isbn = {978-1-4503-1832-7},
}

@inproceedings{CheadleFMJW00,
  title = {Non-stop Haskell},
  author = {Andrew M. Cheadle and A. J. Field and Simon Marlow and Simon L. Peyton Jones and R. Lyndon While},
  year = {2000},
  doi = {10.1145/351240.351265},
  url = {http://doi.acm.org/10.1145/351240.351265},
  tags = {Haskell},
  researchr = {https://researchr.org/publication/CheadleFMJW00},
  cites = {0},
  citedby = {0},
  pages = {257-267},
  booktitle = {ICFP},
}

@inproceedings{JonesW93,
  title = {Imperative Functional Programming},
  author = {Simon L. Peyton Jones and Philip Wadler},
  year = {1993},
  tags = {functional programming, programming},
  researchr = {https://researchr.org/publication/JonesW93},
  cites = {0},
  citedby = {0},
  pages = {71-84},
  booktitle = {Proceedings of the 20th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages},
}

@article{JonesVWS07,
  title = {Practical type inference for arbitrary-rank types},
  author = {Simon L. Peyton Jones and Dimitrios Vytiniotis and Stephanie Weirich and Mark Shields},
  year = {2007},
  doi = {10.1017/S0956796806006034},
  url = {http://dx.doi.org/10.1017/S0956796806006034},
  tags = {type inference},
  researchr = {https://researchr.org/publication/JonesVWS07},
  cites = {0},
  citedby = {0},
  journal = {Journal of Functional Programming},
  volume = {17},
  number = {1},
  pages = {1-82},
}

@article{Jones03w,
  title = {Haskell 98 Libraries: Dates and Times},
  author = {Simon L. Peyton Jones},
  year = {2003},
  doi = {10.1017/S0956796803002612},
  url = {http://dx.doi.org/10.1017/S0956796803002612},
  tags = {Haskell},
  researchr = {https://researchr.org/publication/Jones03w},
  cites = {0},
  citedby = {0},
  journal = {Journal of Functional Programming},
  volume = {13},
  number = {1},
  pages = {225-230},
}

@inproceedings{SansomJ93,
  title = {Generational Garbage Collection for Haskell},
  author = {Patrick M. Sansom and Simon L. Peyton Jones},
  year = {1993},
  tags = {Haskell},
  researchr = {https://researchr.org/publication/SansomJ93},
  cites = {0},
  citedby = {0},
  pages = {106-116},
  booktitle = {FPCA},
}

@article{MokhovMJ18,
  title = {Build systems à la carte},
  author = {Andrey Mokhov and Neil Mitchell and Simon L. Peyton Jones},
  year = {2018},
  month = {7},
  doi = {10.1145/3236774},
  url = {https://doi.org/10.1145/3236774},
  researchr = {https://researchr.org/publication/MokhovMJ18},
  cites = {0},
  citedby = {0},
  journal = {Proceedings of the ACM on Programming Languages},
  volume = {2},
  number = {ICFP},
}

@inproceedings{SansomJ92,
  title = {Profiling Lazy Functional Programs},
  author = {Patrick M. Sansom and Simon L. Peyton Jones},
  year = {1992},
  tags = {laziness, functional programming},
  researchr = {https://researchr.org/publication/SansomJ92},
  cites = {0},
  citedby = {0},
  pages = {227-239},
  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{EisenbergVJW14,
  title = {Closed type families with overlapping equations},
  author = {Richard A. Eisenberg and Dimitrios Vytiniotis and Simon L. Peyton Jones and Stephanie Weirich},
  year = {2014},
  doi = {10.1145/2535838.2535856},
  url = {http://doi.acm.org/10.1145/2535838.2535856},
  researchr = {https://researchr.org/publication/EisenbergVJW14},
  cites = {0},
  citedby = {0},
  pages = {671-684},
  booktitle = {The 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '14, San Diego, CA, USA, January 20-21, 2014},
  editor = {Suresh Jagannathan and Peter Sewell},
  publisher = {ACM},
  isbn = {978-1-4503-2544-8},
}

@inproceedings{LammelJ03,
  title = {Scrap your boilerplate: a practical design pattern for generic programming},
  author = {Ralf Lämmel and Simon L. Peyton Jones},
  year = {2003},
  doi = {10.1145/604174.604179},
  url = {http://doi.acm.org/10.1145/604174.604179},
  tags = {generic programming, programming, design},
  researchr = {https://researchr.org/publication/LammelJ03},
  cites = {0},
  citedby = {0},
  pages = {26-37},
  booktitle = {Proceedings of TLDI 03: 2003 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, New Orleans, Louisiana, USA, January 18, 2003},
  editor = {Zhong Shao and Peter Lee},
  publisher = {ACM},
  isbn = {1-58113-649-8},
}

@inproceedings{JonesS89,
  title = {The Spineless Tagless G-Machine},
  author = {Simon L. Peyton Jones and Jon Salkild},
  year = {1989},
  doi = {10.1145/99370.99385},
  url = {http://doi.acm.org/10.1145/99370.99385},
  researchr = {https://researchr.org/publication/JonesS89},
  cites = {0},
  citedby = {0},
  pages = {184-201},
  booktitle = {FPCA},
}

@inproceedings{SchrijversJSV09,
  title = {Complete and decidable type inference for GADTs},
  author = {Tom Schrijvers and Simon L. Peyton Jones and Martin Sulzmann and Dimitrios Vytiniotis},
  year = {2009},
  doi = {10.1145/1596550.1596599},
  url = {http://doi.acm.org/10.1145/1596550.1596599},
  tags = {type inference, completeness},
  researchr = {https://researchr.org/publication/SchrijversJSV09},
  cites = {0},
  citedby = {0},
  pages = {341-352},
  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},
}

@inproceedings{StolarekJE15,
  title = {Injective type families for Haskell},
  author = {Jan Stolarek and Simon L. Peyton Jones and Richard A. Eisenberg},
  year = {2015},
  doi = {10.1145/2804302.2804314},
  url = {http://doi.acm.org/10.1145/2804302.2804314},
  researchr = {https://researchr.org/publication/StolarekJE15},
  cites = {0},
  citedby = {0},
  pages = {118-128},
  booktitle = {Proceedings of the 8th ACM SIGPLAN Symposium on Haskell, Haskell 2015, Vancouver, BC, Canada, September 3-4, 2015},
  editor = {Ben Lippmeier},
  publisher = {ACM},
  isbn = {978-1-4503-3808-0},
}

@article{Jones03:2,
  title = {Haskell 98: Introduction},
  author = {Simon L. Peyton Jones},
  year = {2003},
  doi = {10.1017/S0956796803000315},
  url = {http://dx.doi.org/10.1017/S0956796803000315},
  tags = {Haskell},
  researchr = {https://researchr.org/publication/Jones03%3A2},
  cites = {0},
  citedby = {0},
  journal = {Journal of Functional Programming},
  volume = {13},
  number = {1},
}

@inproceedings{Jones96a,
  title = {Compiling Haskell by Program Transformation: A Report from the Trenches},
  author = {Simon L. Peyton Jones},
  year = {1996},
  tags = {Haskell, compiler, transformation, program transformation},
  researchr = {https://researchr.org/publication/Jones96a},
  cites = {0},
  citedby = {0},
  pages = {18-44},
  booktitle = {Programming Languages and Systems - ESOP 96, 6th European Symposium on Programming, Linköping, Sweden, April 22-24, 1996, Proceedings},
  editor = {Hanne Riis Nielson},
  volume = {1058},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-61055-3},
}

@article{Jones03g,
  title = {Haskell 98: Standard Prelude},
  author = {Simon L. Peyton Jones},
  year = {2003},
  doi = {10.1017/S0956796803001011},
  url = {http://dx.doi.org/10.1017/S0956796803001011},
  tags = {Haskell},
  researchr = {https://researchr.org/publication/Jones03g},
  cites = {0},
  citedby = {0},
  journal = {Journal of Functional Programming},
  volume = {13},
  number = {1},
  pages = {103-124},
}

@inproceedings{JonesES00,
  title = {Composing contracts: an adventure in financial engineering, functional pearl},
  author = {Simon L. Peyton Jones and Jean-Marc Eber and Julian Seward},
  year = {2000},
  doi = {10.1145/351240.351267},
  url = {http://doi.acm.org/10.1145/351240.351267},
  tags = {contracts},
  researchr = {https://researchr.org/publication/JonesES00},
  cites = {0},
  citedby = {0},
  pages = {280-292},
  booktitle = {ICFP},
}

@inproceedings{JonesSLT98,
  title = {Bridging the Gulf: A Common Intermediate Language for ML and Haskell},
  author = {Simon L. Peyton Jones and Mark Shields and John Launchbury and Andrew P. Tolmach},
  year = {1998},
  doi = {10.1145/268946.268951},
  url = {http://doi.acm.org/10.1145/268946.268951},
  tags = {Haskell},
  researchr = {https://researchr.org/publication/JonesSLT98},
  cites = {0},
  citedby = {0},
  pages = {49-61},
  booktitle = {Proceedings of the 25th {ACM SIGPLAN-SIGACT} symposium on Principles of programming languages},
  address = {New York, NY, USA},
  publisher = {ACM},
}

@article{LoidlTHJMJ99,
  title = {Engineering parallel symbolic programs in GPH},
  author = {Hans-Wolfgang Loidl and Philip W. Trinder and Kevin Hammond and Sahalu B. Junaidu and Richard G. Morgan and Simon L. Peyton Jones},
  year = {1999},
  tags = {parallel programming, programming},
  researchr = {https://researchr.org/publication/LoidlTHJMJ99},
  cites = {0},
  citedby = {0},
  journal = {Concurrency - Practice and Experience},
  volume = {11},
  number = {12},
  pages = {701-752},
}

@inproceedings{GillJ94,
  title = {Cheap Deforestation in Practice: An Optimizer for Haskell},
  author = {Andrew J. Gill and Simon L. Peyton Jones},
  year = {1994},
  tags = {optimization, Haskell},
  researchr = {https://researchr.org/publication/GillJ94},
  cites = {0},
  citedby = {0},
  pages = {581-586},
  booktitle = {IFIP Congress (1)},
}

@inproceedings{Jones13,
  title = {The computing at school working group},
  author = {Simon L. Peyton Jones},
  year = {2013},
  doi = {10.1145/2462476.2483794},
  url = {http://doi.acm.org/10.1145/2462476.2483794},
  researchr = {https://researchr.org/publication/Jones13},
  cites = {0},
  citedby = {0},
  pages = {1},
  booktitle = {Innovation and Technology in Computer Science Education conference 2013, ITiCSE '13, Canterbury, United Kingdom - July 01 - 03, 2013},
  editor = {Janet Carter and Ian Utting and Alison Clear},
  publisher = {ACM},
  isbn = {978-1-4503-2078-8},
}

@article{JonesSantos1998,
  title = {A Transformation-Based Optimiser for Haskell},
  author = {Simon L. Peyton Jones and André L. M. Santos},
  year = {1998},
  doi = {10.1016/S0167-6423(97)00029-4},
  url = {http://dx.doi.org/10.1016/S0167-6423(97)00029-4},
  tags = {rule-based, Haskell, compiler, context-aware, compilation, systematic-approach, transformation, program transformation},
  researchr = {https://researchr.org/publication/JonesSantos1998},
  cites = {53},
  citedby = {1},
  journal = {Science of Computer Programming},
  volume = {32},
  number = {1-3},
  pages = {3-47},
}

@inproceedings{HankinBJ86,
  title = {A Safe Approach to Parallel Combinator Reduction (Extended Abstract)},
  author = {Chris Hankin and Geoffrey L. Burn and Simon L. Peyton Jones},
  year = {1986},
  tags = {systematic-approach},
  researchr = {https://researchr.org/publication/HankinBJ86},
  cites = {0},
  citedby = {0},
  pages = {99-110},
  booktitle = {ESOP 86, European Symposium on Programming, Saarbrücken, Federal Republic of Germany, March 17-19, 1986, Proceedings},
  editor = {Bernard Robinet and Reinhard Wilhelm},
  volume = {213},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-16442-1},
}

@inproceedings{MarlowYJ07,
  title = {Faster laziness using dynamic pointer tagging},
  author = {Simon Marlow and Alexey Rodriguez Yakushev and Simon L. Peyton Jones},
  year = {2007},
  doi = {10.1145/1291151.1291194},
  url = {http://doi.acm.org/10.1145/1291151.1291194},
  tags = {laziness, tagging},
  researchr = {https://researchr.org/publication/MarlowYJ07},
  cites = {0},
  citedby = {0},
  pages = {277-288},
  booktitle = {Proceedings of the 12th ACM SIGPLAN International Conference on Functional Programming, ICFP 2007, Freiburg, Germany, October 1-3, 2007},
  editor = {Ralf Hinze and Norman Ramsey},
  publisher = {ACM},
  isbn = {978-1-59593-815-2},
}

@inproceedings{KiselyovJS12,
  title = {Lazy v. Yield: Incremental, Linear Pretty-Printing},
  author = {Oleg Kiselyov and Simon L. Peyton Jones and Amr Sabry},
  year = {2012},
  doi = {10.1007/978-3-642-35182-2_14},
  url = {http://dx.doi.org/10.1007/978-3-642-35182-2_14},
  researchr = {https://researchr.org/publication/KiselyovJS12},
  cites = {0},
  citedby = {0},
  pages = {190-206},
  booktitle = {Programming Languages and Systems - 10th Asian Symposium, APLAS 2012, Kyoto, Japan, December 11-13, 2012. Proceedings},
  editor = {Ranjit Jhala and Atsushi Igarashi},
  volume = {7705},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-35181-5},
}

@article{Jones03za,
  title = {Haskell 98 Libraries: Bibliography},
  author = {Simon L. Peyton Jones},
  year = {2003},
  doi = {10.1017/S0956796803003010},
  url = {http://dx.doi.org/10.1017/S0956796803003010},
  tags = {bibliography, Haskell},
  researchr = {https://researchr.org/publication/Jones03za},
  cites = {0},
  citedby = {0},
  journal = {Journal of Functional Programming},
  volume = {13},
  number = {1},
  pages = {241-255},
}

@inproceedings{SerranoHVJ18,
  title = {Guarded impredicative polymorphism},
  author = {Alejandro Serrano and Jurriaan Hage and Dimitrios Vytiniotis and Simon L. Peyton Jones},
  year = {2018},
  doi = {10.1145/3192366.3192389},
  url = {http://doi.acm.org/10.1145/3192366.3192389},
  researchr = {https://researchr.org/publication/SerranoHVJ18},
  cites = {0},
  citedby = {0},
  pages = {783-796},
  booktitle = {Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2018, Philadelphia, PA, USA, June 18-22, 2018},
  editor = {Jeffrey S. Foster and Dan Grossman},
  publisher = {ACM},
}

@inproceedings{CheadleFMJW04,
  title = {Exploring the barrier to entry: incremental generational garbage collection for Haskell},
  author = {Andrew M. Cheadle and A. J. Field and Simon Marlow and Simon L. Peyton Jones and R. Lyndon While},
  year = {2004},
  doi = {10.1145/1029873.1029893},
  url = {http://doi.acm.org/10.1145/1029873.1029893},
  tags = {Haskell, incremental},
  researchr = {https://researchr.org/publication/CheadleFMJW04},
  cites = {0},
  citedby = {0},
  pages = {163-174},
  booktitle = {Proceedings of the 4th International Symposium on Memory Management, ISMM 2004, Vancouver, BC, Canada, October 24-25, 2004},
  editor = {David F. Bacon and Amer Diwan},
  publisher = {ACM},
  isbn = {1-58113-945-4},
}

@article{ErwigJ00,
  title = {Pattern Guards and Transformational Patterns},
  author = {Martin Erwig and Simon L. Peyton Jones},
  year = {2000},
  url = {http://www.elsevier.com/gej-ng/31/29/23/76/33/show/Products/notes/index.htt#012},
  tags = {transformation},
  researchr = {https://researchr.org/publication/ErwigJ00},
  cites = {0},
  citedby = {0},
  journal = {Electronic Notes in Theoretical Computer Science},
  volume = {41},
  number = {1},
  pages = {3},
}

@inproceedings{PickeringEJE16,
  title = {Pattern synonyms},
  author = {Matthew Pickering and Gergo Érdi and Simon L. Peyton Jones and Richard A. Eisenberg},
  year = {2016},
  doi = {10.1145/2976002.2976013},
  url = {http://doi.acm.org/10.1145/2976002.2976013},
  researchr = {https://researchr.org/publication/PickeringEJE16},
  cites = {0},
  citedby = {0},
  pages = {80-91},
  booktitle = {Proceedings of the 9th International Symposium on Haskell, Haskell 2016, Nara, Japan, September 22-23, 2016},
  editor = {Geoffrey Mainland},
  publisher = {ACM},
  isbn = {978-1-4503-4434-0},
}

@article{Jones03r,
  title = {Haskell 98 Libraries: Character Utilities},
  author = {Simon L. Peyton Jones},
  year = {2003},
  doi = {10.1017/S0956796803002119},
  url = {http://dx.doi.org/10.1017/S0956796803002119},
  tags = {Haskell},
  researchr = {https://researchr.org/publication/Jones03r},
  cites = {0},
  citedby = {0},
  journal = {Journal of Functional Programming},
  volume = {13},
  number = {1},
  pages = {193-198},
}

@article{LinsTJ94,
  title = {On the Equivalence Between CMC and TIM},
  author = {Rafael Dueire Lins and Simon J. Thompson and Simon L. Peyton Jones},
  year = {1994},
  researchr = {https://researchr.org/publication/LinsTJ94},
  cites = {0},
  citedby = {0},
  journal = {Journal of Functional Programming},
  volume = {4},
  number = {1},
  pages = {47-63},
}

@inproceedings{MainlandLJ13,
  title = {Exploiting vector instructions with generalized stream fusio},
  author = {Geoffrey Mainland and Roman Leshchinskiy and Simon L. Peyton Jones},
  year = {2013},
  doi = {10.1145/2500365.2500601},
  url = {http://doi.acm.org/10.1145/2500365.2500601},
  researchr = {https://researchr.org/publication/MainlandLJ13},
  cites = {0},
  citedby = {0},
  pages = {37-48},
  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{Jones85,
  title = {An Introduction to Fully-Lazy Supercombinators},
  author = {Simon L. Peyton Jones},
  year = {1985},
  tags = {laziness},
  researchr = {https://researchr.org/publication/Jones85},
  cites = {0},
  citedby = {0},
  pages = {175-206},
  booktitle = {Combinators and Functional Programming Languages, Thirteenth Spring School of the LITP, Val d Ajol, France, May 6-10, 1985, Proceedings},
  editor = {Guy Cousineau and Pierre-Louis Curien and Bernard Robinet},
  volume = {242},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-17184-3},
}

@inproceedings{AkerholtHJT91,
  title = {A Parallel Functional Database on GRIP},
  author = {Gert Akerholt and Kevin Hammond and Simon L. Peyton Jones and Philip W. Trinder},
  year = {1991},
  tags = {database},
  researchr = {https://researchr.org/publication/AkerholtHJT91},
  cites = {0},
  citedby = {0},
  pages = {1-24},
  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{KellerCLJL10,
  title = {Regular, shape-polymorphic, parallel arrays in Haskell},
  author = {Gabriele Keller and Manuel M. T. Chakravarty and Roman Leshchinskiy and Simon L. Peyton Jones and Ben Lippmeier},
  year = {2010},
  doi = {10.1145/1863543.1863582},
  url = {http://doi.acm.org/10.1145/1863543.1863582},
  tags = {Haskell},
  researchr = {https://researchr.org/publication/KellerCLJL10},
  cites = {0},
  citedby = {0},
  pages = {261-272},
  booktitle = {Proceeding of the 15th ACM SIGPLAN international conference on Functional programming, ICFP 2010, Baltimore, Maryland, USA, September 27-29, 2010},
  editor = {Paul Hudak and Stephanie Weirich},
  publisher = {ACM},
  isbn = {978-1-60558-794-3},
}

@article{LaunchburyJ95,
  title = {State in Haskell},
  author = {John Launchbury and Simon L. Peyton Jones},
  year = {1995},
  tags = {Haskell},
  researchr = {https://researchr.org/publication/LaunchburyJ95},
  cites = {0},
  citedby = {0},
  journal = {Higher-Order and Symbolic Computation},
  volume = {8},
  number = {4},
  pages = {293-341},
}

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

@article{Jones03b,
  title = {Haskell 98: Expressions},
  author = {Simon L. Peyton Jones},
  year = {2003},
  doi = {10.1017/S0956796803000510},
  url = {http://dx.doi.org/10.1017/S0956796803000510},
  tags = {Haskell},
  researchr = {https://researchr.org/publication/Jones03b},
  cites = {0},
  citedby = {0},
  journal = {Journal of Functional Programming},
  volume = {13},
  number = {1},
  pages = {17-38},
}

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

@article{Jones03d,
  title = {Haskell 98: Modules},
  author = {Simon L. Peyton Jones},
  year = {2003},
  doi = {10.1017/S0956796803000716},
  url = {http://dx.doi.org/10.1017/S0956796803000716},
  tags = {Haskell},
  researchr = {https://researchr.org/publication/Jones03d},
  cites = {0},
  citedby = {0},
  journal = {Journal of Functional Programming},
  volume = {13},
  number = {1},
  pages = {67-80},
}

@inproceedings{MarlowNJ11,
  title = {A monad for deterministic parallelism},
  author = {Simon Marlow and Ryan Newton and Simon L. Peyton Jones},
  year = {2011},
  doi = {10.1145/2034675.2034685},
  url = {http://doi.acm.org/10.1145/2034675.2034685},
  researchr = {https://researchr.org/publication/MarlowNJ11},
  cites = {0},
  citedby = {0},
  pages = {71-82},
  booktitle = {Proceedings of the 4th ACM SIGPLAN Symposium on Haskell, Haskell 2011, Tokyo, Japan, 22 September 2011},
  editor = {Koen Claessen},
  publisher = {ACM},
  isbn = {978-1-4503-0860-1},
}

@inproceedings{JonesCSH87,
  title = {GRIP - A high-performance architecture for parallel graph reduction},
  author = {Simon L. Peyton Jones and Chris D. Clack and Jon Salkild and Mark Hardie},
  year = {1987},
  tags = {architecture, graph-rewriting, rewriting},
  researchr = {https://researchr.org/publication/JonesCSH87},
  cites = {0},
  citedby = {0},
  pages = {98-112},
  booktitle = {Functional Programming Languages and Computer Architecture, Portland, Oregon, USA, September 14-16, 1987, Proceedings},
  editor = {Gilles Kahn},
  volume = {274},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-18317-5},
}

@inproceedings{JonesME99,
  title = {Stretching the Storage Manager: Weak Pointers and Stable Names in Haskell},
  author = {Simon L. Peyton Jones and Simon Marlow and Conal Elliott},
  year = {1999},
  tags = {Haskell},
  researchr = {https://researchr.org/publication/JonesME99},
  cites = {0},
  citedby = {0},
  pages = {37-58},
  booktitle = {Implementation of Functional Languages, 11th International Workshop, IFL 99, Lochem, The Netherlands, September 7-10, 1999, Selected Papers},
  editor = {Pieter W. M. Koopman and Chris Clack},
  volume = {1868},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-67864-6},
}

@inproceedings{JonesNO97,
  title = {C-: A Portable Assembly Language},
  author = {Simon L. Peyton Jones and Thomas Nordin and Dino Oliva},
  year = {1997},
  url = {http://link.springer.de/link/service/series/0558/bibs/1467/14670001.htm},
  tags = {C++},
  researchr = {https://researchr.org/publication/JonesNO97},
  cites = {0},
  citedby = {0},
  pages = {1-19},
  booktitle = {Implementation of Functional Languages, 9th International Workshop, IFL 97, St. Andrews, Scotland, UK, September 10-12, 1997, Selected Papers},
  editor = {Chris Clack and Kevin Hammond and Antony J. T. Davie},
  volume = {1467},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-64849-6},
}

@article{BreitnerEJW16,
  title = {Safe zero-cost coercions for Haskell},
  author = {Joachim Breitner and Richard A. Eisenberg and Simon L. Peyton Jones and Stephanie Weirich},
  year = {2016},
  doi = {10.1017/S0956796816000150},
  url = {http://dx.doi.org/10.1017/S0956796816000150},
  researchr = {https://researchr.org/publication/BreitnerEJW16},
  cites = {0},
  citedby = {0},
  journal = {Journal of Functional Programming},
  volume = {26},
}

@inproceedings{JonesRHHM99,
  title = {A Semantics for Imprecise Exceptions},
  author = {Simon L. Peyton Jones and Alastair Reid and Fergus Henderson and C. A. R. Hoare and Simon Marlow},
  year = {1999},
  doi = {10.1145/301618.301637},
  url = {http://doi.acm.org/10.1145/301618.301637},
  tags = {semantics, exceptions, C++},
  researchr = {https://researchr.org/publication/JonesRHHM99},
  cites = {0},
  citedby = {0},
  pages = {25-36},
  booktitle = {PLDI},
}

@inproceedings{HarrisMJ05,
  title = {Haskell on a shared-memory multiprocessor},
  author = {Tim Harris and Simon Marlow and Simon L. Peyton Jones},
  year = {2005},
  doi = {10.1145/1088348.1088354},
  url = {http://doi.acm.org/10.1145/1088348.1088354},
  tags = {Haskell},
  researchr = {https://researchr.org/publication/HarrisMJ05},
  cites = {0},
  citedby = {0},
  pages = {49-61},
  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},
}

@inproceedings{ShieldsSJ98,
  title = {Dynamic Typing as Staged Type Inference},
  author = {Mark Shields and Tim  Sheard and Simon L. Peyton Jones},
  year = {1998},
  doi = {10.1145/268946.268970},
  url = {http://doi.acm.org/10.1145/268946.268970},
  tags = {type inference},
  researchr = {https://researchr.org/publication/ShieldsSJ98},
  cites = {0},
  citedby = {0},
  pages = {289-302},
  booktitle = {Proceedings of the 25th {ACM SIGPLAN-SIGACT} symposium on Principles of programming languages},
  address = {New York, NY, USA},
  publisher = {ACM},
}

@article{Jones03t,
  title = {Haskell 98 Libraries: Input/Output},
  author = {Simon L. Peyton Jones},
  year = {2003},
  doi = {10.1017/S0956796803002314},
  url = {http://dx.doi.org/10.1017/S0956796803002314},
  tags = {Haskell},
  researchr = {https://researchr.org/publication/Jones03t},
  cites = {0},
  citedby = {0},
  journal = {Journal of Functional Programming},
  volume = {13},
  number = {1},
  pages = {205-218},
}

@inproceedings{Jones01:4,
  title = {Composing Contracts: An Adventure in Financial Engineering},
  author = {Simon L. Peyton Jones},
  year = {2001},
  url = {http://link.springer.de/link/service/series/0558/bibs/2021/20210435.htm},
  tags = {contracts},
  researchr = {https://researchr.org/publication/Jones01%3A4},
  cites = {0},
  citedby = {0},
  pages = {435},
  booktitle = {FME 2001: Formal Methods for Increasing Software Productivity, International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001, Proceedings},
  editor = {José Nuno Oliveira and Pamela Zave},
  volume = {2021},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-41791-5},
}

@inproceedings{ClackJ85,
  title = {Strictness Analysis - A Practical Approach},
  author = {Chris D. Clack and Simon L. Peyton Jones},
  year = {1985},
  tags = {analysis, systematic-approach},
  researchr = {https://researchr.org/publication/ClackJ85},
  cites = {0},
  citedby = {0},
  pages = {35-49},
  booktitle = {Functional Programming Languages and Computer Architecture},
  volume = {201},
  series = {Lecture Notes in Computer Science},
  address = {Nancy, France},
  publisher = {Springer-Verlag},
}

@article{Sivaramakrishnan16-1,
  title = {Composable scheduler activations for Haskell},
  author = {K. C. Sivaramakrishnan and Tim Harris 0001 and Simon Marlow and Simon L. Peyton Jones},
  year = {2016},
  doi = {10.1017/S0956796816000071},
  url = {http://dx.doi.org/10.1017/S0956796816000071},
  researchr = {https://researchr.org/publication/Sivaramakrishnan16-1},
  cites = {0},
  citedby = {0},
  journal = {Journal of Functional Programming},
  volume = {26},
}

@inproceedings{BolingbrokeJ09,
  title = {Types are calling conventions},
  author = {Maximilian C. Bolingbroke and Simon L. Peyton Jones},
  year = {2009},
  doi = {10.1145/1596638.1596640},
  url = {http://doi.acm.org/10.1145/1596638.1596640},
  tags = {Haskell, C++},
  researchr = {https://researchr.org/publication/BolingbrokeJ09},
  cites = {0},
  citedby = {0},
  pages = {1-12},
  booktitle = {Proceedings of the 2nd ACM SIGPLAN Symposium on Haskell, Haskell 2009, Edinburgh, Scotland, UK, 3 September 2009},
  editor = {Stephanie Weirich},
  publisher = {ACM},
  isbn = {978-1-60558-508-6},
}

@article{Jones03a:0,
  title = {Haskell 98: Lexical Structure},
  author = {Simon L. Peyton Jones},
  year = {2003},
  doi = {10.1017/S0956796803000418},
  url = {http://dx.doi.org/10.1017/S0956796803000418},
  tags = {Haskell},
  researchr = {https://researchr.org/publication/Jones03a%3A0},
  cites = {0},
  citedby = {0},
  journal = {Journal of Functional Programming},
  volume = {13},
  number = {1},
  pages = {7-16},
}

@inproceedings{LoidlMTPCJG97,
  title = {Parallelising a Large Functional Program or: Keeping LOLITA Busy},
  author = {Hans-Wolfgang Loidl and Richard G. Morgan and Philip W. Trinder and Sanjay Poria and Chris Cooper and Simon L. Peyton Jones and Roberto Garigliano},
  year = {1997},
  url = {http://link.springer.de/link/service/series/0558/bibs/1467/14670198.htm},
  tags = {functional programming},
  researchr = {https://researchr.org/publication/LoidlMTPCJG97},
  cites = {0},
  citedby = {0},
  pages = {198-213},
  booktitle = {Implementation of Functional Languages, 9th International Workshop, IFL 97, St. Andrews, Scotland, UK, September 10-12, 1997, Selected Papers},
  editor = {Chris Clack and Kevin Hammond and Antony J. T. Davie},
  volume = {1467},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-64849-6},
}

@inproceedings{JonesRR99,
  title = {C--: A Portable Assembly Language that Supports Garbage Collection},
  author = {Simon L. Peyton Jones and Norman Ramsey and Fermin Reig},
  year = {1999},
  tags = {C++},
  researchr = {https://researchr.org/publication/JonesRR99},
  cites = {0},
  citedby = {0},
  pages = {1-28},
  booktitle = {Principles and Practice of Declarative Programming, International Conference PPDP 99, Paris, France, September 29 - October 1, 1999, Proceedings},
  editor = {Gopalan Nadathur},
  volume = {1702},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-66540-4},
}

@article{Jones03n,
  title = {Haskell 98 Libraries: Indexing Operations},
  author = {Simon L. Peyton Jones},
  year = {2003},
  doi = {10.1017/S0956796803001710},
  url = {http://dx.doi.org/10.1017/S0956796803001710},
  tags = {Haskell},
  researchr = {https://researchr.org/publication/Jones03n},
  cites = {0},
  citedby = {0},
  journal = {Journal of Functional Programming},
  volume = {13},
  number = {1},
  pages = {169-172},
}

@inproceedings{TrinderLBDHKJP00,
  title = {The Multi-architecture Performance of the Parallel Functional Language GP H (Research Note)},
  author = {Philip W. Trinder and Hans-Wolfgang Loidl and Ed. Barry Jr. and Kei Davis and Kevin Hammond and Ulrike Klusik and Simon L. Peyton Jones and Álvaro J. Rebón Portillo},
  year = {2000},
  url = {http://link.springer.de/link/service/series/0558/bibs/1900/19000739.htm},
  tags = {architecture},
  researchr = {https://researchr.org/publication/TrinderLBDHKJP00},
  cites = {0},
  citedby = {0},
  pages = {739-743},
  booktitle = {Euro-Par 2000, Parallel Processing, 6th International Euro-Par Conference, Munich, Germany, August 29 - September 1, 2000, Proceedings},
  editor = {Arndt Bode and Thomas Ludwig 0002 and Wolfgang Karl and Roland Wismüller},
  volume = {1900},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-67956-1},
}

@inproceedings{KarachaliasSVJ15,
  title = {GADTs meet their match: pattern-matching warnings that account for GADTs, guards, and laziness},
  author = {Georgios Karachalias and Tom Schrijvers and Dimitrios Vytiniotis and Simon L. Peyton Jones},
  year = {2015},
  doi = {10.1145/2784731.2784748},
  url = {http://doi.acm.org/10.1145/2784731.2784748},
  researchr = {https://researchr.org/publication/KarachaliasSVJ15},
  cites = {0},
  citedby = {0},
  pages = {424-436},
  booktitle = {Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming, ICFP 2015, Vancouver, BC, Canada, September 1-3, 2015},
  editor = {Kathleen Fisher and John H. Reppy},
  publisher = {ACM},
  isbn = {978-1-4503-3669-7},
}

@inproceedings{VazouSJVJ14,
  title = {Refinement types for Haskell},
  author = {Niki Vazou and Eric L. Seidel and Ranjit Jhala and Dimitrios Vytiniotis and Simon L. Peyton Jones},
  year = {2014},
  doi = {10.1145/2628136.2628161},
  url = {http://doi.acm.org/10.1145/2628136.2628161},
  researchr = {https://researchr.org/publication/VazouSJVJ14},
  cites = {0},
  citedby = {0},
  pages = {269-282},
  booktitle = {Proceedings of the 19th ACM SIGPLAN international conference on Functional programming, Gothenburg, Sweden, September 1-3, 2014},
  editor = {Johan Jeuring and Manuel M. T. Chakravarty},
  publisher = {ACM},
  isbn = {978-1-4503-2873-9},
}

@techreport{PeytonJones2004wobblytypes,
  title = {Wobbly types: type inference for generalised algebraic data types},
  author = {Simon L. Peyton Jones and Geoffrey Washburn and Stephanie Weirich},
  year = {2004},
  month = {July},
  url = {https://www.microsoft.com/en-us/research/publication/wobbly-types-type-inference-for-generalised-algebraic-data-types/},
  researchr = {https://researchr.org/publication/PeytonJones2004wobblytypes},
  cites = {0},
  citedby = {0},
  institution = {Microsoft Research},
  number = {MS-CIS-05-26},
  address = {Computer and Information Science Department, Levine Hall, 3330 Walnut Street, Philadelphia, Pennsylvania, 19104-6389},
}

@article{Jones03s,
  title = {Haskell 98 Libraries: Monad Utilities},
  author = {Simon L. Peyton Jones},
  year = {2003},
  doi = {10.1017/S0956796803002211},
  url = {http://dx.doi.org/10.1017/S0956796803002211},
  tags = {Haskell},
  researchr = {https://researchr.org/publication/Jones03s},
  cites = {0},
  citedby = {0},
  journal = {Journal of Functional Programming},
  volume = {13},
  number = {1},
  pages = {199-204},
}

@inproceedings{MarlowJ11,
  title = {Multicore garbage collection with local heaps},
  author = {Simon Marlow and Simon L. Peyton Jones},
  year = {2011},
  doi = {10.1145/1993478.1993482},
  url = {http://doi.acm.org/10.1145/1993478.1993482},
  researchr = {https://researchr.org/publication/MarlowJ11},
  cites = {0},
  citedby = {0},
  pages = {21-32},
  booktitle = {Proceedings of the 10th International Symposium on Memory Management, ISMM 2011, San Jose, CA, USA, June 04 - 05, 2011},
  editor = {Hans-Juergen Boehm and David F. Bacon},
  publisher = {ACM},
  isbn = {978-1-4503-0263-0},
}

@inproceedings{ShaikhhaFJV17,
  title = {Destination-passing style for efficient memory management},
  author = {Amir Shaikhha and Andrew Fitzgibbon and Simon L. Peyton Jones and Dimitrios Vytiniotis},
  year = {2017},
  doi = {10.1145/3122948.3122949},
  url = {https://doi.org/10.1145/3122948.3122949},
  researchr = {https://researchr.org/publication/ShaikhhaFJV17},
  cites = {0},
  citedby = {0},
  pages = {12-23},
  booktitle = {Proceedings of the 6th ACM SIGPLAN International Workshop on Functional High-Performance Computing, FHPC@ICFP 2017, Oxford, UK, September 7, 2017},
  editor = {Phil Trinder and Cosmin E. Oancea},
  publisher = {ACM},
  isbn = {978-1-4503-5181-2},
}

@inproceedings{RamseyJ04,
  title = {The C - compiler infrastructure},
  author = {Norman Ramsey and Simon L. Peyton Jones},
  year = {2004},
  doi = {10.1145/1016850.1016851},
  url = {http://doi.acm.org/10.1145/1016850.1016851},
  tags = {C++, compiler},
  researchr = {https://researchr.org/publication/RamseyJ04},
  cites = {0},
  citedby = {0},
  pages = {1},
  booktitle = {Proceedings of the Ninth ACM SIGPLAN International Conference on Functional Programming, ICFP 2004, Snow Bird, UT, USA, September 19-21, 2004},
  editor = {Chris Okasaki and Kathleen Fisher},
  publisher = {ACM},
  isbn = {1-58113-905-5},
}

@article{SheardJ02-0,
  title = {Template meta-programming for Haskell},
  author = {Tim Sheard and Simon L. Peyton Jones},
  year = {2002},
  doi = {10.1145/636517.636528},
  url = {http://doi.acm.org/10.1145/636517.636528},
  researchr = {https://researchr.org/publication/SheardJ02-0},
  cites = {0},
  citedby = {0},
  journal = {SIGPLAN Notices},
  volume = {37},
  number = {12},
  pages = {60-75},
}

@inproceedings{JonesVWW06,
  title = {Simple unification-based type inference for GADTs},
  author = {Simon L. Peyton Jones and Dimitrios Vytiniotis and Stephanie Weirich and Geoffrey Washburn},
  year = {2006},
  doi = {10.1145/1159803.1159811},
  url = {http://doi.acm.org/10.1145/1159803.1159811},
  tags = {type inference, rule-based},
  researchr = {https://researchr.org/publication/JonesVWW06},
  cites = {0},
  citedby = {0},
  pages = {50-61},
  booktitle = {Proceedings of the 11th ACM SIGPLAN International Conference on Functional Programming, ICFP 2006, Portland, Oregon, USA, September 16-21, 2006},
  editor = {John H. Reppy and Julia L. Lawall},
  publisher = {ACM},
  isbn = {1-59593-309-3},
}

@article{Jones03o,
  title = {Haskell 98 Libraries: Arrays},
  author = {Simon L. Peyton Jones},
  year = {2003},
  doi = {10.1017/S0956796803001813},
  url = {http://dx.doi.org/10.1017/S0956796803001813},
  tags = {Haskell},
  researchr = {https://researchr.org/publication/Jones03o},
  cites = {0},
  citedby = {0},
  journal = {Journal of Functional Programming},
  volume = {13},
  number = {1},
  pages = {173-178},
}

@inproceedings{YorgeyWCJVM12,
  title = {Giving Haskell a promotion},
  author = {Brent A. Yorgey and Stephanie Weirich and Julien Cretin and Simon L. Peyton Jones and Dimitrios Vytiniotis and José Pedro Magalhães},
  year = {2012},
  doi = {10.1145/2103786.2103795},
  url = {http://doi.acm.org/10.1145/2103786.2103795},
  researchr = {https://researchr.org/publication/YorgeyWCJVM12},
  cites = {0},
  citedby = {0},
  pages = {53-66},
  booktitle = {Proceedings of TLDI 2012: The Seventh ACM SIGPLAN Workshop on Types in Languages Design and Implementation, Philadelphia, PA, USA, Saturday, January 28, 2012},
  editor = {Benjamin C. Pierce},
  publisher = {ACM},
  isbn = {978-1-4503-1120-5},
}

@article{SheardJ02,
  title = {Template meta-programming for Haskell},
  author = {Tim  Sheard and Simon L. Peyton Jones},
  year = {2002},
  doi = {10.1145/636517.636528},
  url = {http://doi.acm.org/10.1145/636517.636528},
  tags = {programming languages, optimization, meta programming, data-flow language, meta-model, functional programming, polytypic programming, template meta-programming, language design, Haskell, macros, data-flow programming, data-flow, code generation, compiler, programming, program optimization, Meta-Environment, polytypic, design, meta-objects},
  researchr = {https://researchr.org/publication/SheardJ02},
  cites = {0},
  citedby = {0},
  journal = {SIGPLAN Notices},
  volume = {37},
  number = {12},
  pages = {60-75},
}

@inproceedings{EisenbergBJ18,
  title = {Type variables in patterns},
  author = {Richard A. Eisenberg and Joachim Breitner and Simon L. Peyton Jones},
  year = {2018},
  doi = {10.1145/3242744.3242753},
  url = {https://doi.org/10.1145/3242744.3242753},
  researchr = {https://researchr.org/publication/EisenbergBJ18},
  cites = {0},
  citedby = {0},
  pages = {94-105},
  booktitle = {Proceedings of the 11th ACM SIGPLAN International Symposium on Haskell, Haskell@ICFP 2018, St. Louis, MO, USA, September 27-17, 2018},
  editor = {Nicolas Wu},
  publisher = {ACM},
}

@article{ShieldsJ01,
  title = {Object-Oriented Style Overloading for Haskell},
  author = {Mark Shields and Simon L. Peyton Jones},
  year = {2001},
  url = {http://www.elsevier.nl/locate/entcs/volume59.html},
  tags = {meta-model, Haskell, Meta-Environment, meta-objects},
  researchr = {https://researchr.org/publication/ShieldsJ01},
  cites = {0},
  citedby = {0},
  journal = {Theoretical Computer Science},
  volume = {59},
  number = {1},
  pages = {89-108},
}

@article{Jones03i,
  title = {Haskell 98: Specification of Derived Instances},
  author = {Simon L. Peyton Jones},
  year = {2003},
  doi = {10.1017/S0956796803001217},
  url = {http://dx.doi.org/10.1017/S0956796803001217},
  tags = {Haskell},
  researchr = {https://researchr.org/publication/Jones03i},
  cites = {0},
  citedby = {0},
  journal = {Journal of Functional Programming},
  volume = {13},
  number = {1},
  pages = {139-144},
}

@inproceedings{Peyton-Jones13,
  title = {Type-Directed Compilation in the Wild: Haskell and Core},
  author = {Simon L. Peyton Jones},
  year = {2013},
  doi = {10.1007/978-3-642-38946-7_1},
  url = {http://dx.doi.org/10.1007/978-3-642-38946-7_1},
  researchr = {https://researchr.org/publication/Peyton-Jones13},
  cites = {0},
  citedby = {0},
  pages = {1},
  booktitle = {Typed Lambda Calculi and Applications, 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013. Proceedings},
  editor = {Masahito Hasegawa},
  volume = {7941},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-38946-7},
}

@inproceedings{JonesS08-1,
  title = {A Tutorial on Parallel and Concurrent Programming in Haskell},
  author = {Simon L. Peyton Jones and Satnam Singh},
  year = {2008},
  doi = {10.1007/978-3-642-04652-0_6},
  url = {http://dx.doi.org/10.1007/978-3-642-04652-0_6},
  tags = {parallel programming, Haskell, programming},
  researchr = {https://researchr.org/publication/JonesS08-1},
  cites = {0},
  citedby = {0},
  pages = {267-305},
  booktitle = {Advanced Functional Programming, 6th International School, AFP 2008, Heijen, The Netherlands, May 2008, Revised Lectures},
  editor = {Pieter W. M. Koopman and Rinus Plasmeijer and S. Doaitse Swierstra},
  volume = {5832},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-04651-3},
}

@article{JonesW03:0,
  title = {The Educational Pearls column},
  author = {Simon L. Peyton Jones and Philip Wadler},
  year = {2003},
  doi = {10.1017/S0956796803004787},
  url = {http://dx.doi.org/10.1017/S0956796803004787},
  researchr = {https://researchr.org/publication/JonesW03%3A0},
  cites = {0},
  citedby = {0},
  journal = {Journal of Functional Programming},
  volume = {13},
  number = {5},
  pages = {833-834},
}

@inproceedings{JonesPS96,
  title = {Let-floating: Moving Bindings to Give Faster Programs},
  author = {Simon L. Peyton Jones and Will Partain and André L. M. Santos},
  year = {1996},
  researchr = {https://researchr.org/publication/JonesPS96},
  cites = {0},
  citedby = {0},
  pages = {1-12},
  booktitle = {ICFP},
}

@inproceedings{Jones15-17,
  title = {The dream of a lifetime: an opportunity to shape how our children learn computing},
  author = {Simon L. Peyton Jones},
  year = {2015},
  url = {http://ppig.org/library/paper/dream-lifetime-opportunity-shape-how-our-children-learn-computing},
  researchr = {https://researchr.org/publication/Jones15-17},
  cites = {0},
  citedby = {0},
  pages = {5},
  booktitle = {Proceedings of the 26th Annual Workshop of the Psychology of Programming Interest Group, PPIG 2015, Bournemouth, UK, July 15-17, 2015},
  editor = {Melanie Coles and Gail Ollis},
  publisher = {Psychology of Programming Interest Group},
}

@inproceedings{HallHPJW92,
  title = {The Glasgow Haskell Compiler: A Retrospective},
  author = {Cordelia V. Hall and Kevin Hammond and Will Partain and Simon L. Peyton Jones and Philip Wadler},
  year = {1992},
  tags = {Haskell, compiler},
  researchr = {https://researchr.org/publication/HallHPJW92},
  cites = {0},
  citedby = {0},
  pages = {62-71},
  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{SulzmannCJD07,
  title = {System F with type equality coercions},
  author = {Martin Sulzmann and Manuel M. T. Chakravarty and Simon L. Peyton Jones and Kevin Donnelly},
  year = {2007},
  doi = {10.1145/1190315.1190324},
  url = {http://doi.acm.org/10.1145/1190315.1190324},
  tags = {type system},
  researchr = {https://researchr.org/publication/SulzmannCJD07},
  cites = {0},
  citedby = {0},
  pages = {53-66},
  booktitle = {Proceedings of TLDI 07: 2007 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, Nice, France, January 16, 2007},
  editor = {François Pottier and George C. Necula},
  publisher = {ACM},
  isbn = {1-59593-393-X},
}

@inproceedings{TereiMJM12-0,
  title = {Safe {Haskell}},
  author = {David Terei and Simon Marlow and Simon L. Peyton Jones and David Mazières},
  year = {2012},
  doi = {10.1145/2364506.2364524},
  url = {http://doi.acm.org/10.1145/2364506.2364524},
  researchr = {https://researchr.org/publication/TereiMJM12-0},
  cites = {0},
  citedby = {0},
  pages = {137-148},
  booktitle = {Proceedings of the 5th ACM SIGPLAN Symposium on Haskell, Haskell 2012, Copenhagen, Denmark, 13 September 2012},
  editor = {Janis Voigtländer},
  publisher = {ACM},
  isbn = {978-1-4503-1574-6},
}

@inproceedings{ChakravartyLJKM07,
  title = {Data parallel Haskell: a status report},
  author = {Manuel M. T. Chakravarty and Roman Leshchinskiy and Simon L. Peyton Jones and Gabriele Keller and Simon Marlow},
  year = {2007},
  doi = {10.1145/1248648.1248652},
  url = {http://doi.acm.org/10.1145/1248648.1248652},
  tags = {Haskell, data-flow},
  researchr = {https://researchr.org/publication/ChakravartyLJKM07},
  cites = {0},
  citedby = {0},
  pages = {10-18},
  booktitle = {Proceedings of the POPL 2007 Workshop on Declarative Aspects of Multicore Programming, DAMP 2007, Nice, France, January 16, 2007},
  editor = {Neal Glew and Guy E. Blelloch},
  publisher = {ACM},
  isbn = {978-1-59593-690-5},
}

@article{Jones88a,
  title = {FLIC - a functional language intermediate code},
  author = {Simon L. Peyton Jones},
  year = {1988},
  doi = {10.1145/47907.47910},
  url = {http://doi.acm.org/10.1145/47907.47910},
  researchr = {https://researchr.org/publication/Jones88a},
  cites = {0},
  citedby = {0},
  journal = {SIGPLAN Notices},
  volume = {23},
  number = {8},
  pages = {30-48},
}

@inproceedings{JonesWEV16,
  title = {A Reflection on Types},
  author = {Simon L. Peyton Jones and Stephanie Weirich and Richard A. Eisenberg and Dimitrios Vytiniotis},
  year = {2016},
  doi = {10.1007/978-3-319-30936-1_16},
  url = {http://dx.doi.org/10.1007/978-3-319-30936-1_16},
  researchr = {https://researchr.org/publication/JonesWEV16},
  cites = {0},
  citedby = {0},
  pages = {292-317},
  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{AkerholtHJT93,
  title = {Processing Transactions on GRIP, a Parallel Graph Reducer},
  author = {Gert Akerholt and Kevin Hammond and Simon L. Peyton Jones and Philip W. Trinder},
  year = {1993},
  tags = {graph-rewriting, rewriting},
  researchr = {https://researchr.org/publication/AkerholtHJT93},
  cites = {0},
  citedby = {0},
  pages = {634-647},
  booktitle = {PARLE  93, Parallel Architectures and Languages Europe, 5th International PARLE Conference, Munich, Germany, June 14-17, 1993, Proceedings},
  editor = {Arndt Bode and Mike Reeve and Gottfried Wolf},
  volume = {694},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-56891-3},
}

@article{FaselHPW92,
  title = {SIGPLAN Notices Special Issue on the Functional Programming Language Haskell},
  author = {Joseph H. Fasel and Paul Hudak and Simon L. Peyton Jones and Philip Wadler},
  year = {1992},
  tags = {programming languages, functional programming, Haskell, programming},
  researchr = {https://researchr.org/publication/FaselHPW92},
  cites = {0},
  citedby = {0},
  journal = {SIGPLAN Notices},
  volume = {27},
  number = {5},
  pages = {1},
}

@article{Jones03m,
  title = {Haskell 98 Libraries: Numeric Functions},
  author = {Simon L. Peyton Jones},
  year = {2003},
  doi = {10.1017/S0956796803001618},
  url = {http://dx.doi.org/10.1017/S0956796803001618},
  tags = {Haskell},
  researchr = {https://researchr.org/publication/Jones03m},
  cites = {0},
  citedby = {0},
  journal = {Journal of Functional Programming},
  volume = {13},
  number = {1},
  pages = {157-168},
}

@article{VytiniotisJSS11,
  title = {{OutsideIn(X)} Modular type inference with local assumptions},
  author = {Dimitrios Vytiniotis and Simon L. Peyton Jones and Tom Schrijvers and Martin Sulzmann},
  year = {2011},
  tags = {empirical, programming languages, type inference, rule-based, data-flow language, constraints, Haskell, type system, data-flow programming, data-flow, metatheory, systematic-approach, local type inference, domain-specific language},
  researchr = {https://researchr.org/publication/VytiniotisJSS11},
  cites = {0},
  citedby = {0},
  journal = {J. Funct. Program.},
  volume = {21},
  number = {4-5},
  pages = {333-412},
}

@inproceedings{BolingbrokeJ10,
  title = {Supercompilation by evaluation},
  author = {Maximilian C. Bolingbroke and Simon L. Peyton Jones},
  year = {2010},
  doi = {10.1145/1863523.1863540},
  url = {http://doi.acm.org/10.1145/1863523.1863540},
  researchr = {https://researchr.org/publication/BolingbrokeJ10},
  cites = {0},
  citedby = {0},
  pages = {135-146},
  booktitle = {Proceedings of the 3rd ACM SIGPLAN Symposium on Haskell, Haskell 2010, Baltimore, MD, USA, 30 September 2010},
  editor = {Jeremy Gibbons},
  publisher = {ACM},
  isbn = {978-1-4503-0252-4},
}

@inproceedings{LaunchburyJ94:0,
  title = {Lazy Functional State Threads},
  author = {John Launchbury and Simon L. Peyton Jones},
  year = {1994},
  tags = {laziness},
  researchr = {https://researchr.org/publication/LaunchburyJ94%3A0},
  cites = {0},
  citedby = {0},
  pages = {24-35},
  booktitle = {PLDI},
}

@article{Jones03v,
  title = {Haskell 98 Libraries: System Functions},
  author = {Simon L. Peyton Jones},
  year = {2003},
  doi = {10.1017/S095679680300251X},
  url = {http://dx.doi.org/10.1017/S095679680300251X},
  tags = {Haskell},
  researchr = {https://researchr.org/publication/Jones03v},
  cites = {0},
  citedby = {0},
  journal = {Journal of Functional Programming},
  volume = {13},
  number = {1},
  pages = {223-224},
}

@inproceedings{BrownKCJHS13,
  title = {Bringing computer science back into schools: lessons from the UK},
  author = {Neil Christopher Charles Brown and Michael Kölling and Tom Crick and Simon L. Peyton Jones and Simon Humphreys and Sue Sentance},
  year = {2013},
  doi = {10.1145/2445196.2445277},
  url = {http://doi.acm.org/10.1145/2445196.2445277},
  researchr = {https://researchr.org/publication/BrownKCJHS13},
  cites = {0},
  citedby = {0},
  pages = {269-274},
  booktitle = {The 44th ACM Technical Symposium on Computer Science Education, SIGCSE '13, Denver, CO, USA, March 6-9, 2013},
  editor = {Tracy Camp and Paul T. Tymann and J. D. Dougherty and Kris Nagel},
  publisher = {ACM},
  isbn = {978-1-4503-1868-6},
}

@article{HarrisMJH08,
  title = {Composable memory transactions},
  author = {Tim Harris and Simon Marlow and Simon L. Peyton Jones and Maurice Herlihy},
  year = {2008},
  doi = {10.1145/1378704.1378725},
  url = {http://doi.acm.org/10.1145/1378704.1378725},
  researchr = {https://researchr.org/publication/HarrisMJH08},
  cites = {0},
  citedby = {0},
  journal = {Communications of the ACM},
  volume = {51},
  number = {8},
  pages = {91-100},
}

@article{MainlandLJ17,
  title = {Exploiting vector instructions with generalized stream fusion},
  author = {Geoffrey Mainland and Roman Leshchinskiy and Simon L. Peyton Jones},
  year = {2017},
  doi = {10.1145/3060597},
  url = {http://doi.acm.org/10.1145/3060597},
  researchr = {https://researchr.org/publication/MainlandLJ17},
  cites = {0},
  citedby = {0},
  journal = {Communications of the ACM},
  volume = {60},
  number = {5},
  pages = {83-91},
}

@inproceedings{BolingbrokeJV11,
  title = {Termination combinators forever},
  author = {Maximilian C. Bolingbroke and Simon L. Peyton Jones and Dimitrios Vytiniotis},
  year = {2011},
  doi = {10.1145/2034675.2034680},
  url = {http://doi.acm.org/10.1145/2034675.2034680},
  researchr = {https://researchr.org/publication/BolingbrokeJV11},
  cites = {0},
  citedby = {0},
  pages = {23-34},
  booktitle = {Proceedings of the 4th ACM SIGPLAN Symposium on Haskell, Haskell 2011, Tokyo, Japan, 22 September 2011},
  editor = {Koen Claessen},
  publisher = {ACM},
  isbn = {978-1-4503-0860-1},
}

@inproceedings{Jones86:3,
  title = {Functional Programming Languages as a Software Engineering Tool},
  author = {Simon L. Peyton Jones},
  year = {1986},
  tags = {programming languages, language engineering, software language engineering, functional programming, software engineering, programming},
  researchr = {https://researchr.org/publication/Jones86%3A3},
  cites = {0},
  citedby = {0},
  pages = {153-173},
  booktitle = {Embedded Systems: New Approaches to Their Formal Description and Design, An Advances Course, Zürich, Switzerland, March 5-7, 1986},
  editor = {Albert T. Kündig and Richard E. Bührer and Jacques Dähler},
  volume = {284},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-18581-X},
}

@inproceedings{FinneLMJ98,
  title = {H/Direct: A Binary Foreign Language Interface for Haskell},
  author = {Sigbjorn Finne and Daan Leijen and Erik Meijer and Simon L. Peyton Jones},
  year = {1998},
  doi = {10.1145/289423.289437},
  url = {http://doi.acm.org/10.1145/289423.289437},
  tags = {Haskell},
  researchr = {https://researchr.org/publication/FinneLMJ98},
  cites = {0},
  citedby = {0},
  pages = {153-162},
  booktitle = {Proceedings of the third ACM SIGPLAN international conference on Functional programming},
  editor = {Matthias Felleisen and Paul Hudak and Christian Queinnec},
  address = {Baltimore, Maryland, United States},
  publisher = {ACM},
}

@inproceedings{HallHJW94,
  title = {Type Classes in Haskell},
  author = {Cordelia V. Hall and Kevin Hammond and Simon L. Peyton Jones and Philip Wadler},
  year = {1994},
  tags = {Haskell},
  researchr = {https://researchr.org/publication/HallHJW94},
  cites = {0},
  citedby = {0},
  pages = {241-256},
  booktitle = {Programming Languages and Systems - ESOP 94, 5th European Symposium on Programming, Edinburgh, U.K., April 11-13, 1994, Proceedings},
  editor = {Donald Sannella},
  volume = {788},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-57880-3},
}

@article{NajdJ17,
  title = {Trees that Grow},
  author = {Shayan Najd and Simon L. Peyton Jones},
  year = {2017},
  url = {http://www.jucs.org/jucs_23_1/trees_that_grow},
  researchr = {https://researchr.org/publication/NajdJ17},
  cites = {0},
  citedby = {0},
  journal = {J. UCS},
  volume = {23},
  number = {1},
  pages = {42-62},
}

@article{DybvigJS07,
  title = {A monadic framework for delimited continuations},
  author = {R. Kent Dybvig and Simon L. Peyton Jones and A. M. R. Sabry},
  year = {2007},
  doi = {10.1017/S0956796807006259},
  url = {http://dx.doi.org/10.1017/S0956796807006259},
  researchr = {https://researchr.org/publication/DybvigJS07},
  cites = {0},
  citedby = {0},
  journal = {Journal of Functional Programming},
  volume = {17},
  number = {6},
  pages = {687-730},
}

@article{Jones03p,
  title = {Haskell 98 Libraries: List Utilities},
  author = {Simon L. Peyton Jones},
  year = {2003},
  doi = {10.1017/S0956796803001916},
  url = {http://dx.doi.org/10.1017/S0956796803001916},
  tags = {Haskell},
  researchr = {https://researchr.org/publication/Jones03p},
  cites = {0},
  citedby = {0},
  journal = {Journal of Functional Programming},
  volume = {13},
  number = {1},
  pages = {179-190},
}

@inproceedings{TrinderHMPJ96,
  title = {GUM: A Portable Parallel Implementation of Haskell},
  author = {Philip W. Trinder and Kevin Hammond and James S. Mattson Jr. and A. S. Partridge and Simon L. Peyton Jones},
  year = {1996},
  tags = {Haskell},
  researchr = {https://researchr.org/publication/TrinderHMPJ96},
  cites = {0},
  citedby = {0},
  pages = {79-88},
  booktitle = {PLDI},
}

@inproceedings{GillLJ93,
  title = {A Short Cut to Deforestation},
  author = {Andrew J. Gill and John Launchbury and Simon L. Peyton Jones},
  year = {1993},
  researchr = {https://researchr.org/publication/GillLJ93},
  cites = {0},
  citedby = {0},
  pages = {223-232},
  booktitle = {FPCA},
}

@article{JonesL91:0,
  title = {A Modular Fully-lazy Lambda Lifter in HASKELL},
  author = {Simon L. Peyton Jones and David Lester},
  year = {1991},
  tags = {laziness, Haskell},
  researchr = {https://researchr.org/publication/JonesL91%3A0},
  cites = {0},
  citedby = {0},
  journal = {Software: Practice and Experience},
  volume = {21},
  number = {5},
  pages = {479-506},
}

@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{SergeyVJ14,
  title = {Modular, higher-order cardinality analysis in theory and practice},
  author = {Ilya Sergey and Dimitrios Vytiniotis and Simon L. Peyton Jones},
  year = {2014},
  doi = {10.1145/2535838.2535861},
  url = {http://doi.acm.org/10.1145/2535838.2535861},
  researchr = {https://researchr.org/publication/SergeyVJ14},
  cites = {0},
  citedby = {0},
  pages = {335-348},
  booktitle = {The 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '14, San Diego, CA, USA, January 20-21, 2014},
  editor = {Suresh Jagannathan and Peter Sewell},
  publisher = {ACM},
  isbn = {978-1-4503-2544-8},
}

@inproceedings{MarlowJS09,
  title = {Runtime support for multicore Haskell},
  author = {Simon Marlow and Simon L. Peyton Jones and Satnam Singh},
  year = {2009},
  doi = {10.1145/1596550.1596563},
  url = {http://doi.acm.org/10.1145/1596550.1596563},
  tags = {Haskell},
  researchr = {https://researchr.org/publication/MarlowJS09},
  cites = {0},
  citedby = {0},
  pages = {65-78},
  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},
}

@inproceedings{LammelJ05,
  title = {Scrap your boilerplate with class: extensible generic functions},
  author = {Ralf Lämmel and Simon L. Peyton Jones},
  year = {2005},
  doi = {10.1145/1086365.1086391},
  url = {http://doi.acm.org/10.1145/1086365.1086391},
  researchr = {https://researchr.org/publication/LammelJ05},
  cites = {0},
  citedby = {0},
  pages = {204-215},
  booktitle = {Proceedings of the 10th ACM SIGPLAN International Conference on Functional Programming, ICFP 2005, Tallinn, Estonia, September 26-28, 2005},
  editor = {Olivier Danvy and Benjamin C. Pierce},
  publisher = {ACM},
  isbn = {1-59593-064-7},
}

@inproceedings{EisenbergJ17,
  title = {Levity polymorphism},
  author = {Richard A. Eisenberg and Simon L. Peyton Jones},
  year = {2017},
  doi = {10.1145/3062341.3062357},
  url = {http://doi.acm.org/10.1145/3062341.3062357},
  researchr = {https://researchr.org/publication/EisenbergJ17},
  cites = {0},
  citedby = {0},
  pages = {525-539},
  booktitle = {Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2017, Barcelona, Spain, June 18-23, 2017},
  editor = {Albert Cohen 0001 and Martin T. Vechev},
  publisher = {ACM},
  isbn = {978-1-4503-4988-8},
}

@inproceedings{Jones07:2,
  title = {Call-pattern specialisation for haskell programs},
  author = {Simon L. Peyton Jones},
  year = {2007},
  doi = {10.1145/1291151.1291200},
  url = {http://doi.acm.org/10.1145/1291151.1291200},
  tags = {Haskell},
  researchr = {https://researchr.org/publication/Jones07%3A2},
  cites = {0},
  citedby = {0},
  pages = {327-337},
  booktitle = {Proceedings of the 12th ACM SIGPLAN International Conference on Functional Programming, ICFP 2007, Freiburg, Germany, October 1-3, 2007},
  editor = {Ralf Hinze and Norman Ramsey},
  publisher = {ACM},
  isbn = {978-1-59593-815-2},
}

@inproceedings{KilpatrickDJM14,
  title = {Backpack: retrofitting Haskell with interfaces},
  author = {Scott Kilpatrick and Derek Dreyer and Simon L. Peyton Jones and Simon Marlow},
  year = {2014},
  doi = {10.1145/2535838.2535884},
  url = {http://doi.acm.org/10.1145/2535838.2535884},
  researchr = {https://researchr.org/publication/KilpatrickDJM14},
  cites = {0},
  citedby = {0},
  pages = {19-32},
  booktitle = {The 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '14, San Diego, CA, USA, January 20-21, 2014},
  editor = {Suresh Jagannathan and Peter Sewell},
  publisher = {ACM},
  isbn = {978-1-4503-2544-8},
}

@article{TereiMJM12,
  title = {Safe Haskell},
  author = {David Terei and Simon Marlow and Simon L. Peyton Jones and David Mazières},
  year = {2012},
  url = {http://tinytocs.org/vol1/papers/tinytocs-v1-terei.pdf},
  researchr = {https://researchr.org/publication/TereiMJM12},
  cites = {0},
  citedby = {0},
  journal = {TinyToCS},
  volume = {1},
}

@article{JonesM02,
  title = {Secrets of the Glasgow Haskell Compiler inliner},
  author = {Simon L. Peyton Jones and Simon Marlow},
  year = {2002},
  tags = {Haskell, compiler},
  researchr = {https://researchr.org/publication/JonesM02},
  cites = {0},
  citedby = {0},
  journal = {Journal of Functional Programming},
  volume = {12},
  number = {4&5},
  pages = {393-433},
}

@article{Jones03j,
  title = {Haskell 98: Compiler Pragmas},
  author = {Simon L. Peyton Jones},
  year = {2003},
  doi = {10.1017/S095679680300131X},
  url = {http://dx.doi.org/10.1017/S095679680300131X},
  tags = {Haskell, compiler},
  researchr = {https://researchr.org/publication/Jones03j},
  cites = {0},
  citedby = {0},
  journal = {Journal of Functional Programming},
  volume = {13},
  number = {1},
  pages = {145-146},
}

@inproceedings{EpsteinBJ11,
  title = {Towards Haskell in the cloud},
  author = {Jeff Epstein and Andrew P. Black and Simon L. Peyton Jones},
  year = {2011},
  doi = {10.1145/2034675.2034690},
  url = {http://doi.acm.org/10.1145/2034675.2034690},
  researchr = {https://researchr.org/publication/EpsteinBJ11},
  cites = {0},
  citedby = {0},
  pages = {118-129},
  booktitle = {Proceedings of the 4th ACM SIGPLAN Symposium on Haskell, Haskell 2011, Tokyo, Japan, 22 September 2011},
  editor = {Koen Claessen},
  publisher = {ACM},
  isbn = {978-1-4503-0860-1},
}

@book{Jones87:2,
  title = {The Implementation of Functional Programming Languages},
  author = {Simon L. Peyton Jones},
  year = {1987},
  tags = {programming languages, functional programming, programming},
  researchr = {https://researchr.org/publication/Jones87%3A2},
  cites = {0},
  citedby = {0},
  publisher = {Prentice-Hall},
}

@article{Jones03x,
  title = {Haskell 98 Libraries: Locales},
  author = {Simon L. Peyton Jones},
  year = {2003},
  doi = {10.1017/S0956796803002715},
  url = {http://dx.doi.org/10.1017/S0956796803002715},
  tags = {Haskell},
  researchr = {https://researchr.org/publication/Jones03x},
  cites = {0},
  citedby = {0},
  journal = {Journal of Functional Programming},
  volume = {13},
  number = {1},
  pages = {231-232},
}

@inproceedings{RamseyJ00,
  title = {A single intermediate language that supports multiple implementations of exceptions},
  author = {Norman Ramsey and Simon L. Peyton Jones},
  year = {2000},
  doi = {10.1145/349299.349337},
  url = {http://doi.acm.org/10.1145/349299.349337},
  tags = {exceptions},
  researchr = {https://researchr.org/publication/RamseyJ00},
  cites = {0},
  citedby = {0},
  pages = {285-298},
  booktitle = {PLDI},
}

@inproceedings{AchtenJ00,
  title = {Porting the Clean Object I/O Library to Haskell},
  author = {Peter Achten and Simon L. Peyton Jones},
  year = {2000},
  url = {http://link.springer.de/link/service/series/0558/bibs/2011/20110194.htm},
  tags = {meta-model, Haskell, Meta-Environment, meta-objects},
  researchr = {https://researchr.org/publication/AchtenJ00},
  cites = {0},
  citedby = {0},
  pages = {194-213},
  booktitle = {Implementation of Functional Languages, 12th International Workshop, IFL 2000, Aachen, Germany, September 4-7, 2000, Selected Papers},
  editor = {Markus Mohnen and Pieter W. M. Koopman},
  volume = {2011},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-41919-5},
}

@inproceedings{SansomJ95,
  title = {Time and Space Profiling for Non-Strict Higher-Order Functional Languages},
  author = {Patrick M. Sansom and Simon L. Peyton Jones},
  year = {1995},
  researchr = {https://researchr.org/publication/SansomJ95},
  cites = {0},
  citedby = {0},
  pages = {355-366},
  booktitle = {POPL},
}

@article{Jones03k,
  title = {Haskell 98 Libraries: Rational Numbers},
  author = {Simon L. Peyton Jones},
  year = {2003},
  doi = {10.1017/S0956796803001412},
  url = {http://dx.doi.org/10.1017/S0956796803001412},
  tags = {Haskell},
  researchr = {https://researchr.org/publication/Jones03k},
  cites = {0},
  citedby = {0},
  journal = {Journal of Functional Programming},
  volume = {13},
  number = {1},
  pages = {149-152},
}

@inproceedings{ChakravartyKJ05,
  title = {Associated type synonyms},
  author = {Manuel M. T. Chakravarty and Gabriele Keller and Simon L. Peyton Jones},
  year = {2005},
  doi = {10.1145/1086365.1086397},
  url = {http://doi.acm.org/10.1145/1086365.1086397},
  researchr = {https://researchr.org/publication/ChakravartyKJ05},
  cites = {0},
  citedby = {0},
  pages = {241-253},
  booktitle = {Proceedings of the 10th ACM SIGPLAN International Conference on Functional Programming, ICFP 2005, Tallinn, Estonia, September 26-28, 2005},
  editor = {Olivier Danvy and Benjamin C. Pierce},
  publisher = {ACM},
  isbn = {1-59593-064-7},
}

@inproceedings{LippmeierCKLJ12,
  title = {Work efficient higher-order vectorisation},
  author = {Ben Lippmeier and Manuel M. T. Chakravarty and Gabriele Keller and Roman Leshchinskiy and Simon L. Peyton Jones},
  year = {2012},
  doi = {10.1145/2364527.2364564},
  url = {http://doi.acm.org/10.1145/2364527.2364564},
  researchr = {https://researchr.org/publication/LippmeierCKLJ12},
  cites = {0},
  citedby = {0},
  pages = {259-270},
  booktitle = {ACM SIGPLAN International Conference on Functional Programming, ICFP'12, Copenhagen, Denmark, September 9-15, 2012},
  editor = {Peter Thiemann and Robby Bruce Findler},
  publisher = {ACM},
  isbn = {978-1-4503-1054-3},
}

@article{HallHJW96,
  title = {Type Classes in Haskell},
  author = {Cordelia V. Hall and Kevin Hammond and Simon L. Peyton Jones and Philip Wadler},
  year = {1996},
  doi = {10.1145/227699.227700},
  url = {http://doi.acm.org/10.1145/227699.227700},
  tags = {Haskell},
  researchr = {https://researchr.org/publication/HallHJW96},
  cites = {0},
  citedby = {0},
  journal = {ACM Transactions on Programming Languages and Systems},
  volume = {18},
  number = {2},
  pages = {109-138},
}

@article{JonesBB03-0,
  title = {A user-centred approach to functions in Excel},
  author = {Simon L. Peyton Jones and Alan Blackwell and Margaret M. Burnett},
  year = {2003},
  doi = {10.1145/944746.944721},
  url = {http://doi.acm.org/10.1145/944746.944721},
  tags = {systematic-approach},
  researchr = {https://researchr.org/publication/JonesBB03-0},
  cites = {0},
  citedby = {0},
  journal = {SIGPLAN Notices},
  volume = {38},
  number = {9},
  pages = {165-176},
}

@inproceedings{HammondMJ94,
  title = {Automatic Spark Strategies and Granularity for a Parallel Functional Language Reducer},
  author = {Kevin Hammond and James S. Mattson Jr. and Simon L. Peyton Jones},
  year = {1994},
  researchr = {https://researchr.org/publication/HammondMJ94},
  cites = {0},
  citedby = {0},
  pages = {521-532},
  booktitle = {Parallel Processing: CONPAR 94 - VAPP VI, Third Joint International Conference on Vector and Parallel Processing, Linz, Austria, September 6-8, 1994, Proceedings},
  editor = {Bruno Buchberger and Jens Volkert},
  volume = {854},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-58430-7},
}

@inproceedings{VytiniotisWJ08,
  title = {FPH: first-class polymorphism for Haskell},
  author = {Dimitrios Vytiniotis and Stephanie Weirich and Simon L. Peyton Jones},
  year = {2008},
  doi = {10.1145/1411204.1411246},
  url = {http://doi.acm.org/10.1145/1411204.1411246},
  tags = {programming languages, type inference, completeness, System F, MLF, transformation language, polymorphism, Haskell, type system, transformation system, higher-order transformations, transformation, program transformation},
  researchr = {https://researchr.org/publication/VytiniotisWJ08},
  cites = {0},
  citedby = {0},
  pages = {295-306},
  booktitle = {Proceeding of the 13th ACM SIGPLAN international conference on Functional programming, ICFP 2008, Victoria, BC, Canada, September 20-28, 2008},
  editor = {James Hook and Peter Thiemann},
  publisher = {ACM},
  isbn = {978-1-59593-919-7},
}

@inproceedings{MarlowJKM16,
  title = {Desugaring Haskell's do-notation into applicative operations},
  author = {Simon Marlow and Simon L. Peyton Jones and Edward Kmett and Andrey Mokhov},
  year = {2016},
  doi = {10.1145/2976002.2976007},
  url = {http://doi.acm.org/10.1145/2976002.2976007},
  researchr = {https://researchr.org/publication/MarlowJKM16},
  cites = {0},
  citedby = {0},
  pages = {92-104},
  booktitle = {Proceedings of the 9th International Symposium on Haskell, Haskell 2016, Nara, Japan, September 22-23, 2016},
  editor = {Geoffrey Mainland},
  publisher = {ACM},
  isbn = {978-1-4503-4434-0},
}

@misc{PeytonJones:2004,
  title = {How to write a good research paper},
  author = {Simon L. Peyton Jones},
  year = {2004},
  url = {http://research.microsoft.com/en-us/um/people/simonpj/papers/giving-a-talk/writing-a-paper-slides.pdf},
  tags = {writing, research, academic writing},
  researchr = {https://researchr.org/publication/PeytonJones%3A2004},
  cites = {0},
  citedby = {0},
}

@article{Jones03u,
  title = {Haskell 98 Libraries: Directory Functions},
  author = {Simon L. Peyton Jones},
  year = {2003},
  doi = {10.1017/S0956796803002417},
  url = {http://dx.doi.org/10.1017/S0956796803002417},
  tags = {Haskell},
  researchr = {https://researchr.org/publication/Jones03u},
  cites = {0},
  citedby = {0},
  journal = {Journal of Functional Programming},
  volume = {13},
  number = {1},
  pages = {219-222},
}

@inproceedings{JonesLKC08,
  title = {Harnessing the Multicores: Nested Data Parallelism in Haskell},
  author = {Simon L. Peyton Jones and Roman Leshchinskiy and Gabriele Keller and Manuel M. T. Chakravarty},
  year = {2008},
  url = {http://drops.dagstuhl.de/opus/volltexte/2008/1769},
  tags = {Haskell, data-flow},
  researchr = {https://researchr.org/publication/JonesLKC08},
  cites = {0},
  citedby = {0},
  pages = {383-414},
  booktitle = {IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2008, December 9-11, 2008, Bangalore, India},
  editor = {Ramesh Hariharan and Madhavan Mukund and V. Vinay},
  volume = {08004},
  series = {Dagstuhl Seminar Proceedings},
  publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany},
}

@article{HinzeJ00,
  title = {Derivable Type Classes},
  author = {Ralf Hinze and Simon L. Peyton Jones},
  year = {2000},
  url = {http://www.elsevier.com/gej-ng/31/29/23/76/33/show/Products/notes/index.htt#010},
  researchr = {https://researchr.org/publication/HinzeJ00},
  cites = {0},
  citedby = {0},
  journal = {Electronic Notes in Theoretical Computer Science},
  volume = {41},
  number = {1},
  pages = {5-35},
}

@inproceedings{LeavensABBCFHJMJSSS06,
  title = {Roadmap for enhanced languages and methods to aid verification},
  author = {Gary T. Leavens and Jean-Raymond Abrial and Don S. Batory and Michael J. Butler and Alessandro Coglio and Kathi Fisler and Eric C. R. Hehner and Cliff B. Jones and Dale Miller and Simon L. Peyton Jones and Murali Sitaraman and Douglas R. Smith and Aaron Stump},
  year = {2006},
  doi = {10.1145/1173706.1173740},
  url = {http://doi.acm.org/10.1145/1173706.1173740},
  tags = {C++},
  researchr = {https://researchr.org/publication/LeavensABBCFHJMJSSS06},
  cites = {0},
  citedby = {0},
  pages = {221-236},
  booktitle = {Generative Programming and Component Engineering, 5th International Conference, GPCE 2006, Portland, Oregon, USA, October 22-26, 2006, Proceedings},
  editor = {Stan Jarzabek and Douglas C. Schmidt and Todd L. Veldhuizen},
  publisher = {ACM},
  isbn = {1-59593-237-2},
}

@inproceedings{JonesL03,
  title = {Scrap Your Boilerplate},
  author = {Simon L. Peyton Jones and Ralf Lämmel},
  year = {2003},
  url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2895&spage=357},
  researchr = {https://researchr.org/publication/JonesL03},
  cites = {0},
  citedby = {0},
  pages = {357},
  booktitle = {Programming Languages and Systems, First Asian Symposium, APLAS 2003, Beijing, China, November 27-29, 2003, Proceedings},
  editor = {Atsushi Ohori},
  volume = {2895},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-20536-5},
}

@inproceedings{FinneJ96,
  title = {Composing the User Interface with Haggis},
  author = {Sigbjorn Finne and Simon L. Peyton Jones},
  year = {1996},
  researchr = {https://researchr.org/publication/FinneJ96},
  cites = {0},
  citedby = {0},
  pages = {1-37},
  booktitle = {Advanced Functional Programming, Second International School, Olympia, WA, USA, August 26-30, 1996, Tutorial Text},
  editor = {John Launchbury and Erik Meijer and Tim  Sheard},
  volume = {1129},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-61628-4},
}

@misc{PeytonJones:2006,
  title = {How to write a good research proposal},
  author = {Simon L. Peyton Jones},
  year = {2006},
  url = {http://research.microsoft.com/en-us/um/people/simonpj/papers/Proposal.html},
  tags = {proposal, writing, research},
  researchr = {https://researchr.org/publication/PeytonJones%3A2006},
  cites = {0},
  citedby = {0},
}

@inproceedings{MokhovMJM16,
  title = {Non-recursive make considered harmful: build systems at scale},
  author = {Andrey Mokhov and Neil Mitchell and Simon L. Peyton Jones and Simon Marlow},
  year = {2016},
  doi = {10.1145/2976002.2976011},
  url = {http://doi.acm.org/10.1145/2976002.2976011},
  researchr = {https://researchr.org/publication/MokhovMJM16},
  cites = {0},
  citedby = {0},
  pages = {170-181},
  booktitle = {Proceedings of the 9th International Symposium on Haskell, Haskell 2016, Nara, Japan, September 22-23, 2016},
  editor = {Geoffrey Mainland},
  publisher = {ACM},
  isbn = {978-1-4503-4434-0},
}

@article{MarlowJ06,
  title = {Making a fast curry: push/enter vs. eval/apply for higher-order languages},
  author = {Simon Marlow and Simon L. Peyton Jones},
  year = {2006},
  doi = {10.1017/S0956796806005995},
  url = {http://dx.doi.org/10.1017/S0956796806005995},
  researchr = {https://researchr.org/publication/MarlowJ06},
  cites = {0},
  citedby = {0},
  journal = {Journal of Functional Programming},
  volume = {16},
  number = {4-5},
  pages = {415-449},
}

@inproceedings{MarlowHJJ08,
  title = {Parallel generational-copying garbage collection with a block-structured heap},
  author = {Simon Marlow and Tim Harris and Roshan P. James and Simon L. Peyton Jones},
  year = {2008},
  doi = {10.1145/1375634.1375637},
  url = {http://doi.acm.org/10.1145/1375634.1375637},
  researchr = {https://researchr.org/publication/MarlowHJJ08},
  cites = {0},
  citedby = {0},
  pages = {11-20},
  booktitle = {Proceedings of the 7th International Symposium on Memory Management, ISMM 2008, Tucson, AZ, USA, June 7-8, 2008},
  editor = {Richard Jones and Stephen M. Blackburn},
  publisher = {ACM},
  isbn = {978-1-60558-134-7},
}

@inproceedings{Jones13-0,
  title = {Computer science as a school subject},
  author = {Simon L. Peyton Jones},
  year = {2013},
  doi = {10.1145/2500365.2500609},
  url = {http://doi.acm.org/10.1145/2500365.2500609},
  researchr = {https://researchr.org/publication/Jones13-0},
  cites = {0},
  citedby = {0},
  pages = {159-160},
  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{DuckPSS04,
  title = {Sound and Decidable Type Inference for Functional Dependencies},
  author = {Gregory J. Duck and Simon L. Peyton Jones and Peter J. Stuckey and Martin Sulzmann},
  year = {2004},
  url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2986&spage=49},
  tags = {type inference, type soundness},
  researchr = {https://researchr.org/publication/DuckPSS04},
  cites = {0},
  citedby = {0},
  pages = {49-63},
  booktitle = {Programming Languages and Systems, 13th European Symposium on Programming, ESOP 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings},
  editor = {David A. Schmidt},
  volume = {2986},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-21313-9},
}

@inproceedings{LammelJ04,
  title = {Scrap more boilerplate: reflection, zips, and generalised casts},
  author = {Ralf Lämmel and Simon L. Peyton Jones},
  year = {2004},
  doi = {10.1145/1016850.1016883},
  url = {http://doi.acm.org/10.1145/1016850.1016883},
  tags = {reflection},
  researchr = {https://researchr.org/publication/LammelJ04},
  cites = {0},
  citedby = {0},
  pages = {244-255},
  booktitle = {Proceedings of the Ninth ACM SIGPLAN International Conference on Functional Programming, ICFP 2004, Snow Bird, UT, USA, September 19-21, 2004},
  editor = {Chris Okasaki and Kathleen Fisher},
  publisher = {ACM},
  isbn = {1-58113-905-5},
}

@inproceedings{JonesL91,
  title = {Unboxed Values as First Class Citizens in a Non-Strict Functional Language},
  author = {Simon L. Peyton Jones and John Launchbury},
  year = {1991},
  researchr = {https://researchr.org/publication/JonesL91},
  cites = {0},
  citedby = {0},
  pages = {636-666},
  booktitle = {Functional Programming Languages and Computer Architecture, 5th ACM Conference, Cambridge, MA, USA, August 26-30, 1991, Proceedings},
  editor = {John Hughes},
  volume = {523},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-54396-1},
}

@article{Jones86:4,
  title = {Parsing Distfix Operators},
  author = {Simon L. Peyton Jones},
  year = {1986},
  tags = {parsing},
  researchr = {https://researchr.org/publication/Jones86%3A4},
  cites = {0},
  citedby = {0},
  journal = {Communications of the ACM},
  volume = {29},
  number = {2},
  pages = {118-122},
}

@article{TrinderHLJ98,
  title = {Algorithms + Strategy = Parallelism},
  author = {Philip W. Trinder and Kevin Hammond and Hans-Wolfgang Loidl and Simon L. Peyton Jones},
  year = {1998},
  researchr = {https://researchr.org/publication/TrinderHLJ98},
  cites = {0},
  citedby = {0},
  journal = {Journal of Functional Programming},
  volume = {8},
  number = {1},
  pages = {23-60},
}

@inproceedings{DownenMAJ16,
  title = {Sequent calculus as a compiler intermediate language},
  author = {Paul Downen and Luke Maurer and Zena M. Ariola and Simon L. Peyton Jones},
  year = {2016},
  doi = {10.1145/2951913.2951931},
  url = {http://doi.acm.org/10.1145/2951913.2951931},
  researchr = {https://researchr.org/publication/DownenMAJ16},
  cites = {0},
  citedby = {0},
  pages = {74-88},
  booktitle = {Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming, ICFP 2016, Nara, Japan, September 18-22, 2016},
  editor = {Jacques Garrigue and Gabriele Keller and Eijiro Sumii},
  publisher = {ACM},
  isbn = {978-1-4503-4219-3},
}

@article{ZhangMVJ17,
  title = {SHErrLoc: A Static Holistic Error Locator},
  author = {Danfeng Zhang and Andrew C. Myers and Dimitrios Vytiniotis and Simon L. Peyton Jones},
  year = {2017},
  doi = {10.1145/3121137},
  url = {http://doi.acm.org/10.1145/3121137},
  researchr = {https://researchr.org/publication/ZhangMVJ17},
  cites = {0},
  citedby = {0},
  journal = {ACM Transactions on Programming Languages and Systems},
  volume = {39},
  number = {4},
}

@article{Jones03y,
  title = {Haskell 98 Libraries: CPU Time},
  author = {Simon L. Peyton Jones},
  year = {2003},
  doi = {10.1017/S0956796803002818},
  url = {http://dx.doi.org/10.1017/S0956796803002818},
  tags = {Haskell},
  researchr = {https://researchr.org/publication/Jones03y},
  cites = {0},
  citedby = {0},
  journal = {Journal of Functional Programming},
  volume = {13},
  number = {1},
  pages = {233-234},
}

@inproceedings{RamseyDJ10,
  title = {Hoopl: a modular, reusable library for dataflow analysis and transformation},
  author = {Norman Ramsey and João Dias and Simon L. Peyton Jones},
  year = {2010},
  doi = {10.1145/1863523.1863539},
  url = {http://doi.acm.org/10.1145/1863523.1863539},
  researchr = {https://researchr.org/publication/RamseyDJ10},
  cites = {0},
  citedby = {0},
  pages = {121-134},
  booktitle = {Proceedings of the 3rd ACM SIGPLAN Symposium on Haskell, Haskell 2010, Baltimore, MD, USA, 30 September 2010},
  editor = {Jeremy Gibbons},
  publisher = {ACM},
  isbn = {978-1-4503-0252-4},
}

@inproceedings{BurnJR88,
  title = {The Spineless G-Machine},
  author = {Geoffrey L. Burn and Simon L. Peyton Jones and J. D. Robson},
  year = {1988},
  doi = {10.1145/62678.62717},
  url = {http://doi.acm.org/10.1145/62678.62717},
  researchr = {https://researchr.org/publication/BurnJR88},
  cites = {0},
  citedby = {0},
  pages = {244-258},
  booktitle = {LISP and Functional Programming},
}

@inproceedings{BealeJ81,
  title = {TM compatible specification language},
  author = {N. C. L. Beale and Simon L. Peyton Jones},
  year = {1981},
  doi = {10.1145/800175.809857},
  url = {http://doi.acm.org/10.1145/800175.809857},
  researchr = {https://researchr.org/publication/BealeJ81},
  cites = {0},
  citedby = {0},
  pages = {139-143},
  booktitle = {Proceedings of the ACM 1981 Annual Conference, Los Angeles, CA, USA, November 9-11, 1981},
  editor = {Toni Shelter and Steven Abraham and Emily P. Friedman and Beth Levy},
  publisher = {ACM},
  isbn = {0-89791-049-4},
}

@article{Jones03h,
  title = {Haskell 98: Syntax Reference},
  author = {Simon L. Peyton Jones},
  year = {2003},
  doi = {10.1017/S0956796803001114},
  url = {http://dx.doi.org/10.1017/S0956796803001114},
  tags = {Haskell},
  researchr = {https://researchr.org/publication/Jones03h},
  cites = {0},
  citedby = {0},
  journal = {Journal of Functional Programming},
  volume = {13},
  number = {1},
  pages = {125-138},
}

@inproceedings{VytiniotisJM12,
  title = {Equality proofs and deferred type errors: a compiler pearl},
  author = {Dimitrios Vytiniotis and Simon L. Peyton Jones and José Pedro Magalhães},
  year = {2012},
  doi = {10.1145/2364527.2364554},
  url = {http://doi.acm.org/10.1145/2364527.2364554},
  researchr = {https://researchr.org/publication/VytiniotisJM12},
  cites = {0},
  citedby = {0},
  pages = {341-352},
  booktitle = {ACM SIGPLAN International Conference on Functional Programming, ICFP'12, Copenhagen, Denmark, September 9-15, 2012},
  editor = {Peter Thiemann and Robby Bruce Findler},
  publisher = {ACM},
  isbn = {978-1-4503-1054-3},
}

@inproceedings{MoorPW99,
  title = {Aspect-Oriented Compilers},
  author = {Oege de Moor and Simon L. Peyton Jones and Eric {Van Wyk}},
  year = {1999},
  url = {http://link.springer.de/link/service/series/0558/bibs/1799/17990121.htm},
  tags = {compiler},
  researchr = {https://researchr.org/publication/MoorPW99},
  cites = {0},
  citedby = {0},
  pages = {121-133},
  booktitle = {Generative and Component-Based Software Engineering, First International Symposium, GCSE 99, Erfurt, Germany, September 28-30, 1999, Revised Papers},
  editor = {Krzysztof Czarnecki and Ulrich W. Eisenecker},
  volume = {1799},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-41172-0},
}

@article{Jones86-4,
  title = {Using Futurebus in a fifth-generation computer},
  author = {Simon L. Peyton Jones},
  year = {1986},
  doi = {10.1016/0141-9331(86)90029-3},
  url = {http://dx.doi.org/10.1016/0141-9331(86)90029-3},
  researchr = {https://researchr.org/publication/Jones86-4},
  cites = {0},
  citedby = {0},
  journal = {Microprocessors and Microsystems},
  volume = {10},
  number = {2},
  pages = {69-76},
}

@inproceedings{XuJC09,
  title = {Static contract checking for Haskell},
  author = {Dana N. Xu and Simon L. Peyton Jones and Koen Claessen},
  year = {2009},
  doi = {10.1145/1480881.1480889},
  url = {http://doi.acm.org/10.1145/1480881.1480889},
  tags = {contracts, Haskell},
  researchr = {https://researchr.org/publication/XuJC09},
  cites = {0},
  citedby = {0},
  pages = {41-52},
  booktitle = {Proceedings of the 36th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2009, Savannah, GA, USA, January 21-23, 2009},
  editor = {Zhong Shao and Benjamin C. Pierce},
  publisher = {ACM},
  isbn = {978-1-60558-379-2},
}

@article{Jones03q,
  title = {Haskell 98 Libraries: Maybe Utilities},
  author = {Simon L. Peyton Jones},
  year = {2003},
  doi = {10.1017/S0956796803002016},
  url = {http://dx.doi.org/10.1017/S0956796803002016},
  tags = {Haskell},
  researchr = {https://researchr.org/publication/Jones03q},
  cites = {0},
  citedby = {0},
  journal = {Journal of Functional Programming},
  volume = {13},
  number = {1},
  pages = {191-192},
}

@inproceedings{JonesW07,
  title = {Comprehensive comprehensions},
  author = {Simon L. Peyton Jones and Philip Wadler},
  year = {2007},
  doi = {10.1145/1291201.1291209},
  url = {http://doi.acm.org/10.1145/1291201.1291209},
  tags = {Haskell},
  researchr = {https://researchr.org/publication/JonesW07},
  cites = {0},
  citedby = {0},
  pages = {61-72},
  booktitle = {Proceedings of the ACM SIGPLAN Workshop on Haskell, Haskell 2007, Freiburg, Germany, September 30, 2007},
  editor = {Gabriele Keller},
  publisher = {ACM},
  isbn = {978-1-59593-674-5},
}

@inproceedings{WansbroughJ99,
  title = {Once Upon a Polymorphic Type},
  author = {Keith Wansbrough and Simon L. Peyton Jones},
  year = {1999},
  doi = {10.1145/292540.292545},
  url = {http://doi.acm.org/10.1145/292540.292545},
  researchr = {https://researchr.org/publication/WansbroughJ99},
  cites = {0},
  citedby = {0},
  pages = {15-28},
  booktitle = {POPL},
}

@article{SansomJ97,
  title = {Formally Based Profiling for Higher-Order Functional Languages},
  author = {Patrick M. Sansom and Simon L. Peyton Jones},
  year = {1997},
  doi = {10.1145/244795.244802},
  url = {http://doi.acm.org/10.1145/244795.244802},
  tags = {rule-based},
  researchr = {https://researchr.org/publication/SansomJ97},
  cites = {0},
  citedby = {0},
  journal = {ACM Transactions on Programming Languages and Systems},
  volume = {19},
  number = {2},
  pages = {334-385},
}

@inproceedings{WeirichVJZ11,
  title = {Generative type abstraction and type-level computation},
  author = {Stephanie Weirich and Dimitrios Vytiniotis and Simon L. Peyton Jones and Steve Zdancewic},
  year = {2011},
  doi = {10.1145/1926385.1926411},
  url = {http://doi.acm.org/10.1145/1926385.1926411},
  tags = {abstraction},
  researchr = {https://researchr.org/publication/WeirichVJZ11},
  cites = {0},
  citedby = {0},
  pages = {227-240},
  booktitle = {Proceedings of the 38th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2011, Austin, TX, USA, January 26-28, 2011},
  editor = {Thomas Ball and Mooly Sagiv},
  publisher = {ACM},
  isbn = {978-1-4503-0490-0},
}

@inproceedings{LaunchburyJ94,
  title = {Lazy Funtional State Threads: An Abstract},
  author = {John Launchbury and Simon L. Peyton Jones},
  year = {1994},
  tags = {laziness},
  researchr = {https://researchr.org/publication/LaunchburyJ94},
  cites = {0},
  citedby = {0},
  pages = {3-5},
  booktitle = {ICLP},
}

@inproceedings{ClackJ86,
  title = {The Four-Stroke Reduction Engine},
  author = {Chris D. Clack and Simon L. Peyton Jones},
  year = {1986},
  researchr = {https://researchr.org/publication/ClackJ86},
  cites = {0},
  citedby = {0},
  pages = {220-232},
  booktitle = {LISP and Functional Programming},
}

@inproceedings{LippmeierCKJ12,
  title = {Guiding parallel array fusion with indexed types},
  author = {Ben Lippmeier and Manuel M. T. Chakravarty and Gabriele Keller and Simon L. Peyton Jones},
  year = {2012},
  doi = {10.1145/2364506.2364511},
  url = {http://doi.acm.org/10.1145/2364506.2364511},
  researchr = {https://researchr.org/publication/LippmeierCKJ12},
  cites = {0},
  citedby = {0},
  pages = {25-36},
  booktitle = {Proceedings of the 5th ACM SIGPLAN Symposium on Haskell, Haskell 2012, Copenhagen, Denmark, 13 September 2012},
  editor = {Janis Voigtländer},
  publisher = {ACM},
  isbn = {978-1-4503-1574-6},
}

@incollection{KiselyovJS10,
  title = {Fun with Type Functions},
  author = {Oleg Kiselyov and Simon L. Peyton Jones and Chung-chieh Shan},
  year = {2010},
  doi = {10.1007/978-1-84882-912-1_14},
  url = {http://dx.doi.org/10.1007/978-1-84882-912-1_14},
  researchr = {https://researchr.org/publication/KiselyovJS10},
  cites = {0},
  citedby = {0},
  pages = {301-331},
  booktitle = {Reflections on the Work of C. A. R. Hoare},
  editor = {A. W. Roscoe and Clifford B. Jones and Kenneth R. Wood},
  publisher = {Springer},
  isbn = {978-1-84882-911-4},
}

@inproceedings{DiscoloHMJS06,
  title = {Lock Free Data Structures Using STM in Haskell},
  author = {Anthony Discolo and Tim Harris and Simon Marlow and Simon L. Peyton Jones and Satnam Singh},
  year = {2006},
  doi = {10.1007/11737414_6},
  url = {http://dx.doi.org/10.1007/11737414_6},
  tags = {Haskell, data-flow},
  researchr = {https://researchr.org/publication/DiscoloHMJS06},
  cites = {0},
  citedby = {0},
  pages = {65-80},
  booktitle = {Functional and Logic Programming, 8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006, Proceedings},
  editor = {Masami Hagiya and Philip Wadler},
  volume = {3945},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-33438-6},
}

@article{JonesH91,
  title = {A Futurebus interface from off-the-shelf parts},
  author = {Simon L. Peyton Jones and Mark Hardie},
  year = {1991},
  doi = {10.1109/40.67745},
  url = {http://doi.ieeecomputersociety.org/10.1109/40.67745},
  researchr = {https://researchr.org/publication/JonesH91},
  cites = {0},
  citedby = {0},
  journal = {IEEE Micro},
  volume = {11},
  number = {1},
  pages = {38-41},
}

@article{Jones03c,
  title = {Haskell 98: Declarations and Bindings},
  author = {Simon L. Peyton Jones},
  year = {2003},
  doi = {10.1017/S0956796803000613},
  url = {http://dx.doi.org/10.1017/S0956796803000613},
  tags = {Haskell},
  researchr = {https://researchr.org/publication/Jones03c},
  cites = {0},
  citedby = {0},
  journal = {Journal of Functional Programming},
  volume = {13},
  number = {1},
  pages = {39-66},
}

@inproceedings{FinneLMJ99,
  title = {Calling Hell From Heaven and Heaven From Hell},
  author = {Sigbjorn Finne and Daan Leijen and Erik Meijer and Simon L. Peyton Jones},
  year = {1999},
  doi = {10.1145/317636.317790},
  url = {http://doi.acm.org/10.1145/317636.317790},
  researchr = {https://researchr.org/publication/FinneLMJ99},
  cites = {0},
  citedby = {0},
  pages = {114-125},
  booktitle = {ICFP},
}

@inproceedings{JayJ08,
  title = {Scrap Your Type Applications},
  author = {Barry Jay and Simon L. Peyton Jones},
  year = {2008},
  doi = {10.1007/978-3-540-70594-9_2},
  url = {http://dx.doi.org/10.1007/978-3-540-70594-9_2},
  researchr = {https://researchr.org/publication/JayJ08},
  cites = {0},
  citedby = {0},
  pages = {2-27},
  booktitle = {Mathematics of Program Construction, 9th International Conference, MPC 2008, Marseille, France, July 15-18, 2008. Proceedings},
  editor = {Philippe Audebaud and Christine Paulin-Mohring},
  volume = {5133},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-70593-2},
}

@inproceedings{BlackwellBJ04,
  title = {Champagne Prototyping: A Research Technique for Early Evaluation of Complex End-User Programming Systems},
  author = {Alan F. Blackwell and Margaret M. Burnett and Simon L. Peyton Jones},
  year = {2004},
  doi = {10.1109/VLHCC.2004.10},
  url = {http://doi.ieeecomputersociety.org/10.1109/VLHCC.2004.10},
  tags = {programming},
  researchr = {https://researchr.org/publication/BlackwellBJ04},
  cites = {0},
  citedby = {0},
  pages = {47-54},
  booktitle = {2004 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2004), 26-29 September 2004, Rome, Italy},
  publisher = {IEEE Computer Society},
}

@article{Baker-FinchGJ04,
  title = {Constructed product result analysis for Haskell},
  author = {Clement A. Baker-Finch and Kevin Glynn and Simon L. Peyton Jones},
  year = {2004},
  doi = {10.1017/S0956796803004751},
  url = {http://dx.doi.org/10.1017/S0956796803004751},
  tags = {analysis, Haskell},
  researchr = {https://researchr.org/publication/Baker-FinchGJ04},
  cites = {0},
  citedby = {0},
  journal = {Journal of Functional Programming},
  volume = {14},
  number = {2},
  pages = {211-245},
}

@inproceedings{SantosJ92,
  title = {On Program Transformation in the Glasgow Haskell Compiler},
  author = {André L. M. Santos and Simon L. Peyton Jones},
  year = {1992},
  tags = {Haskell, compiler, transformation, program transformation},
  researchr = {https://researchr.org/publication/SantosJ92},
  cites = {0},
  citedby = {0},
  pages = {240-251},
  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{Rudiak-GouldMJ06,
  title = {Haskell Is Not Not ML},
  author = {Ben Rudiak-Gould and Alan Mycroft and Simon L. Peyton Jones},
  year = {2006},
  doi = {10.1007/11693024_4},
  url = {http://dx.doi.org/10.1007/11693024_4},
  tags = {Haskell},
  researchr = {https://researchr.org/publication/Rudiak-GouldMJ06},
  cites = {0},
  citedby = {0},
  pages = {38-53},
  booktitle = {Programming Languages and Systems, 15th European Symposium on Programming, ESOP 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006, Proceedings},
  editor = {Peter Sestoft},
  volume = {3924},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-33095-X},
}

@article{MoranLJ99,
  title = {Imprecise Exceptions, Co-Inductively},
  author = {Andrew Moran and Søren B. Lassen and Simon L. Peyton Jones},
  year = {1999},
  url = {http://www.elsevier.com/gej-ng/31/29/23/50/23/show/Products/notes/index.htt#010},
  tags = {exceptions},
  researchr = {https://researchr.org/publication/MoranLJ99},
  cites = {0},
  citedby = {0},
  journal = {Electronic Notes in Theoretical Computer Science},
  volume = {26},
  pages = {122-141},
}

@inproceedings{ZhangMVJ15,
  title = {Diagnosing type errors with class},
  author = {Danfeng Zhang and Andrew C. Myers and Dimitrios Vytiniotis and Simon L. Peyton Jones},
  year = {2015},
  doi = {10.1145/2737924.2738009},
  url = {http://doi.acm.org/10.1145/2737924.2738009},
  researchr = {https://researchr.org/publication/ZhangMVJ15},
  cites = {0},
  citedby = {0},
  pages = {12-21},
  booktitle = {Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, Portland, OR, USA, June 15-17, 2015},
  editor = {David Grove and Steve Blackburn},
  publisher = {ACM},
  isbn = {978-1-4503-3468-6},
}

@inproceedings{EnnalsJ03,
  title = {Optimistic evaluation: an adaptive evaluation strategy for non-strict programs},
  author = {Robert Ennals and Simon L. Peyton Jones},
  year = {2003},
  doi = {10.1145/944705.944731},
  url = {http://doi.acm.org/10.1145/944705.944731},
  researchr = {https://researchr.org/publication/EnnalsJ03},
  cites = {0},
  citedby = {0},
  pages = {287-298},
  booktitle = {Proceedings of the Eighth ACM SIGPLAN International Conference on Functional Programming, ICFP 2003, Uppsala, Sweden, August 25-29, 2003},
  editor = {Colin Runciman and Olin Shivers},
  publisher = {ACM},
  isbn = {1-58113-756-7},
}

@article{Jones85:1,
  title = {Yacc in Sasl-an Exercise in Functional Programming},
  author = {Simon L. Peyton Jones},
  year = {1985},
  tags = {YACC, functional programming, programming},
  researchr = {https://researchr.org/publication/Jones85%3A1},
  cites = {0},
  citedby = {0},
  journal = {Software: Practice and Experience},
  volume = {15},
  number = {8},
  pages = {807-820},
}

@inproceedings{HarrisMPH05,
  title = {Composable memory transactions},
  author = {Tim Harris and Simon Marlow and Simon L. Peyton Jones and Maurice Herlihy},
  year = {2005},
  doi = {10.1145/1065944.1065952},
  url = {http://doi.acm.org/10.1145/1065944.1065952},
  researchr = {https://researchr.org/publication/HarrisMPH05},
  cites = {0},
  citedby = {0},
  pages = {48-60},
  booktitle = {Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP 2005, June 15-17, 2005, Chicago, IL, USA},
  editor = {Keshav Pingali and Katherine A. Yelick and Andrew S. Grimshaw},
  publisher = {ACM},
  isbn = {1-59593-080-9},
}

@inproceedings{MarlowJ04,
  title = {Making a fast curry: push/enter vs. eval/apply for higher-order languages},
  author = {Simon Marlow and Simon L. Peyton Jones},
  year = {2004},
  doi = {10.1145/1016850.1016856},
  url = {http://doi.acm.org/10.1145/1016850.1016856},
  researchr = {https://researchr.org/publication/MarlowJ04},
  cites = {0},
  citedby = {0},
  pages = {4-15},
  booktitle = {Proceedings of the Ninth ACM SIGPLAN International Conference on Functional Programming, ICFP 2004, Snow Bird, UT, USA, September 19-21, 2004},
  editor = {Chris Okasaki and Kathleen Fisher},
  publisher = {ACM},
  isbn = {1-58113-905-5},
}

@inproceedings{SarkarGJT18,
  title = {Calculation View: multiple-representation editing in spreadsheets},
  author = {Advait Sarkar and Andrew D. Gordon and Simon L. Peyton Jones and Neil Toronto},
  year = {2018},
  doi = {10.1109/VLHCC.2018.8506584},
  url = {https://doi.org/10.1109/VLHCC.2018.8506584},
  researchr = {https://researchr.org/publication/SarkarGJT18},
  cites = {0},
  citedby = {0},
  pages = {85-93},
  booktitle = {2018 IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC 2018, Lisbon, Portugal, October 1-4, 2018},
  editor = {Jácome Cunha and João Paulo Fernandes and Caitlin Kelleher and Gregor Engels and Jorge Mendes 0001},
  publisher = {IEEE},
  isbn = {978-1-5386-4235-1},
}

@inproceedings{FinneJ95,
  title = {Picture: A Simple Structured Graphics Model},
  author = {Sigbjorn Finne and Simon L. Peyton Jones},
  year = {1995},
  tags = {meta-model, Meta-Environment},
  researchr = {https://researchr.org/publication/FinneJ95},
  cites = {0},
  citedby = {0},
  pages = {4},
  booktitle = {Functional Programming, Glasgow 1995},
  editor = {David N. Turner},
  series = {Workshops in Computing},
  publisher = {Springer},
  isbn = {3-540-14580-X},
}

@article{Jones89:0,
  title = {Parallel Implementations of Functional Programming Languages},
  author = {Simon L. Peyton Jones},
  year = {1989},
  tags = {programming languages, functional programming, parallel programming, programming},
  researchr = {https://researchr.org/publication/Jones89%3A0},
  cites = {0},
  citedby = {0},
  journal = {Comput. J.},
  volume = {32},
  number = {2},
  pages = {175-186},
}

@inproceedings{Jones82:1,
  title = {An Investigation of the Relative Efficiencies of Combinators and Lambda Expressions},
  author = {Simon L. Peyton Jones},
  year = {1982},
  researchr = {https://researchr.org/publication/Jones82%3A1},
  cites = {0},
  citedby = {0},
  pages = {150-158},
  booktitle = {Symposium on LISP and Functional Programming},
}

@article{HankinBJ88,
  title = {A Safe Approach to Parallel Combinator Reduction},
  author = {Chris Hankin and Geoffrey L. Burn and Simon L. Peyton Jones},
  year = {1988},
  tags = {systematic-approach},
  researchr = {https://researchr.org/publication/HankinBJ88},
  cites = {0},
  citedby = {0},
  journal = {Theoretical Computer Science},
  volume = {56},
  pages = {17-36},
}

@inproceedings{LiMJT07,
  title = {Lightweight concurrency primitives for GHC},
  author = {Peng Li and Simon Marlow and Simon L. Peyton Jones and Andrew P. Tolmach},
  year = {2007},
  doi = {10.1145/1291201.1291217},
  url = {http://doi.acm.org/10.1145/1291201.1291217},
  tags = {Haskell},
  researchr = {https://researchr.org/publication/LiMJT07},
  cites = {0},
  citedby = {0},
  pages = {107-118},
  booktitle = {Proceedings of the ACM SIGPLAN Workshop on Haskell, Haskell 2007, Freiburg, Germany, September 30, 2007},
  editor = {Gabriele Keller},
  publisher = {ACM},
  isbn = {978-1-59593-674-5},
}

@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{MarlowJT04,
  title = {Extending the Haskell foreign function interface with concurrency},
  author = {Simon Marlow and Simon L. Peyton Jones and Wolfgang Thaller},
  year = {2004},
  doi = {10.1145/1017472.1017479},
  url = {http://doi.acm.org/10.1145/1017472.1017479},
  researchr = {https://researchr.org/publication/MarlowJT04},
  cites = {0},
  citedby = {0},
  pages = {22-32},
  booktitle = {Proceedings of the ACM SIGPLAN Workshop on Haskell, Haskell 2004, Snowbird, UT, USA, September 22-22, 2004},
  editor = {Henrik Nilsson},
  publisher = {ACM},
}

@article{Jones03z,
  title = {Haskell 98 Libraries: Random Numbers},
  author = {Simon L. Peyton Jones},
  year = {2003},
  doi = {10.1017/S0956796803002910},
  url = {http://dx.doi.org/10.1017/S0956796803002910},
  tags = {Haskell},
  researchr = {https://researchr.org/publication/Jones03z},
  cites = {0},
  citedby = {0},
  journal = {Journal of Functional Programming},
  volume = {13},
  number = {1},
  pages = {235-240},
}

@inproceedings{EnnalsJ03-1,
  title = {HsDebug: debugging lazy programs by not being lazy},
  author = {Robert Ennals and Simon L. Peyton Jones},
  year = {2003},
  doi = {10.1145/871895.871904},
  url = {http://doi.acm.org/10.1145/871895.871904},
  researchr = {https://researchr.org/publication/EnnalsJ03-1},
  cites = {0},
  citedby = {0},
  pages = {84-87},
  booktitle = {Proceedings of the ACM SIGPLAN Workshop on Haskell, Haskell 2003, Uppsala, Sweden, August 28, 2003},
  publisher = {ACM},
}

@inproceedings{JonesGF96,
  title = {Concurrent Haskell},
  author = {Simon L. Peyton Jones and Andrew D. Gordon and Sigbjorn Finne},
  year = {1996},
  doi = {10.1145/237721.237794},
  url = {http://doi.acm.org/10.1145/237721.237794},
  tags = {Haskell},
  researchr = {https://researchr.org/publication/JonesGF96},
  cites = {0},
  citedby = {0},
  pages = {295-308},
  booktitle = {POPL},
}

@inproceedings{VytiniotisJS10,
  title = {Let should not be generalized},
  author = {Dimitrios Vytiniotis and Simon L. Peyton Jones and Tom Schrijvers},
  year = {2010},
  doi = {10.1145/1708016.1708023},
  url = {http://doi.acm.org/10.1145/1708016.1708023},
  researchr = {https://researchr.org/publication/VytiniotisJS10},
  cites = {0},
  citedby = {0},
  pages = {39-50},
  booktitle = {Proceedings of TLDI 2010: 2010 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, Madrid, Spain, January 23, 2010},
  editor = {Andrew Kennedy and Nick Benton},
  publisher = {ACM},
  isbn = {978-1-60558-891-9},
}

@inproceedings{MarlowJMR01,
  title = {Asynchronous Exceptions in Haskell},
  author = {Simon Marlow and Simon L. Peyton Jones and Andrew Moran and John H. Reppy},
  year = {2001},
  tags = {exceptions, Haskell},
  researchr = {https://researchr.org/publication/MarlowJMR01},
  cites = {0},
  citedby = {0},
  pages = {274-285},
  booktitle = {PLDI},
}

@article{SulzmannDJS07,
  title = {Understanding functional dependencies via constraint handling rules},
  author = {Martin Sulzmann and Gregory J. Duck and Simon L. Peyton Jones and Peter J. Stuckey},
  year = {2007},
  doi = {10.1017/S0956796806006137},
  url = {http://dx.doi.org/10.1017/S0956796806006137},
  tags = {rule-based, constraints, rules},
  researchr = {https://researchr.org/publication/SulzmannDJS07},
  cites = {0},
  citedby = {0},
  journal = {Journal of Functional Programming},
  volume = {17},
  number = {1},
  pages = {83-129},
}

@article{BernardyBNJS18,
  title = {Linear Haskell: practical linearity in a higher-order polymorphic language},
  author = {Jean-Philippe Bernardy and Mathieu Boespflug and Ryan R. Newton and Simon L. Peyton Jones and Arnaud Spiwack},
  year = {2018},
  doi = {10.1145/3158093},
  url = {http://doi.acm.org/10.1145/3158093},
  researchr = {https://researchr.org/publication/BernardyBNJS18},
  cites = {0},
  citedby = {0},
  journal = {Proceedings of the ACM on Programming Languages},
  volume = {2},
  number = {POPL},
}

@inproceedings{VytiniotisJ13,
  title = {Evidence Normalization in System FC (Invited Talk)},
  author = {Dimitrios Vytiniotis and Simon L. Peyton Jones},
  year = {2013},
  doi = {10.4230/LIPIcs.RTA.2013.20},
  url = {http://dx.doi.org/10.4230/LIPIcs.RTA.2013.20},
  researchr = {https://researchr.org/publication/VytiniotisJ13},
  cites = {0},
  citedby = {0},
  pages = {20-38},
  booktitle = {24th International Conference on Rewriting Techniques and Applications (RTA 2013), RTA 2013, June 24-26, 2013, Eindhoven, The Netherlands},
  editor = {Femke van Raamsdonk},
  volume = {21},
  series = {LIPIcs},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
  isbn = {978-3-939897-53-8},
}
@proceedings{icfp-1997,
  title = {Proceedings of the 1997 ACM SIGPLAN International Conference on Functional Programming (ICFP '97), Amsterdam, The Netherlands, June 9-11, 1997},
  year = {1997},
  note = {SIGPLAN Notices 32(8), August 1997},
  researchr = {https://researchr.org/publication/icfp-1997},
  cites = {0},
  citedby = {0},
  booktitle = {Proceedings of the 1997 ACM SIGPLAN International Conference on Functional Programming (ICFP '97), Amsterdam, The Netherlands, June 9-11, 1997},
  conference = {ICFP},
  editor = {Simon L. Peyton Jones and Mads Tofte and A. Michael Berman},
  publisher = {ACM},
  isbn = {0-89791-918-1},
}

@proceedings{iwmm-1998,
  title = {International Symposium on Memory Management, ISMM '98, Vancouver, British Columbia, Canada, 17-19 October, 1998, Conference Proceedings},
  year = {1998},
  url = {http://dl.acm.org/citation.cfm?id=286860},
  researchr = {https://researchr.org/publication/iwmm-1998},
  cites = {0},
  citedby = {0},
  booktitle = {International Symposium on Memory Management, ISMM '98, Vancouver, British Columbia, Canada, 17-19 October, 1998, Conference Proceedings},
  conference = {iwmm},
  editor = {Simon L. Peyton Jones and Richard E. Jones},
  publisher = {ACM},
  isbn = {1-58113-114-3},
}

@proceedings{popl:2006,
  title = {Proceedings of the 33rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2006, Charleston, South Carolina, USA, January 11-13, 2006},
  year = {2006},
  tags = {programming languages, principles, programming},
  researchr = {https://researchr.org/publication/popl%3A2006},
  cites = {0},
  citedby = {0},
  booktitle = {Proceedings of the 33rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2006, Charleston, South Carolina, USA, January 11-13, 2006},
  conference = {POPL},
  editor = {J. Gregory Morrisett and Simon L. Peyton Jones},
  publisher = {ACM},
  isbn = {1-59593-027-2},
}

@proceedings{afp:2002,
  title = {Advanced Functional Programming, 4th International School, AFP 2002, Oxford, UK, August 19-24, 2002, Revised Lectures},
  year = {2003},
  tags = {functional programming, programming},
  researchr = {https://researchr.org/publication/afp%3A2002},
  cites = {0},
  citedby = {0},
  booktitle = {Advanced Functional Programming, 4th International School, AFP 2002, Oxford, UK, August 19-24, 2002, Revised Lectures},
  conference = {afp},
  editor = {Johan  Jeuring and Simon L. Peyton Jones},
  volume = {2638},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-40132-6},
}

@proceedings{icfp-2002,
  title = {Proceedings of the Seventh ACM SIGPLAN International Conference on Functional Programming (ICFP '02), Pittsburgh, Pennsylvania, USA, October 4-6, 2002},
  year = {2002},
  note = {SIGPLAN Notices 37(9), September 2002},
  researchr = {https://researchr.org/publication/icfp-2002},
  cites = {0},
  citedby = {0},
  booktitle = {Proceedings of the Seventh ACM SIGPLAN International Conference on Functional Programming (ICFP '02), Pittsburgh, Pennsylvania, USA, October 4-6, 2002},
  conference = {ICFP},
  editor = {Mitchell Wand and Simon L. Peyton Jones},
  publisher = {ACM},
  isbn = {1-58113-487-8},
}