publications:
- title: "A user-centred approach to functions in Excel"
  author:
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  - name: "Alan F. Blackwell"
    link: "http://www.cl.cam.ac.uk/~afb21/"
  - name: "Margaret M. Burnett"
    link: "https://researchr.org/alias/margaret-m.-burnett"
  year: "2003"
  doi: "http://doi.acm.org/10.1145/944705.944721"
  links:
    doi: "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:
  - name: "Colin Runciman"
    link: "https://researchr.org/alias/colin-runciman"
  - name: "Olin Shivers"
    link: "https://researchr.org/alias/olin-shivers"
  publisher: "ACM"
  isbn: "1-58113-756-7"
  kind: "inproceedings"
  key: "JonesBB03"
- title: "How to Write a Great Research Paper"
  author:
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  year: "2017"
  doi: "https://doi.org/10.4230/OASIcs.ICCSW.2017.1"
  links:
    doi: "https://doi.org/10.4230/OASIcs.ICCSW.2017.1"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/iccsw/Jones17"
  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:
  - name: "Fergus Leahy"
    link: "https://researchr.org/alias/fergus-leahy"
  - name: "Juliana Franco"
    link: "https://researchr.org/alias/juliana-franco"
  volume: "60"
  series: "OASICS"
  publisher: "Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik"
  isbn: "978-3-95977-059-0"
  kind: "inproceedings"
  key: "Jones17-11"
- title: "Haskell 98 Libraries: Complex Numbers"
  author:
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  year: "2003"
  doi: "http://dx.doi.org/10.1017/S0956796803001515"
  links:
    doi: "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"
  kind: "article"
  key: "Jones03l"
- title: "Vectorisation avoidance"
  author:
  - name: "Gabriele Keller"
    link: "https://researchr.org/alias/gabriele-keller"
  - name: "Manuel M. T. Chakravarty"
    link: "https://researchr.org/alias/manuel-m.-t.-chakravarty"
  - name: "Roman Leshchinskiy"
    link: "https://researchr.org/alias/roman-leshchinskiy"
  - name: "Ben Lippmeier"
    link: "https://researchr.org/alias/ben-lippmeier"
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  year: "2012"
  doi: "http://doi.acm.org/10.1145/2364506.2364512"
  links:
    doi: "http://doi.acm.org/10.1145/2364506.2364512"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/haskell/KellerCLLJ12"
  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:
  - name: "Janis Voigtländer"
    link: "http://www.iai.uni-bonn.de/~jv/"
  publisher: "ACM"
  isbn: "978-1-4503-1574-6"
  kind: "inproceedings"
  key: "KellerCLLJ12"
- title: "Harnessing the Multicores: Nested Data Parallelism in Haskell"
  author:
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  year: "2008"
  doi: "http://dx.doi.org/10.1007/978-3-540-89330-1_10"
  links:
    doi: "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:
  - name: "Ganesan Ramalingam"
    link: "http://research.microsoft.com/en-us/um/people/grama/"
  volume: "5356"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-89329-5"
  kind: "inproceedings"
  key: "Jones08:2"
- title: "Implementing Lazy Functional Languages on Stock Hardware: The Spineless Tagless G-Machine"
  author:
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  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"
  kind: "article"
  key: "Jones92a"
- title: "Type checking with open type functions"
  author:
  - name: "Tom Schrijvers"
    link: "http://users.ugent.be/~tschrijv"
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  - name: "Manuel M. T. Chakravarty"
    link: "https://researchr.org/alias/manuel-m.-t.-chakravarty"
  - name: "Martin Sulzmann"
    link: "https://researchr.org/alias/martin-sulzmann"
  year: "2008"
  doi: "http://doi.acm.org/10.1145/1411204.1411215"
  links:
    doi: "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:
  - name: "James Hook"
    link: "https://researchr.org/alias/james-hook"
  - name: "Peter Thiemann"
    link: "http://www.informatik.uni-freiburg.de/~thiemann/"
  publisher: "ACM"
  isbn: "978-1-59593-919-7"
  kind: "inproceedings"
  key: "SchrijversJCS08"
- title: "Haskell 98: Predefined Types and Classes"
  author:
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  year: "2003"
  doi: "http://dx.doi.org/10.1017/S0956796803000819"
  links:
    doi: "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"
  kind: "article"
  key: "Jones03e"
- title: "Optimistic evaluation: an adaptive evaluation strategy for non-strict programs"
  author:
  - name: "Robert Ennals"
    link: "https://researchr.org/alias/robert-ennals"
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  year: "2003"
  doi: "http://doi.acm.org/10.1145/944746.944731"
  links:
    doi: "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"
  kind: "article"
  key: "EnnalsJ03-0"
- title: "Haskell 98: Basic Input/Output"
  author:
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  year: "2003"
  doi: "http://dx.doi.org/10.1017/S0956796803000911"
  links:
    doi: "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"
  kind: "article"
  key: "Jones03f"
- title: "Safe zero-cost coercions for Haskell"
  author:
  - name: "Joachim Breitner"
    link: "https://researchr.org/alias/joachim-breitner"
  - name: "Richard A. Eisenberg"
    link: "http://cs.brynmawr.edu/~rae"
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  - name: "Stephanie Weirich"
    link: "http://www.cis.upenn.edu/~sweirich/"
  year: "2014"
  doi: "http://doi.acm.org/10.1145/2628136.2628141"
  links:
    doi: "http://doi.acm.org/10.1145/2628136.2628141"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/icfp/BreitnerEJW14"
  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:
  - name: "Johan Jeuring"
    link: "https://researchr.org/alias/johan-jeuring"
  - name: "Manuel M. T. Chakravarty"
    link: "https://researchr.org/alias/manuel-m.-t.-chakravarty"
  publisher: "ACM"
  isbn: "978-1-4503-2873-9"
  kind: "inproceedings"
  key: "BreitnerEJW14"
- title: "Boxy types: inference for higher-rank types and impredicativity"
  author:
  - name: "Dimitrios Vytiniotis"
    link: "http://"
  - name: "Stephanie Weirich"
    link: "http://www.cis.upenn.edu/~sweirich/"
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  year: "2006"
  doi: "http://doi.acm.org/10.1145/1159803.1159838"
  links:
    doi: "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:
  - name: "John H. Reppy"
    link: "http://www.cs.uchicago.edu/people/jhr"
  - name: "Julia L. Lawall"
    link: "http://www.diku.dk/hjemmesider/ansatte/julia/"
  publisher: "ACM"
  isbn: "1-59593-309-3"
  kind: "inproceedings"
  key: "VytiniotisWJ06"
- title: "Finding the needle: stack traces for GHC"
  author:
  - name: "Tristan O. R. Allwood"
    link: "https://researchr.org/alias/tristan-o.-r.-allwood"
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  - name: "Susan Eisenbach"
    link: "https://researchr.org/alias/susan-eisenbach"
  year: "2009"
  doi: "http://doi.acm.org/10.1145/1596638.1596654"
  links:
    doi: "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:
  - name: "Stephanie Weirich"
    link: "https://researchr.org/alias/stephanie-weirich"
  publisher: "ACM"
  isbn: "978-1-60558-508-6"
  kind: "inproceedings"
  key: "AllwoodJE09"
- title: "Scripting COM components in Haskell"
  author:
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  - name: "Erik Meijer"
    link: "https://researchr.org/alias/erik-meijer"
  - name: "Daan Leijen"
    link: "https://researchr.org/alias/daan-leijen"
  year: "1998"
  doi: "http://doi.ieeecomputersociety.org/10.1109/ICSR.1998.685747"
  links:
    doi: "http://doi.ieeecomputersociety.org/10.1109/ICSR.1998.685747"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/icsr/JonesML98"
  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:
  - name: "Premkumar T. Devanbu"
    link: "https://researchr.org/alias/premkumar-t.-devanbu"
  - name: "Jeffrey S. Poulin"
    link: "https://researchr.org/alias/jeffrey-s.-poulin"
  publisher: "IEEE Computer Society"
  isbn: "0-8186-8377-5"
  kind: "inproceedings"
  key: "JonesML98"
- title: "Associated types with class"
  author:
  - name: "Manuel M. T. Chakravarty"
    link: "https://researchr.org/alias/manuel-m.-t.-chakravarty"
  - name: "Gabriele Keller"
    link: "https://researchr.org/alias/gabriele-keller"
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  - name: "Simon Marlow"
    link: "https://researchr.org/alias/simon-marlow"
  year: "2005"
  doi: "http://doi.acm.org/10.1145/1040305.1040306"
  links:
    doi: "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:
  - name: "Jens Palsberg"
    link: "https://researchr.org/alias/jens-palsberg"
  - name: "Martín Abadi"
    link: "https://researchr.org/alias/mart%C3%ADn-abadi"
  publisher: "ACM"
  isbn: "1-58113-830-X"
  kind: "inproceedings"
  key: "ChakravartyKJM05"
- title: "High-Performance parallel graph reduction"
  author:
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  - name: "Chris D. Clack"
    link: "https://researchr.org/alias/chris-d.-clack"
  - name: "Jon Salkild"
    link: "https://researchr.org/alias/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:
  - name: "Eddy Odijk"
    link: "https://researchr.org/alias/eddy-odijk"
  - name: "Martin Rem"
    link: "https://researchr.org/alias/martin-rem"
  - name: "Jean-Claude Syre"
    link: "https://researchr.org/alias/jean-claude-syre"
  volume: "365"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-51284-5"
  kind: "inproceedings"
  key: "JonesCS89"
- title: "Modular, higher order cardinality analysis in theory and practice"
  author:
  - name: "Ilya Sergey"
    link: "https://researchr.org/alias/ilya-sergey"
  - name: "Dimitrios Vytiniotis"
    link: "https://researchr.org/alias/dimitrios-vytiniotis"
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  - name: "Joachim Breitner"
    link: "https://researchr.org/alias/joachim-breitner"
  year: "2017"
  doi: "http://dx.doi.org/10.1017/S0956796817000016"
  links:
    doi: "http://dx.doi.org/10.1017/S0956796817000016"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/jfp/SergeyVJB17"
  researchr: "https://researchr.org/publication/SergeyVJB17"
  cites: 0
  citedby: 0
  journal: "Journal of Functional Programming"
  volume: "27"
  kind: "article"
  key: "SergeyVJB17"
- title: "Composing Haggis"
  author:
  - name: "Sigbjorn Finne"
    link: "https://researchr.org/alias/sigbjorn-finne"
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  year: "1995"
  researchr: "https://researchr.org/publication/FinneJ95%3A0"
  cites: 0
  citedby: 0
  pages: "85-101"
  booktitle: "Eurographics Workshop on Programming Paradigms in Graphics"
  kind: "inproceedings"
  key: "FinneJ95:0"
- title: "Classes, Jim, But Not as We Know Them - Type Classes in Haskell: What, Why, and Whither"
  author:
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  year: "2009"
  doi: "http://dx.doi.org/10.1007/978-3-642-03013-0_1"
  links:
    doi: "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:
  - name: "Sophia Drossopoulou"
    link: "https://researchr.org/alias/sophia-drossopoulou"
  volume: "5653"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-03012-3"
  kind: "inproceedings"
  key: "Jones09-6"
- title: "Compiling without continuations"
  author:
  - name: "Luke Maurer"
    link: "https://researchr.org/alias/luke-maurer"
  - name: "Paul Downen"
    link: "https://researchr.org/alias/paul-downen"
  - name: "Zena M. Ariola"
    link: "https://researchr.org/alias/zena-m.-ariola"
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  year: "2017"
  doi: "http://doi.acm.org/10.1145/3062341.3062380"
  links:
    doi: "http://doi.acm.org/10.1145/3062341.3062380"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/pldi/MaurerDAJ17"
  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:
  - name: "Albert Cohen 0001"
    link: "https://researchr.org/alias/albert-cohen-0001"
  - name: "Martin T. Vechev"
    link: "https://researchr.org/alias/martin-t.-vechev"
  publisher: "ACM"
  isbn: "978-1-4503-4988-8"
  kind: "inproceedings"
  key: "MaurerDAJ17"
- title: "HALO: haskell to logic through denotational semantics"
  author:
  - name: "Dimitrios Vytiniotis"
    link: "https://researchr.org/alias/dimitrios-vytiniotis"
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  - name: "Koen Claessen"
    link: "http://www.cse.chalmers.se/~koen/"
  - name: "Dan Rosén"
    link: "https://researchr.org/alias/dan-ros%C3%A9n"
  year: "2013"
  doi: "http://doi.acm.org/10.1145/2429069.2429121"
  links:
    doi: "http://doi.acm.org/10.1145/2429069.2429121"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/popl/VytiniotisJCR13"
  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:
  - name: "Roberto Giacobazzi"
    link: "https://researchr.org/alias/roberto-giacobazzi"
  - name: "Radhia Cousot"
    link: "https://researchr.org/alias/radhia-cousot"
  publisher: "ACM"
  isbn: "978-1-4503-1832-7"
  kind: "inproceedings"
  key: "VytiniotisJCR13"
- title: "Non-stop Haskell"
  author:
  - name: "Andrew M. Cheadle"
    link: "https://researchr.org/alias/andrew-m.-cheadle"
  - name: "A. J. Field"
    link: "https://researchr.org/alias/a.-j.-field"
  - name: "Simon Marlow"
    link: "https://researchr.org/alias/simon-marlow"
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  - name: "R. Lyndon While"
    link: "https://researchr.org/alias/r.-lyndon-while"
  year: "2000"
  doi: "http://doi.acm.org/10.1145/351240.351265"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "CheadleFMJW00"
- title: "Imperative Functional Programming"
  author:
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  - name: "Philip Wadler"
    link: "http://homepages.inf.ed.ac.uk/wadler/"
  year: "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"
  kind: "inproceedings"
  key: "JonesW93"
- title: "Practical type inference for arbitrary-rank types"
  author:
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  - name: "Dimitrios Vytiniotis"
    link: "http://"
  - name: "Stephanie Weirich"
    link: "http://www.cis.upenn.edu/~sweirich/"
  - name: "Mark Shields"
    link: "https://researchr.org/alias/mark-shields"
  year: "2007"
  doi: "http://dx.doi.org/10.1017/S0956796806006034"
  links:
    doi: "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"
  kind: "article"
  key: "JonesVWS07"
- title: "Haskell 98 Libraries: Dates and Times"
  author:
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  year: "2003"
  doi: "http://dx.doi.org/10.1017/S0956796803002612"
  links:
    doi: "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"
  kind: "article"
  key: "Jones03w"
- title: "Generational Garbage Collection for Haskell"
  author:
  - name: "Patrick M. Sansom"
    link: "https://researchr.org/alias/patrick-m.-sansom"
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  year: "1993"
  tags:
  - "Haskell"
  researchr: "https://researchr.org/publication/SansomJ93"
  cites: 0
  citedby: 0
  pages: "106-116"
  booktitle: "FPCA"
  kind: "inproceedings"
  key: "SansomJ93"
- title: "Build systems à la carte"
  author:
  - name: "Andrey Mokhov"
    link: "https://researchr.org/alias/andrey-mokhov"
  - name: "Neil Mitchell"
    link: "https://researchr.org/alias/neil-mitchell"
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  year: "2018"
  month: "7"
  doi: "https://doi.org/10.1145/3236774"
  links:
    doi: "https://doi.org/10.1145/3236774"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/pacmpl/MokhovMJ18"
  researchr: "https://researchr.org/publication/MokhovMJ18"
  cites: 0
  citedby: 0
  journal: "Proceedings of the ACM on Programming Languages"
  volume: "2"
  number: "ICFP"
  kind: "article"
  key: "MokhovMJ18"
- title: "Profiling Lazy Functional Programs"
  author:
  - name: "Patrick M. Sansom"
    link: "https://researchr.org/alias/patrick-m.-sansom"
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  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:
  - name: "John Launchbury"
    link: "https://researchr.org/alias/john-launchbury"
  - name: "Patrick M. Sansom"
    link: "https://researchr.org/alias/patrick-m.-sansom"
  series: "Workshops in Computing"
  publisher: "Springer"
  isbn: "3-540-19820-2"
  kind: "inproceedings"
  key: "SansomJ92"
- title: "Closed type families with overlapping equations"
  author:
  - name: "Richard A. Eisenberg"
    link: "http://cs.brynmawr.edu/~rae"
  - name: "Dimitrios Vytiniotis"
    link: "https://researchr.org/alias/dimitrios-vytiniotis"
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  - name: "Stephanie Weirich"
    link: "http://www.cis.upenn.edu/~sweirich/"
  year: "2014"
  doi: "http://doi.acm.org/10.1145/2535838.2535856"
  links:
    doi: "http://doi.acm.org/10.1145/2535838.2535856"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/popl/EisenbergVJW14"
  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:
  - name: "Suresh Jagannathan"
    link: "https://researchr.org/alias/suresh-jagannathan"
  - name: "Peter Sewell"
    link: "https://researchr.org/alias/peter-sewell"
  publisher: "ACM"
  isbn: "978-1-4503-2544-8"
  kind: "inproceedings"
  key: "EisenbergVJW14"
- title: "Scrap your boilerplate: a practical design pattern for generic programming"
  author:
  - name: "Ralf Lämmel"
    link: "http://www.uni-koblenz.de/~laemmel/Site/Home.html"
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  year: "2003"
  doi: "http://doi.acm.org/10.1145/604174.604179"
  links:
    doi: "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:
  - name: "Zhong Shao"
    link: "https://researchr.org/alias/zhong-shao"
  - name: "Peter Lee"
    link: "https://researchr.org/alias/peter-lee"
  publisher: "ACM"
  isbn: "1-58113-649-8"
  kind: "inproceedings"
  key: "LammelJ03"
- title: "The Spineless Tagless G-Machine"
  author:
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  - name: "Jon Salkild"
    link: "https://researchr.org/alias/jon-salkild"
  year: "1989"
  doi: "http://doi.acm.org/10.1145/99370.99385"
  links:
    doi: "http://doi.acm.org/10.1145/99370.99385"
  researchr: "https://researchr.org/publication/JonesS89"
  cites: 0
  citedby: 0
  pages: "184-201"
  booktitle: "FPCA"
  kind: "inproceedings"
  key: "JonesS89"
- title: "Complete and decidable type inference for GADTs"
  author:
  - name: "Tom Schrijvers"
    link: "http://users.ugent.be/~tschrijv"
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  - name: "Martin Sulzmann"
    link: "https://researchr.org/alias/martin-sulzmann"
  - name: "Dimitrios Vytiniotis"
    link: "https://researchr.org/alias/dimitrios-vytiniotis"
  year: "2009"
  doi: "http://doi.acm.org/10.1145/1596550.1596599"
  links:
    doi: "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:
  - name: "Graham Hutton"
    link: "https://researchr.org/alias/graham-hutton"
  - name: "Andrew P. Tolmach"
    link: "http://www.cs.pdx.edu/~apt"
  publisher: "ACM"
  isbn: "978-1-60558-332-7"
  kind: "inproceedings"
  key: "SchrijversJSV09"
- title: "Injective type families for Haskell"
  author:
  - name: "Jan Stolarek"
    link: "https://researchr.org/alias/jan-stolarek"
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  - name: "Richard A. Eisenberg"
    link: "http://cs.brynmawr.edu/~rae"
  year: "2015"
  doi: "http://doi.acm.org/10.1145/2804302.2804314"
  links:
    doi: "http://doi.acm.org/10.1145/2804302.2804314"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/haskell/StolarekJE15"
  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:
  - name: "Ben Lippmeier"
    link: "https://researchr.org/alias/ben-lippmeier"
  publisher: "ACM"
  isbn: "978-1-4503-3808-0"
  kind: "inproceedings"
  key: "StolarekJE15"
- title: "Haskell 98: Introduction"
  author:
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  year: "2003"
  doi: "http://dx.doi.org/10.1017/S0956796803000315"
  links:
    doi: "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"
  kind: "article"
  key: "Jones03:2"
- title: "Compiling Haskell by Program Transformation: A Report from the Trenches"
  author:
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  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:
  - name: "Hanne Riis Nielson"
    link: "https://researchr.org/alias/hanne-riis-nielson"
  volume: "1058"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-61055-3"
  kind: "inproceedings"
  key: "Jones96a"
- title: "Haskell 98: Standard Prelude"
  author:
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  year: "2003"
  doi: "http://dx.doi.org/10.1017/S0956796803001011"
  links:
    doi: "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"
  kind: "article"
  key: "Jones03g"
- title: "Composing contracts: an adventure in financial engineering, functional pearl"
  author:
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  - name: "Jean-Marc Eber"
    link: "https://researchr.org/alias/jean-marc-eber"
  - name: "Julian Seward"
    link: "https://researchr.org/alias/julian-seward"
  year: "2000"
  doi: "http://doi.acm.org/10.1145/351240.351267"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "JonesES00"
- title: "Bridging the Gulf: A Common Intermediate Language for ML and Haskell"
  author:
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  - name: "Mark Shields"
    link: "https://researchr.org/alias/mark-shields"
  - name: "John Launchbury"
    link: "https://researchr.org/alias/john-launchbury"
  - name: "Andrew P. Tolmach"
    link: "http://www.cs.pdx.edu/~apt"
  year: "1998"
  doi: "http://doi.acm.org/10.1145/268946.268951"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "JonesSLT98"
- title: "Engineering parallel symbolic programs in GPH"
  author:
  - name: "Hans-Wolfgang Loidl"
    link: "https://researchr.org/alias/hans-wolfgang-loidl"
  - name: "Philip W. Trinder"
    link: "https://researchr.org/alias/philip-w.-trinder"
  - name: "Kevin Hammond"
    link: "http://www.cs.st-andrews.ac.uk/~kh/"
  - name: "Sahalu B. Junaidu"
    link: "https://researchr.org/alias/sahalu-b.-junaidu"
  - name: "Richard G. Morgan"
    link: "https://researchr.org/alias/richard-g.-morgan"
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  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"
  kind: "article"
  key: "LoidlTHJMJ99"
- title: "Cheap Deforestation in Practice: An Optimizer for Haskell"
  author:
  - name: "Andrew J. Gill"
    link: "https://researchr.org/alias/andrew-j.-gill"
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  year: "1994"
  tags:
  - "optimization"
  - "Haskell"
  researchr: "https://researchr.org/publication/GillJ94"
  cites: 0
  citedby: 0
  pages: "581-586"
  booktitle: "IFIP Congress (1)"
  kind: "inproceedings"
  key: "GillJ94"
- title: "The computing at school working group"
  author:
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  year: "2013"
  doi: "http://doi.acm.org/10.1145/2462476.2483794"
  links:
    doi: "http://doi.acm.org/10.1145/2462476.2483794"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/iticse/Jones13"
  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:
  - name: "Janet Carter"
    link: "https://researchr.org/alias/janet-carter"
  - name: "Ian Utting"
    link: "https://researchr.org/alias/ian-utting"
  - name: "Alison Clear"
    link: "https://researchr.org/alias/alison-clear"
  publisher: "ACM"
  isbn: "978-1-4503-2078-8"
  kind: "inproceedings"
  key: "Jones13"
- title: "A Transformation-Based Optimiser for Haskell"
  author:
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  - name: "André L. M. Santos"
    link: "http://www.cin.ufpe.br/~alms/"
  year: "1998"
  doi: "http://dx.doi.org/10.1016/S0167-6423(97)00029-4"
  abstract: "Many compilers do some of their work by means of correctness-preserving, and hopefully performance-improving, program transformations. The Glasgow Haskell Compiler (GHC) takes this idea of “compilation by transformation” as its war-cry, trying to express as much as possible of the compilation process in the form of program transformations. This paper reports on our practical experience of the transformational approach to compilation, in the context of a substantial compiler."
  links:
    doi: "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"
  kind: "article"
  key: "JonesSantos1998"
- title: "A Safe Approach to Parallel Combinator Reduction (Extended Abstract)"
  author:
  - name: "Chris Hankin"
    link: "https://researchr.org/alias/chris-hankin"
  - name: "Geoffrey L. Burn"
    link: "https://researchr.org/alias/geoffrey-l.-burn"
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  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:
  - name: "Bernard Robinet"
    link: "https://researchr.org/alias/bernard-robinet"
  - name: "Reinhard Wilhelm"
    link: "https://researchr.org/alias/reinhard-wilhelm"
  volume: "213"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-16442-1"
  kind: "inproceedings"
  key: "HankinBJ86"
- title: "Faster laziness using dynamic pointer tagging"
  author:
  - name: "Simon Marlow"
    link: "https://researchr.org/alias/simon-marlow"
  - name: "Alexey Rodriguez Yakushev"
    link: "https://researchr.org/alias/alexey-rodriguez-yakushev"
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  year: "2007"
  doi: "http://doi.acm.org/10.1145/1291151.1291194"
  links:
    doi: "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:
  - name: "Ralf Hinze"
    link: "https://researchr.org/alias/ralf-hinze"
  - name: "Norman Ramsey"
    link: "http://www.cs.tufts.edu/~nr/"
  publisher: "ACM"
  isbn: "978-1-59593-815-2"
  kind: "inproceedings"
  key: "MarlowYJ07"
- title: "Lazy v. Yield: Incremental, Linear Pretty-Printing"
  author:
  - name: "Oleg Kiselyov"
    link: "http://okmij.org/ftp/"
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  - name: "Amr Sabry"
    link: "https://researchr.org/alias/amr-sabry"
  year: "2012"
  doi: "http://dx.doi.org/10.1007/978-3-642-35182-2_14"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-35182-2_14"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/aplas/KiselyovJS12"
  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:
  - name: "Ranjit Jhala"
    link: "https://researchr.org/alias/ranjit-jhala"
  - name: "Atsushi Igarashi"
    link: "https://researchr.org/alias/atsushi-igarashi"
  volume: "7705"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-35181-5"
  kind: "inproceedings"
  key: "KiselyovJS12"
- title: "Haskell 98 Libraries: Bibliography"
  author:
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  year: "2003"
  doi: "http://dx.doi.org/10.1017/S0956796803003010"
  links:
    doi: "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"
  kind: "article"
  key: "Jones03za"
- title: "Guarded impredicative polymorphism"
  author:
  - name: "Alejandro Serrano"
    link: "https://researchr.org/alias/alejandro-serrano"
  - name: "Jurriaan Hage"
    link: "https://researchr.org/alias/jurriaan-hage"
  - name: "Dimitrios Vytiniotis"
    link: "https://researchr.org/alias/dimitrios-vytiniotis"
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  year: "2018"
  doi: "http://doi.acm.org/10.1145/3192366.3192389"
  links:
    doi: "http://doi.acm.org/10.1145/3192366.3192389"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/pldi/SerranoHVJ18"
  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:
  - name: "Jeffrey S. Foster"
    link: "https://researchr.org/alias/jeffrey-s.-foster"
  - name: "Dan Grossman"
    link: "https://researchr.org/alias/dan-grossman"
  publisher: "ACM"
  kind: "inproceedings"
  key: "SerranoHVJ18"
- title: "Exploring the barrier to entry: incremental generational garbage collection for Haskell"
  author:
  - name: "Andrew M. Cheadle"
    link: "https://researchr.org/alias/andrew-m.-cheadle"
  - name: "A. J. Field"
    link: "https://researchr.org/alias/a.-j.-field"
  - name: "Simon Marlow"
    link: "https://researchr.org/alias/simon-marlow"
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  - name: "R. Lyndon While"
    link: "https://researchr.org/alias/r.-lyndon-while"
  year: "2004"
  doi: "http://doi.acm.org/10.1145/1029873.1029893"
  links:
    doi: "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:
  - name: "David F. Bacon"
    link: "http://domino.research.ibm.com/comm/research_people.nsf/pages/bacon.index.html"
  - name: "Amer Diwan"
    link: "https://researchr.org/alias/amer-diwan"
  publisher: "ACM"
  isbn: "1-58113-945-4"
  kind: "inproceedings"
  key: "CheadleFMJW04"
- title: "Pattern Guards and Transformational Patterns"
  author:
  - name: "Martin Erwig"
    link: "http://web.engr.oregonstate.edu/~erwig/"
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  year: "2000"
  doi: "http://www.elsevier.com/gej-ng/31/29/23/76/33/show/Products/notes/index.htt#012"
  links:
    doi: "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"
  kind: "article"
  key: "ErwigJ00"
- title: "Pattern synonyms"
  author:
  - name: "Matthew Pickering"
    link: "https://researchr.org/alias/matthew-pickering"
  - name: "Gergo Érdi"
    link: "https://researchr.org/alias/gergo-%C3%A9rdi"
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  - name: "Richard A. Eisenberg"
    link: "https://researchr.org/alias/richard-a.-eisenberg"
  year: "2016"
  doi: "http://doi.acm.org/10.1145/2976002.2976013"
  links:
    doi: "http://doi.acm.org/10.1145/2976002.2976013"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/haskell/PickeringEJE16"
  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:
  - name: "Geoffrey Mainland"
    link: "https://researchr.org/alias/geoffrey-mainland"
  publisher: "ACM"
  isbn: "978-1-4503-4434-0"
  kind: "inproceedings"
  key: "PickeringEJE16"
- title: "Haskell 98 Libraries: Character Utilities"
  author:
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  year: "2003"
  doi: "http://dx.doi.org/10.1017/S0956796803002119"
  links:
    doi: "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"
  kind: "article"
  key: "Jones03r"
- title: "On the Equivalence Between CMC and TIM"
  author:
  - name: "Rafael Dueire Lins"
    link: "https://researchr.org/alias/rafael-dueire-lins"
  - name: "Simon J. Thompson"
    link: "https://researchr.org/alias/simon-j.-thompson"
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  year: "1994"
  researchr: "https://researchr.org/publication/LinsTJ94"
  cites: 0
  citedby: 0
  journal: "Journal of Functional Programming"
  volume: "4"
  number: "1"
  pages: "47-63"
  kind: "article"
  key: "LinsTJ94"
- title: "Exploiting vector instructions with generalized stream fusio"
  author:
  - name: "Geoffrey Mainland"
    link: "https://researchr.org/alias/geoffrey-mainland"
  - name: "Roman Leshchinskiy"
    link: "https://researchr.org/alias/roman-leshchinskiy"
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  year: "2013"
  doi: "http://doi.acm.org/10.1145/2500365.2500601"
  links:
    doi: "http://doi.acm.org/10.1145/2500365.2500601"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/icfp/MainlandLJ13"
  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:
  - name: "Greg Morrisett"
    link: "https://researchr.org/alias/greg-morrisett"
  - name: "Tarmo Uustalu"
    link: "https://researchr.org/alias/tarmo-uustalu"
  publisher: "ACM"
  isbn: "978-1-4503-2326-0"
  kind: "inproceedings"
  key: "MainlandLJ13"
- title: "An Introduction to Fully-Lazy Supercombinators"
  author:
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  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:
  - name: "Guy Cousineau"
    link: "https://researchr.org/alias/guy-cousineau"
  - name: "Pierre-Louis Curien"
    link: "https://researchr.org/alias/pierre-louis-curien"
  - name: "Bernard Robinet"
    link: "https://researchr.org/alias/bernard-robinet"
  volume: "242"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-17184-3"
  kind: "inproceedings"
  key: "Jones85"
- title: "A Parallel Functional Database on GRIP"
  author:
  - name: "Gert Akerholt"
    link: "https://researchr.org/alias/gert-akerholt"
  - name: "Kevin Hammond"
    link: "http://www.cs.st-andrews.ac.uk/~kh/"
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  - name: "Philip W. Trinder"
    link: "https://researchr.org/alias/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:
  - name: "Rogardt Heldal"
    link: "https://researchr.org/alias/rogardt-heldal"
  - name: "Carsten Kehler Holst"
    link: "https://researchr.org/alias/carsten-kehler-holst"
  - name: "Philip Wadler"
    link: "http://homepages.inf.ed.ac.uk/wadler/"
  series: "Workshops in Computing"
  publisher: "Springer"
  isbn: "3-540-19760-5"
  kind: "inproceedings"
  key: "AkerholtHJT91"
- title: "Regular, shape-polymorphic, parallel arrays in Haskell"
  author:
  - name: "Gabriele Keller"
    link: "https://researchr.org/alias/gabriele-keller"
  - name: "Manuel M. T. Chakravarty"
    link: "https://researchr.org/alias/manuel-m.-t.-chakravarty"
  - name: "Roman Leshchinskiy"
    link: "https://researchr.org/alias/roman-leshchinskiy"
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  - name: "Ben Lippmeier"
    link: "https://researchr.org/alias/ben-lippmeier"
  year: "2010"
  doi: "http://doi.acm.org/10.1145/1863543.1863582"
  links:
    doi: "http://doi.acm.org/10.1145/1863543.1863582"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/icfp/KellerCLJL10"
  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:
  - name: "Paul Hudak"
    link: "https://researchr.org/alias/paul-hudak"
  - name: "Stephanie Weirich"
    link: "https://researchr.org/alias/stephanie-weirich"
  publisher: "ACM"
  isbn: "978-1-60558-794-3"
  kind: "inproceedings"
  key: "KellerCLJL10"
- title: "State in Haskell"
  author:
  - name: "John Launchbury"
    link: "https://researchr.org/alias/john-launchbury"
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  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"
  kind: "article"
  key: "LaunchburyJ95"
- title: "How to Give a Good Research Talk"
  author:
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  - name: "John Hughes"
    link: "http://www.cse.chalmers.se/~rjmh"
  - name: "John Launchbury"
    link: "https://researchr.org/alias/john-launchbury"
  year: "1993"
  abstract: "Giving a good research talk is not easy. We try to identify some things which we have found helpful, in the hope that they may be useful to you. "
  links:
    "more links": "http://research.microsoft.com/en-us/um/people/simonpj/papers/giving-a-talk/giving-a-talk.htm"
    "html": "http://research.microsoft.com/en-us/um/people/simonpj/papers/giving-a-talk/giving-a-talk-html.html"
    "acm dl": "http://portal.acm.org/citation.cfm?id=165564.903972"
  tags:
  - "research talk"
  researchr: "https://researchr.org/publication/JonesHL93"
  cites: 0
  citedby: 0
  journal: "SIGPLAN Notices"
  volume: "28"
  number: "11"
  pages: "9-12"
  kind: "article"
  key: "JonesHL93"
- title: "Haskell 98: Expressions"
  author:
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  year: "2003"
  doi: "http://dx.doi.org/10.1017/S0956796803000510"
  links:
    doi: "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"
  kind: "article"
  key: "Jones03b"
- title: "Report on the Programming Language Haskell, A Non-strict, Purely Functional Language"
  author:
  - name: "Paul Hudak"
    link: "https://researchr.org/alias/paul-hudak"
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  - name: "Philip Wadler"
    link: "http://homepages.inf.ed.ac.uk/wadler/"
  - name: "Brian Boutel"
    link: "https://researchr.org/alias/brian-boutel"
  - name: "Jon Fairbairn"
    link: "https://researchr.org/alias/jon-fairbairn"
  - name: "Joseph H. Fasel"
    link: "https://researchr.org/alias/joseph-h.-fasel"
  - name: "María M. Guzmán"
    link: "https://researchr.org/alias/mar%C3%ADa-m.-guzm%C3%A1n"
  - name: "Kevin Hammond"
    link: "http://www.cs.st-andrews.ac.uk/~kh/"
  - name: "John Hughes"
    link: "http://www.cse.chalmers.se/~rjmh"
  - name: "Thomas Johnsson"
    link: "https://researchr.org/alias/thomas-johnsson"
  - name: "Richard B. Kieburtz"
    link: "http://web.cecs.pdx.edu/~black/S3S/"
  - name: "Rishiyur S. Nikhil"
    link: "https://researchr.org/alias/rishiyur-s.-nikhil"
  - name: "Will Partain"
    link: "https://researchr.org/alias/will-partain"
  - name: "John Peterson"
    link: "https://researchr.org/alias/john-peterson"
  year: "1992"
  tags:
  - "programming languages"
  - "functional programming"
  - "Haskell"
  - "programming"
  researchr: "https://researchr.org/publication/HudakPWBFFGHHJKNPP92"
  cites: 0
  citedby: 0
  journal: "SIGPLAN Notices"
  volume: "27"
  number: "5"
  pages: "1"
  kind: "article"
  key: "HudakPWBFFGHHJKNPP92"
- title: "Haskell 98: Modules"
  author:
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  year: "2003"
  doi: "http://dx.doi.org/10.1017/S0956796803000716"
  links:
    doi: "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"
  kind: "article"
  key: "Jones03d"
- title: "A monad for deterministic parallelism"
  author:
  - name: "Simon Marlow"
    link: "https://researchr.org/alias/simon-marlow"
  - name: "Ryan Newton"
    link: "https://researchr.org/alias/ryan-newton"
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  year: "2011"
  doi: "http://doi.acm.org/10.1145/2034675.2034685"
  links:
    doi: "http://doi.acm.org/10.1145/2034675.2034685"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/haskell/MarlowNJ11"
  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:
  - name: "Koen Claessen"
    link: "http://www.cse.chalmers.se/~koen/"
  publisher: "ACM"
  isbn: "978-1-4503-0860-1"
  kind: "inproceedings"
  key: "MarlowNJ11"
- title: "GRIP - A high-performance architecture for parallel graph reduction"
  author:
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  - name: "Chris D. Clack"
    link: "https://researchr.org/alias/chris-d.-clack"
  - name: "Jon Salkild"
    link: "https://researchr.org/alias/jon-salkild"
  - name: "Mark Hardie"
    link: "https://researchr.org/alias/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:
  - name: "Gilles Kahn"
    link: "https://researchr.org/alias/gilles-kahn"
  volume: "274"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-18317-5"
  kind: "inproceedings"
  key: "JonesCSH87"
- title: "Stretching the Storage Manager: Weak Pointers and Stable Names in Haskell"
  author:
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  - name: "Simon Marlow"
    link: "https://researchr.org/alias/simon-marlow"
  - name: "Conal Elliott"
    link: "http://conal.net/"
  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:
  - name: "Pieter W. M. Koopman"
    link: "https://researchr.org/alias/pieter-w.-m.-koopman"
  - name: "Chris Clack"
    link: "https://researchr.org/alias/chris-clack"
  volume: "1868"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-67864-6"
  kind: "inproceedings"
  key: "JonesME99"
- title: "C-: A Portable Assembly Language"
  author:
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  - name: "Thomas Nordin"
    link: "https://researchr.org/alias/thomas-nordin"
  - name: "Dino Oliva"
    link: "https://researchr.org/alias/dino-oliva"
  year: "1997"
  doi: "http://link.springer.de/link/service/series/0558/bibs/1467/14670001.htm"
  links:
    doi: "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:
  - name: "Chris Clack"
    link: "https://researchr.org/alias/chris-clack"
  - name: "Kevin Hammond"
    link: "http://www.cs.st-andrews.ac.uk/~kh/"
  - name: "Antony J. T. Davie"
    link: "https://researchr.org/alias/antony-j.-t.-davie"
  volume: "1467"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-64849-6"
  kind: "inproceedings"
  key: "JonesNO97"
- title: "Safe zero-cost coercions for Haskell"
  author:
  - name: "Joachim Breitner"
    link: "https://researchr.org/alias/joachim-breitner"
  - name: "Richard A. Eisenberg"
    link: "https://researchr.org/alias/richard-a.-eisenberg"
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  - name: "Stephanie Weirich"
    link: "https://researchr.org/alias/stephanie-weirich"
  year: "2016"
  doi: "http://dx.doi.org/10.1017/S0956796816000150"
  links:
    doi: "http://dx.doi.org/10.1017/S0956796816000150"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/jfp/BreitnerEJW16"
  researchr: "https://researchr.org/publication/BreitnerEJW16"
  cites: 0
  citedby: 0
  journal: "Journal of Functional Programming"
  volume: "26"
  kind: "article"
  key: "BreitnerEJW16"
- title: "A Semantics for Imprecise Exceptions"
  author:
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  - name: "Alastair Reid"
    link: "https://researchr.org/alias/alastair-reid"
  - name: "Fergus Henderson"
    link: "https://researchr.org/alias/fergus-henderson"
  - name: "C. A. R. Hoare"
    link: "https://researchr.org/alias/c.-a.-r.-hoare"
  - name: "Simon Marlow"
    link: "https://researchr.org/alias/simon-marlow"
  year: "1999"
  doi: "http://doi.acm.org/10.1145/301618.301637"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "JonesRHHM99"
- title: "Haskell on a shared-memory multiprocessor"
  author:
  - name: "Tim Harris"
    link: "https://researchr.org/alias/tim-harris"
  - name: "Simon Marlow"
    link: "https://researchr.org/alias/simon-marlow"
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  year: "2005"
  doi: "http://doi.acm.org/10.1145/1088348.1088354"
  links:
    doi: "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:
  - name: "Daan Leijen"
    link: "https://researchr.org/alias/daan-leijen"
  publisher: "ACM"
  isbn: "1-59593-071-X"
  kind: "inproceedings"
  key: "HarrisMJ05"
- title: "Dynamic Typing as Staged Type Inference"
  author:
  - name: "Mark Shields"
    link: "https://researchr.org/alias/mark-shields"
  - name: "Tim  Sheard"
    link: "http://web.cecs.pdx.edu/~sheard/"
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  year: "1998"
  doi: "http://doi.acm.org/10.1145/268946.268970"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "ShieldsSJ98"
- title: "Haskell 98 Libraries: Input/Output"
  author:
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  year: "2003"
  doi: "http://dx.doi.org/10.1017/S0956796803002314"
  links:
    doi: "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"
  kind: "article"
  key: "Jones03t"
- title: "Composing Contracts: An Adventure in Financial Engineering"
  author:
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  year: "2001"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2021/20210435.htm"
  links:
    doi: "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:
  - name: "José Nuno Oliveira"
    link: "https://researchr.org/alias/jos%C3%A9-nuno-oliveira"
  - name: "Pamela Zave"
    link: "https://researchr.org/alias/pamela-zave"
  volume: "2021"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-41791-5"
  kind: "inproceedings"
  key: "Jones01:4"
- title: "Strictness Analysis - A Practical Approach"
  author:
  - name: "Chris D. Clack"
    link: "https://researchr.org/alias/chris-d.-clack"
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  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"
  kind: "inproceedings"
  key: "ClackJ85"
- title: "Composable scheduler activations for Haskell"
  author:
  - name: "K. C. Sivaramakrishnan"
    link: "https://researchr.org/alias/k.-c.-sivaramakrishnan"
  - name: "Tim Harris 0001"
    link: "https://researchr.org/alias/tim-harris-0001"
  - name: "Simon Marlow"
    link: "https://researchr.org/alias/simon-marlow"
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  year: "2016"
  doi: "http://dx.doi.org/10.1017/S0956796816000071"
  links:
    doi: "http://dx.doi.org/10.1017/S0956796816000071"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/jfp/Sivaramakrishnan16"
  researchr: "https://researchr.org/publication/Sivaramakrishnan16-1"
  cites: 0
  citedby: 0
  journal: "Journal of Functional Programming"
  volume: "26"
  kind: "article"
  key: "Sivaramakrishnan16-1"
- title: "Types are calling conventions"
  author:
  - name: "Maximilian C. Bolingbroke"
    link: "https://researchr.org/alias/maximilian-c.-bolingbroke"
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  year: "2009"
  doi: "http://doi.acm.org/10.1145/1596638.1596640"
  links:
    doi: "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:
  - name: "Stephanie Weirich"
    link: "https://researchr.org/alias/stephanie-weirich"
  publisher: "ACM"
  isbn: "978-1-60558-508-6"
  kind: "inproceedings"
  key: "BolingbrokeJ09"
- title: "Haskell 98: Lexical Structure"
  author:
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  year: "2003"
  doi: "http://dx.doi.org/10.1017/S0956796803000418"
  links:
    doi: "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"
  kind: "article"
  key: "Jones03a:0"
- title: "Parallelising a Large Functional Program or: Keeping LOLITA Busy"
  author:
  - name: "Hans-Wolfgang Loidl"
    link: "https://researchr.org/alias/hans-wolfgang-loidl"
  - name: "Richard G. Morgan"
    link: "https://researchr.org/alias/richard-g.-morgan"
  - name: "Philip W. Trinder"
    link: "https://researchr.org/alias/philip-w.-trinder"
  - name: "Sanjay Poria"
    link: "https://researchr.org/alias/sanjay-poria"
  - name: "Chris Cooper"
    link: "https://researchr.org/alias/chris-cooper"
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  - name: "Roberto Garigliano"
    link: "https://researchr.org/alias/roberto-garigliano"
  year: "1997"
  doi: "http://link.springer.de/link/service/series/0558/bibs/1467/14670198.htm"
  links:
    doi: "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:
  - name: "Chris Clack"
    link: "https://researchr.org/alias/chris-clack"
  - name: "Kevin Hammond"
    link: "http://www.cs.st-andrews.ac.uk/~kh/"
  - name: "Antony J. T. Davie"
    link: "https://researchr.org/alias/antony-j.-t.-davie"
  volume: "1467"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-64849-6"
  kind: "inproceedings"
  key: "LoidlMTPCJG97"
- title: "C--: A Portable Assembly Language that Supports Garbage Collection"
  author:
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  - name: "Norman Ramsey"
    link: "http://www.cs.tufts.edu/~nr/"
  - name: "Fermin Reig"
    link: "https://researchr.org/alias/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:
  - name: "Gopalan Nadathur"
    link: "https://researchr.org/alias/gopalan-nadathur"
  volume: "1702"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-66540-4"
  kind: "inproceedings"
  key: "JonesRR99"
- title: "Haskell 98 Libraries: Indexing Operations"
  author:
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  year: "2003"
  doi: "http://dx.doi.org/10.1017/S0956796803001710"
  links:
    doi: "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"
  kind: "article"
  key: "Jones03n"
- title: "The Multi-architecture Performance of the Parallel Functional Language GP H (Research Note)"
  author:
  - name: "Philip W. Trinder"
    link: "https://researchr.org/alias/philip-w.-trinder"
  - name: "Hans-Wolfgang Loidl"
    link: "https://researchr.org/alias/hans-wolfgang-loidl"
  - name: "Ed. Barry Jr."
    link: "https://researchr.org/alias/ed.-barry-jr."
  - name: "Kei Davis"
    link: "https://researchr.org/alias/kei-davis"
  - name: "Kevin Hammond"
    link: "http://www.cs.st-andrews.ac.uk/~kh/"
  - name: "Ulrike Klusik"
    link: "https://researchr.org/alias/ulrike-klusik"
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  - name: "Álvaro J. Rebón Portillo"
    link: "https://researchr.org/alias/%C3%A1lvaro-j.-reb%C3%B3n-portillo"
  year: "2000"
  doi: "http://link.springer.de/link/service/series/0558/bibs/1900/19000739.htm"
  links:
    doi: "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:
  - name: "Arndt Bode"
    link: "https://researchr.org/alias/arndt-bode"
  - name: "Thomas Ludwig 0002"
    link: "https://researchr.org/alias/thomas-ludwig-0002"
  - name: "Wolfgang Karl"
    link: "https://researchr.org/alias/wolfgang-karl"
  - name: "Roland Wismüller"
    link: "https://researchr.org/alias/roland-wism%C3%BCller"
  volume: "1900"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-67956-1"
  kind: "inproceedings"
  key: "TrinderLBDHKJP00"
- title: "GADTs meet their match: pattern-matching warnings that account for GADTs, guards, and laziness"
  author:
  - name: "Georgios Karachalias"
    link: "https://researchr.org/alias/georgios-karachalias"
  - name: "Tom Schrijvers"
    link: "https://researchr.org/alias/tom-schrijvers"
  - name: "Dimitrios Vytiniotis"
    link: "https://researchr.org/alias/dimitrios-vytiniotis"
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  year: "2015"
  doi: "http://doi.acm.org/10.1145/2784731.2784748"
  links:
    doi: "http://doi.acm.org/10.1145/2784731.2784748"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/icfp/KarachaliasSVJ15"
  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:
  - name: "Kathleen Fisher"
    link: "https://researchr.org/alias/kathleen-fisher"
  - name: "John H. Reppy"
    link: "https://researchr.org/alias/john-h.-reppy"
  publisher: "ACM"
  isbn: "978-1-4503-3669-7"
  kind: "inproceedings"
  key: "KarachaliasSVJ15"
- title: "Refinement types for Haskell"
  author:
  - name: "Niki Vazou"
    link: "https://researchr.org/alias/niki-vazou"
  - name: "Eric L. Seidel"
    link: "https://researchr.org/alias/eric-l.-seidel"
  - name: "Ranjit Jhala"
    link: "https://researchr.org/alias/ranjit-jhala"
  - name: "Dimitrios Vytiniotis"
    link: "https://researchr.org/alias/dimitrios-vytiniotis"
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  year: "2014"
  doi: "http://doi.acm.org/10.1145/2628136.2628161"
  links:
    doi: "http://doi.acm.org/10.1145/2628136.2628161"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/icfp/VazouSJVJ14"
  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:
  - name: "Johan Jeuring"
    link: "https://researchr.org/alias/johan-jeuring"
  - name: "Manuel M. T. Chakravarty"
    link: "https://researchr.org/alias/manuel-m.-t.-chakravarty"
  publisher: "ACM"
  isbn: "978-1-4503-2873-9"
  kind: "inproceedings"
  key: "VazouSJVJ14"
- title: "Wobbly types: type inference for generalised algebraic data types"
  author:
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  - name: "Geoffrey Washburn"
    link: "https://researchr.org/alias/geoffrey-washburn"
  - name: "Stephanie Weirich"
    link: "https://researchr.org/alias/stephanie-weirich"
  year: "2004"
  month: "July"
  links:
    "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"
  kind: "techreport"
  key: "PeytonJones2004wobblytypes"
- title: "Haskell 98 Libraries: Monad Utilities"
  author:
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  year: "2003"
  doi: "http://dx.doi.org/10.1017/S0956796803002211"
  links:
    doi: "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"
  kind: "article"
  key: "Jones03s"
- title: "Multicore garbage collection with local heaps"
  author:
  - name: "Simon Marlow"
    link: "https://researchr.org/alias/simon-marlow"
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  year: "2011"
  doi: "http://doi.acm.org/10.1145/1993478.1993482"
  links:
    doi: "http://doi.acm.org/10.1145/1993478.1993482"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/iwmm/MarlowJ11"
  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:
  - name: "Hans-Juergen Boehm"
    link: "https://researchr.org/alias/hans-juergen-boehm"
  - name: "David F. Bacon"
    link: "https://researchr.org/alias/david-f.-bacon"
  publisher: "ACM"
  isbn: "978-1-4503-0263-0"
  kind: "inproceedings"
  key: "MarlowJ11"
- title: "Destination-passing style for efficient memory management"
  author:
  - name: "Amir Shaikhha"
    link: "https://researchr.org/alias/amir-shaikhha"
  - name: "Andrew Fitzgibbon"
    link: "https://researchr.org/alias/andrew-fitzgibbon"
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  - name: "Dimitrios Vytiniotis"
    link: "https://researchr.org/alias/dimitrios-vytiniotis"
  year: "2017"
  doi: "https://doi.org/10.1145/3122948.3122949"
  links:
    doi: "https://doi.org/10.1145/3122948.3122949"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/icfp/ShaikhhaFJV17"
  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:
  - name: "Phil Trinder"
    link: "https://researchr.org/alias/phil-trinder"
  - name: "Cosmin E. Oancea"
    link: "https://researchr.org/alias/cosmin-e.-oancea"
  publisher: "ACM"
  isbn: "978-1-4503-5181-2"
  kind: "inproceedings"
  key: "ShaikhhaFJV17"
- title: "The C - compiler infrastructure"
  author:
  - name: "Norman Ramsey"
    link: "http://www.cs.tufts.edu/~nr/"
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  year: "2004"
  doi: "http://doi.acm.org/10.1145/1016850.1016851"
  links:
    doi: "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:
  - name: "Chris Okasaki"
    link: "https://researchr.org/alias/chris-okasaki"
  - name: "Kathleen Fisher"
    link: "http://www.research.att.com/people/Fisher_Kathleen_S"
  publisher: "ACM"
  isbn: "1-58113-905-5"
  kind: "inproceedings"
  key: "RamseyJ04"
- title: "Template meta-programming for Haskell"
  author:
  - name: "Tim Sheard"
    link: "https://researchr.org/alias/tim-sheard"
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  year: "2002"
  doi: "http://doi.acm.org/10.1145/636517.636528"
  links:
    doi: "http://doi.acm.org/10.1145/636517.636528"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/sigplan/SheardJ02"
  researchr: "https://researchr.org/publication/SheardJ02-0"
  cites: 0
  citedby: 0
  journal: "SIGPLAN Notices"
  volume: "37"
  number: "12"
  pages: "60-75"
  kind: "article"
  key: "SheardJ02-0"
- title: "Simple unification-based type inference for GADTs"
  author:
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  - name: "Dimitrios Vytiniotis"
    link: "http://"
  - name: "Stephanie Weirich"
    link: "http://www.cis.upenn.edu/~sweirich/"
  - name: "Geoffrey Washburn"
    link: "https://researchr.org/alias/geoffrey-washburn"
  year: "2006"
  doi: "http://doi.acm.org/10.1145/1159803.1159811"
  links:
    doi: "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:
  - name: "John H. Reppy"
    link: "http://www.cs.uchicago.edu/people/jhr"
  - name: "Julia L. Lawall"
    link: "http://www.diku.dk/hjemmesider/ansatte/julia/"
  publisher: "ACM"
  isbn: "1-59593-309-3"
  kind: "inproceedings"
  key: "JonesVWW06"
- title: "Haskell 98 Libraries: Arrays"
  author:
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  year: "2003"
  doi: "http://dx.doi.org/10.1017/S0956796803001813"
  links:
    doi: "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"
  kind: "article"
  key: "Jones03o"
- title: "Giving Haskell a promotion"
  author:
  - name: "Brent A. Yorgey"
    link: "https://researchr.org/alias/brent-a.-yorgey"
  - name: "Stephanie Weirich"
    link: "https://researchr.org/alias/stephanie-weirich"
  - name: "Julien Cretin"
    link: "https://researchr.org/alias/julien-cretin"
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  - name: "Dimitrios Vytiniotis"
    link: "https://researchr.org/alias/dimitrios-vytiniotis"
  - name: "José Pedro Magalhães"
    link: "https://researchr.org/alias/jos%C3%A9-pedro-magalh%C3%A3es"
  year: "2012"
  doi: "http://doi.acm.org/10.1145/2103786.2103795"
  links:
    doi: "http://doi.acm.org/10.1145/2103786.2103795"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/tldi/YorgeyWCJVM12"
  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:
  - name: "Benjamin C. Pierce"
    link: "http://www.cis.upenn.edu/~bcpierce/"
  publisher: "ACM"
  isbn: "978-1-4503-1120-5"
  kind: "inproceedings"
  key: "YorgeyWCJVM12"
- title: "Template meta-programming for Haskell"
  author:
  - name: "Tim  Sheard"
    link: "http://web.cecs.pdx.edu/~sheard/"
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  year: "2002"
  doi: "http://doi.acm.org/10.1145/636517.636528"
  abstract: " We propose a new extension to the purely functional programming language Haskell that supports compile-time meta-programming. The purpose of the system is to support the algorithmic construction of programs at compile-time.The ability to generate code at compile time allows the programmer to implement such features as polytypic programs, macro-like expansion, user directed optimization (such as inlining), and the generation of supporting data structures and functions from existing data structures and functions.Our design is being implemented in the Glasgow Haskell Compiler, ghc. "
  links:
    doi: "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"
  kind: "article"
  key: "SheardJ02"
- title: "Type variables in patterns"
  author:
  - name: "Richard A. Eisenberg"
    link: "https://researchr.org/alias/richard-a.-eisenberg"
  - name: "Joachim Breitner"
    link: "https://researchr.org/alias/joachim-breitner"
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  year: "2018"
  doi: "https://doi.org/10.1145/3242744.3242753"
  links:
    doi: "https://doi.org/10.1145/3242744.3242753"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/haskell/EisenbergBJ18"
  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:
  - name: "Nicolas Wu"
    link: "https://researchr.org/alias/nicolas-wu"
  publisher: "ACM"
  kind: "inproceedings"
  key: "EisenbergBJ18"
- title: "Object-Oriented Style Overloading for Haskell"
  author:
  - name: "Mark Shields"
    link: "https://researchr.org/alias/mark-shields"
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  year: "2001"
  doi: "http://www.elsevier.nl/locate/entcs/volume59.html"
  links:
    doi: "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"
  kind: "article"
  key: "ShieldsJ01"
- title: "Haskell 98: Specification of Derived Instances"
  author:
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  year: "2003"
  doi: "http://dx.doi.org/10.1017/S0956796803001217"
  links:
    doi: "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"
  kind: "article"
  key: "Jones03i"
- title: "Type-Directed Compilation in the Wild: Haskell and Core"
  author:
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  year: "2013"
  doi: "http://dx.doi.org/10.1007/978-3-642-38946-7_1"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-38946-7_1"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/tlca/Peyton-Jones13"
  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:
  - name: "Masahito Hasegawa"
    link: "https://researchr.org/alias/masahito-hasegawa"
  volume: "7941"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-38946-7"
  kind: "inproceedings"
  key: "Peyton-Jones13"
- title: "A Tutorial on Parallel and Concurrent Programming in Haskell"
  author:
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  - name: "Satnam Singh"
    link: "https://researchr.org/alias/satnam-singh"
  year: "2008"
  doi: "http://dx.doi.org/10.1007/978-3-642-04652-0_6"
  links:
    doi: "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:
  - name: "Pieter W. M. Koopman"
    link: "https://researchr.org/alias/pieter-w.-m.-koopman"
  - name: "Rinus Plasmeijer"
    link: "https://researchr.org/alias/rinus-plasmeijer"
  - name: "S. Doaitse Swierstra"
    link: "http://www.cs.uu.nl/staff/doaitse.html"
  volume: "5832"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-04651-3"
  kind: "inproceedings"
  key: "JonesS08-1"
- title: "The Educational Pearls column"
  author:
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  - name: "Philip Wadler"
    link: "http://homepages.inf.ed.ac.uk/wadler/"
  year: "2003"
  doi: "http://dx.doi.org/10.1017/S0956796803004787"
  links:
    doi: "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"
  kind: "article"
  key: "JonesW03:0"
- title: "Let-floating: Moving Bindings to Give Faster Programs"
  author:
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  - name: "Will Partain"
    link: "https://researchr.org/alias/will-partain"
  - name: "André L. M. Santos"
    link: "http://www.cin.ufpe.br/~alms/"
  year: "1996"
  researchr: "https://researchr.org/publication/JonesPS96"
  cites: 0
  citedby: 0
  pages: "1-12"
  booktitle: "ICFP"
  kind: "inproceedings"
  key: "JonesPS96"
- title: "The dream of a lifetime: an opportunity to shape how our children learn computing"
  author:
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  year: "2015"
  doi: "http://ppig.org/library/paper/dream-lifetime-opportunity-shape-how-our-children-learn-computing"
  links:
    doi: "http://ppig.org/library/paper/dream-lifetime-opportunity-shape-how-our-children-learn-computing"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/ppig/Jones15"
  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:
  - name: "Melanie Coles"
    link: "https://researchr.org/alias/melanie-coles"
  - name: "Gail Ollis"
    link: "https://researchr.org/alias/gail-ollis"
  publisher: "Psychology of Programming Interest Group"
  kind: "inproceedings"
  key: "Jones15-17"
- title: "The Glasgow Haskell Compiler: A Retrospective"
  author:
  - name: "Cordelia V. Hall"
    link: "https://researchr.org/alias/cordelia-v.-hall"
  - name: "Kevin Hammond"
    link: "http://www.cs.st-andrews.ac.uk/~kh/"
  - name: "Will Partain"
    link: "https://researchr.org/alias/will-partain"
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  - name: "Philip Wadler"
    link: "http://homepages.inf.ed.ac.uk/wadler/"
  year: "1992"
  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:
  - name: "John Launchbury"
    link: "https://researchr.org/alias/john-launchbury"
  - name: "Patrick M. Sansom"
    link: "https://researchr.org/alias/patrick-m.-sansom"
  series: "Workshops in Computing"
  publisher: "Springer"
  isbn: "3-540-19820-2"
  kind: "inproceedings"
  key: "HallHPJW92"
- title: "System F with type equality coercions"
  author:
  - name: "Martin Sulzmann"
    link: "https://researchr.org/alias/martin-sulzmann"
  - name: "Manuel M. T. Chakravarty"
    link: "https://researchr.org/alias/manuel-m.-t.-chakravarty"
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  - name: "Kevin Donnelly"
    link: "https://researchr.org/alias/kevin-donnelly"
  year: "2007"
  doi: "http://doi.acm.org/10.1145/1190315.1190324"
  links:
    doi: "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:
  - name: "François Pottier"
    link: "https://researchr.org/alias/fran%C3%A7ois-pottier"
  - name: "George C. Necula"
    link: "https://researchr.org/alias/george-c.-necula"
  publisher: "ACM"
  isbn: "1-59593-393-X"
  kind: "inproceedings"
  key: "SulzmannCJD07"
- title: "Safe Haskell"
  author:
  - name: "David Terei"
    link: "https://researchr.org/alias/david-terei"
  - name: "Simon Marlow"
    link: "https://researchr.org/alias/simon-marlow"
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  - name: "David Mazières"
    link: "https://researchr.org/alias/david-mazi%C3%A8res"
  year: "2012"
  doi: "http://doi.acm.org/10.1145/2364506.2364524"
  links:
    doi: "http://doi.acm.org/10.1145/2364506.2364524"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/haskell/TereiMJM12"
  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:
  - name: "Janis Voigtländer"
    link: "http://www.iai.uni-bonn.de/~jv/"
  publisher: "ACM"
  isbn: "978-1-4503-1574-6"
  kind: "inproceedings"
  key: "TereiMJM12-0"
- title: "Data parallel Haskell: a status report"
  author:
  - name: "Manuel M. T. Chakravarty"
    link: "https://researchr.org/alias/manuel-m.-t.-chakravarty"
  - name: "Roman Leshchinskiy"
    link: "https://researchr.org/alias/roman-leshchinskiy"
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  - name: "Gabriele Keller"
    link: "https://researchr.org/alias/gabriele-keller"
  - name: "Simon Marlow"
    link: "https://researchr.org/alias/simon-marlow"
  year: "2007"
  doi: "http://doi.acm.org/10.1145/1248648.1248652"
  links:
    doi: "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:
  - name: "Neal Glew"
    link: "https://researchr.org/alias/neal-glew"
  - name: "Guy E. Blelloch"
    link: "https://researchr.org/alias/guy-e.-blelloch"
  publisher: "ACM"
  isbn: "978-1-59593-690-5"
  kind: "inproceedings"
  key: "ChakravartyLJKM07"
- title: "FLIC - a functional language intermediate code"
  author:
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  year: "1988"
  doi: "http://doi.acm.org/10.1145/47907.47910"
  links:
    doi: "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"
  kind: "article"
  key: "Jones88a"
- title: "A Reflection on Types"
  author:
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  - name: "Stephanie Weirich"
    link: "http://www.cis.upenn.edu/~sweirich/"
  - name: "Richard A. Eisenberg"
    link: "http://cs.brynmawr.edu/~rae"
  - name: "Dimitrios Vytiniotis"
    link: "https://researchr.org/alias/dimitrios-vytiniotis"
  year: "2016"
  doi: "http://dx.doi.org/10.1007/978-3-319-30936-1_16"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-319-30936-1_16"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/birthday/JonesWEV16"
  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:
  - name: "Sam Lindley"
    link: "https://researchr.org/alias/sam-lindley"
  - name: "Conor McBride"
    link: "https://researchr.org/alias/conor-mcbride"
  - name: "Philip W. Trinder"
    link: "https://researchr.org/alias/philip-w.-trinder"
  - name: "Donald Sannella"
    link: "https://researchr.org/alias/donald-sannella"
  volume: "9600"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-319-30935-4"
  kind: "inproceedings"
  key: "JonesWEV16"
- title: "Processing Transactions on GRIP, a Parallel Graph Reducer"
  author:
  - name: "Gert Akerholt"
    link: "https://researchr.org/alias/gert-akerholt"
  - name: "Kevin Hammond"
    link: "http://www.cs.st-andrews.ac.uk/~kh/"
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  - name: "Philip W. Trinder"
    link: "https://researchr.org/alias/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:
  - name: "Arndt Bode"
    link: "https://researchr.org/alias/arndt-bode"
  - name: "Mike Reeve"
    link: "https://researchr.org/alias/mike-reeve"
  - name: "Gottfried Wolf"
    link: "https://researchr.org/alias/gottfried-wolf"
  volume: "694"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-56891-3"
  kind: "inproceedings"
  key: "AkerholtHJT93"
- title: "SIGPLAN Notices Special Issue on the Functional Programming Language Haskell"
  author:
  - name: "Joseph H. Fasel"
    link: "https://researchr.org/alias/joseph-h.-fasel"
  - name: "Paul Hudak"
    link: "https://researchr.org/alias/paul-hudak"
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  - name: "Philip Wadler"
    link: "http://homepages.inf.ed.ac.uk/wadler/"
  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"
  kind: "article"
  key: "FaselHPW92"
- title: "Haskell 98 Libraries: Numeric Functions"
  author:
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  year: "2003"
  doi: "http://dx.doi.org/10.1017/S0956796803001618"
  links:
    doi: "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"
  kind: "article"
  key: "Jones03m"
- title: "OutsideIn(X) Modular type inference with local assumptions"
  author:
  - name: "Dimitrios Vytiniotis"
    link: "http://"
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  - name: "Tom Schrijvers"
    link: "http://users.ugent.be/~tschrijv"
  - name: "Martin Sulzmann"
    link: "https://researchr.org/alias/martin-sulzmann"
  year: "2011"
  abstract: " Advanced type system features, such as GADTs, type classes and type families, have proven to be invaluable language extensions for ensuring data invariants and program correctness. Unfortunately, they pose a tough problem for type inference when they are used as local type assumptions. Local type assumptions often result in the lack of principal types and cast the generalisation of local let-bindings prohibitively difficult to implement and specify. User-declared axioms only make this situation worse. In this paper, we explain the problems and – perhaps controversially – argue for abandoning local let-binding generalisation. We give empirical results that local let generalisation is only sporadically used by Haskell programmers. Moving on, we present a novel constraint-based type inference approach for local type assumptions. Our system, called OutsideIn(X), is parameterised over the particular underlying constraint domain X, in the same way as HM(X). This stratification allows us to use a common metatheory and inference algorithm. OutsideIn(X) extends the constraints of X by introducing implication constraints on top. We describe the strategy for solving these implication constraints, which, in turn, relies on a constraint solver for X. We characterise the properties of the constraint solver for X so that the resulting algorithm only accepts programs with principal types, even when the type system specification accepts programs that do not enjoy principal types. Going beyond the general framework, we give a particular constraint solver for X = type classes + GADTs + type families, a non-trivial challenge in its own right. This constraint solver has been implemented and distributed as part of GHC 7."
  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"
  kind: "article"
  key: "VytiniotisJSS11"
- title: "Supercompilation by evaluation"
  author:
  - name: "Maximilian C. Bolingbroke"
    link: "https://researchr.org/alias/maximilian-c.-bolingbroke"
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  year: "2010"
  doi: "http://doi.acm.org/10.1145/1863523.1863540"
  links:
    doi: "http://doi.acm.org/10.1145/1863523.1863540"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/haskell/BolingbrokeJ10"
  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:
  - name: "Jeremy Gibbons"
    link: "http://www.comlab.ox.ac.uk/jeremy.gibbons/"
  publisher: "ACM"
  isbn: "978-1-4503-0252-4"
  kind: "inproceedings"
  key: "BolingbrokeJ10"
- title: "Lazy Functional State Threads"
  author:
  - name: "John Launchbury"
    link: "https://researchr.org/alias/john-launchbury"
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  year: "1994"
  tags:
  - "laziness"
  researchr: "https://researchr.org/publication/LaunchburyJ94%3A0"
  cites: 0
  citedby: 0
  pages: "24-35"
  booktitle: "PLDI"
  kind: "inproceedings"
  key: "LaunchburyJ94:0"
- title: "Haskell 98 Libraries: System Functions"
  author:
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  year: "2003"
  doi: "http://dx.doi.org/10.1017/S095679680300251X"
  links:
    doi: "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"
  kind: "article"
  key: "Jones03v"
- title: "Bringing computer science back into schools: lessons from the UK"
  author:
  - name: "Neil Christopher Charles Brown"
    link: "https://researchr.org/alias/neil-christopher-charles-brown"
  - name: "Michael Kölling"
    link: "https://researchr.org/alias/michael-k%C3%B6lling"
  - name: "Tom Crick"
    link: "https://researchr.org/alias/tom-crick"
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  - name: "Simon Humphreys"
    link: "https://researchr.org/alias/simon-humphreys"
  - name: "Sue Sentance"
    link: "https://researchr.org/alias/sue-sentance"
  year: "2013"
  doi: "http://doi.acm.org/10.1145/2445196.2445277"
  links:
    doi: "http://doi.acm.org/10.1145/2445196.2445277"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/sigcse/BrownKCJHS13"
  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:
  - name: "Tracy Camp"
    link: "https://researchr.org/alias/tracy-camp"
  - name: "Paul T. Tymann"
    link: "https://researchr.org/alias/paul-t.-tymann"
  - name: "J. D. Dougherty"
    link: "https://researchr.org/alias/j.-d.-dougherty"
  - name: "Kris Nagel"
    link: "https://researchr.org/alias/kris-nagel"
  publisher: "ACM"
  isbn: "978-1-4503-1868-6"
  kind: "inproceedings"
  key: "BrownKCJHS13"
- title: "Composable memory transactions"
  author:
  - name: "Tim Harris"
    link: "https://researchr.org/alias/tim-harris"
  - name: "Simon Marlow"
    link: "https://researchr.org/alias/simon-marlow"
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  - name: "Maurice Herlihy"
    link: "https://researchr.org/alias/maurice-herlihy"
  year: "2008"
  doi: "http://doi.acm.org/10.1145/1378704.1378725"
  links:
    doi: "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"
  kind: "article"
  key: "HarrisMJH08"
- title: "Exploiting vector instructions with generalized stream fusion"
  author:
  - name: "Geoffrey Mainland"
    link: "https://researchr.org/alias/geoffrey-mainland"
  - name: "Roman Leshchinskiy"
    link: "https://researchr.org/alias/roman-leshchinskiy"
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  year: "2017"
  doi: "http://doi.acm.org/10.1145/3060597"
  links:
    doi: "http://doi.acm.org/10.1145/3060597"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/cacm/MainlandLJ17"
  researchr: "https://researchr.org/publication/MainlandLJ17"
  cites: 0
  citedby: 0
  journal: "Communications of the ACM"
  volume: "60"
  number: "5"
  pages: "83-91"
  kind: "article"
  key: "MainlandLJ17"
- title: "Termination combinators forever"
  author:
  - name: "Maximilian C. Bolingbroke"
    link: "https://researchr.org/alias/maximilian-c.-bolingbroke"
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  - name: "Dimitrios Vytiniotis"
    link: "https://researchr.org/alias/dimitrios-vytiniotis"
  year: "2011"
  doi: "http://doi.acm.org/10.1145/2034675.2034680"
  links:
    doi: "http://doi.acm.org/10.1145/2034675.2034680"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/haskell/BolingbrokeJV11"
  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:
  - name: "Koen Claessen"
    link: "http://www.cse.chalmers.se/~koen/"
  publisher: "ACM"
  isbn: "978-1-4503-0860-1"
  kind: "inproceedings"
  key: "BolingbrokeJV11"
- title: "Functional Programming Languages as a Software Engineering Tool"
  author:
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  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:
  - name: "Albert T. Kündig"
    link: "https://researchr.org/alias/albert-t.-k%C3%BCndig"
  - name: "Richard E. Bührer"
    link: "https://researchr.org/alias/richard-e.-b%C3%BChrer"
  - name: "Jacques Dähler"
    link: "https://researchr.org/alias/jacques-d%C3%A4hler"
  volume: "284"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-18581-X"
  kind: "inproceedings"
  key: "Jones86:3"
- title: "H/Direct: A Binary Foreign Language Interface for Haskell"
  author:
  - name: "Sigbjorn Finne"
    link: "https://researchr.org/alias/sigbjorn-finne"
  - name: "Daan Leijen"
    link: "https://researchr.org/alias/daan-leijen"
  - name: "Erik Meijer"
    link: "https://researchr.org/alias/erik-meijer"
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  year: "1998"
  doi: "http://doi.acm.org/10.1145/289423.289437"
  links:
    doi: "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:
  - name: "Matthias Felleisen"
    link: "http://www.ccs.neu.edu/home/matthias/"
  - name: "Paul Hudak"
    link: "http://www.cs.yale.edu/homes/hudak/"
  - name: "Christian Queinnec"
    link: "https://researchr.org/alias/christian-queinnec"
  address: "Baltimore, Maryland, United States"
  publisher: "ACM"
  kind: "inproceedings"
  key: "FinneLMJ98"
- title: "Type Classes in Haskell"
  author:
  - name: "Cordelia V. Hall"
    link: "https://researchr.org/alias/cordelia-v.-hall"
  - name: "Kevin Hammond"
    link: "http://www.cs.st-andrews.ac.uk/~kh/"
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  - name: "Philip Wadler"
    link: "http://homepages.inf.ed.ac.uk/wadler/"
  year: "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:
  - name: "Donald Sannella"
    link: "https://researchr.org/alias/donald-sannella"
  volume: "788"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-57880-3"
  kind: "inproceedings"
  key: "HallHJW94"
- title: "Trees that Grow"
  author:
  - name: "Shayan Najd"
    link: "https://researchr.org/alias/shayan-najd"
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  year: "2017"
  doi: "http://www.jucs.org/jucs_23_1/trees_that_grow"
  links:
    doi: "http://www.jucs.org/jucs_23_1/trees_that_grow"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/jucs/NajdJ17"
  researchr: "https://researchr.org/publication/NajdJ17"
  cites: 0
  citedby: 0
  journal: "J. UCS"
  volume: "23"
  number: "1"
  pages: "42-62"
  kind: "article"
  key: "NajdJ17"
- title: "A monadic framework for delimited continuations"
  author:
  - name: "R. Kent Dybvig"
    link: "https://researchr.org/alias/r.-kent-dybvig"
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  - name: "A. M. R. Sabry"
    link: "https://researchr.org/alias/a.-m.-r.-sabry"
  year: "2007"
  doi: "http://dx.doi.org/10.1017/S0956796807006259"
  links:
    doi: "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"
  kind: "article"
  key: "DybvigJS07"
- title: "Haskell 98 Libraries: List Utilities"
  author:
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  year: "2003"
  doi: "http://dx.doi.org/10.1017/S0956796803001916"
  links:
    doi: "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"
  kind: "article"
  key: "Jones03p"
- title: "GUM: A Portable Parallel Implementation of Haskell"
  author:
  - name: "Philip W. Trinder"
    link: "https://researchr.org/alias/philip-w.-trinder"
  - name: "Kevin Hammond"
    link: "http://www.cs.st-andrews.ac.uk/~kh/"
  - name: "James S. Mattson Jr."
    link: "https://researchr.org/alias/james-s.-mattson-jr."
  - name: "A. S. Partridge"
    link: "https://researchr.org/alias/a.-s.-partridge"
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  year: "1996"
  tags:
  - "Haskell"
  researchr: "https://researchr.org/publication/TrinderHMPJ96"
  cites: 0
  citedby: 0
  pages: "79-88"
  booktitle: "PLDI"
  kind: "inproceedings"
  key: "TrinderHMPJ96"
- title: "A Short Cut to Deforestation"
  author:
  - name: "Andrew J. Gill"
    link: "https://researchr.org/alias/andrew-j.-gill"
  - name: "John Launchbury"
    link: "https://researchr.org/alias/john-launchbury"
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  year: "1993"
  researchr: "https://researchr.org/publication/GillLJ93"
  cites: 0
  citedby: 0
  pages: "223-232"
  booktitle: "FPCA"
  kind: "inproceedings"
  key: "GillLJ93"
- title: "A Modular Fully-lazy Lambda Lifter in HASKELL"
  author:
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  - name: "David Lester"
    link: "https://researchr.org/alias/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"
  kind: "article"
  key: "JonesL91:0"
- title: "A history of Haskell: being lazy with class"
  author:
  - name: "Paul Hudak"
    link: "https://researchr.org/alias/paul-hudak"
  - name: "John Hughes"
    link: "http://www.cse.chalmers.se/~rjmh"
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  - name: "Philip Wadler"
    link: "http://homepages.inf.ed.ac.uk/wadler/"
  year: "2007"
  doi: "http://doi.acm.org/10.1145/1238844.1238856"
  links:
    doi: "http://doi.acm.org/10.1145/1238844.1238856"
  tags:
  - "laziness"
  - "Haskell"
  - "history"
  researchr: "https://researchr.org/publication/HudakHJW07"
  cites: 0
  citedby: 0
  pages: "1-55"
  booktitle: "Proceedings of the Third ACM SIGPLAN History of Programming Languages Conference (HOPL-III), San Diego, California, USA, 9-10 June 2007"
  editor:
  - name: "Barbara G. Ryder"
    link: "https://researchr.org/alias/barbara-g.-ryder"
  - name: "Brent Hailpern"
    link: "https://researchr.org/alias/brent-hailpern"
  publisher: "ACM"
  kind: "inproceedings"
  key: "HudakHJW07"
- title: "Modular, higher-order cardinality analysis in theory and practice"
  author:
  - name: "Ilya Sergey"
    link: "https://researchr.org/alias/ilya-sergey"
  - name: "Dimitrios Vytiniotis"
    link: "https://researchr.org/alias/dimitrios-vytiniotis"
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  year: "2014"
  doi: "http://doi.acm.org/10.1145/2535838.2535861"
  links:
    doi: "http://doi.acm.org/10.1145/2535838.2535861"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/popl/SergeyVJ14"
  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:
  - name: "Suresh Jagannathan"
    link: "https://researchr.org/alias/suresh-jagannathan"
  - name: "Peter Sewell"
    link: "https://researchr.org/alias/peter-sewell"
  publisher: "ACM"
  isbn: "978-1-4503-2544-8"
  kind: "inproceedings"
  key: "SergeyVJ14"
- title: "Runtime support for multicore Haskell"
  author:
  - name: "Simon Marlow"
    link: "https://researchr.org/alias/simon-marlow"
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  - name: "Satnam Singh"
    link: "https://researchr.org/alias/satnam-singh"
  year: "2009"
  doi: "http://doi.acm.org/10.1145/1596550.1596563"
  links:
    doi: "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:
  - name: "Graham Hutton"
    link: "https://researchr.org/alias/graham-hutton"
  - name: "Andrew P. Tolmach"
    link: "http://www.cs.pdx.edu/~apt"
  publisher: "ACM"
  isbn: "978-1-60558-332-7"
  kind: "inproceedings"
  key: "MarlowJS09"
- title: "Scrap your boilerplate with class: extensible generic functions"
  author:
  - name: "Ralf Lämmel"
    link: "http://www.uni-koblenz.de/~laemmel/Site/Home.html"
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  year: "2005"
  doi: "http://doi.acm.org/10.1145/1086365.1086391"
  links:
    doi: "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:
  - name: "Olivier Danvy"
    link: "https://www.yale-nus.edu.sg/about/faculty/olivier-danvy/"
  - name: "Benjamin C. Pierce"
    link: "http://www.cis.upenn.edu/~bcpierce/"
  publisher: "ACM"
  isbn: "1-59593-064-7"
  kind: "inproceedings"
  key: "LammelJ05"
- title: "Levity polymorphism"
  author:
  - name: "Richard A. Eisenberg"
    link: "https://researchr.org/alias/richard-a.-eisenberg"
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  year: "2017"
  doi: "http://doi.acm.org/10.1145/3062341.3062357"
  links:
    doi: "http://doi.acm.org/10.1145/3062341.3062357"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/pldi/EisenbergJ17"
  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:
  - name: "Albert Cohen 0001"
    link: "https://researchr.org/alias/albert-cohen-0001"
  - name: "Martin T. Vechev"
    link: "https://researchr.org/alias/martin-t.-vechev"
  publisher: "ACM"
  isbn: "978-1-4503-4988-8"
  kind: "inproceedings"
  key: "EisenbergJ17"
- title: "Call-pattern specialisation for haskell programs"
  author:
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  year: "2007"
  doi: "http://doi.acm.org/10.1145/1291151.1291200"
  links:
    doi: "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:
  - name: "Ralf Hinze"
    link: "https://researchr.org/alias/ralf-hinze"
  - name: "Norman Ramsey"
    link: "http://www.cs.tufts.edu/~nr/"
  publisher: "ACM"
  isbn: "978-1-59593-815-2"
  kind: "inproceedings"
  key: "Jones07:2"
- title: "Backpack: retrofitting Haskell with interfaces"
  author:
  - name: "Scott Kilpatrick"
    link: "https://researchr.org/alias/scott-kilpatrick"
  - name: "Derek Dreyer"
    link: "https://researchr.org/alias/derek-dreyer"
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  - name: "Simon Marlow"
    link: "https://researchr.org/alias/simon-marlow"
  year: "2014"
  doi: "http://doi.acm.org/10.1145/2535838.2535884"
  links:
    doi: "http://doi.acm.org/10.1145/2535838.2535884"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/popl/KilpatrickDJM14"
  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:
  - name: "Suresh Jagannathan"
    link: "https://researchr.org/alias/suresh-jagannathan"
  - name: "Peter Sewell"
    link: "https://researchr.org/alias/peter-sewell"
  publisher: "ACM"
  isbn: "978-1-4503-2544-8"
  kind: "inproceedings"
  key: "KilpatrickDJM14"
- title: "Safe Haskell"
  author:
  - name: "David Terei"
    link: "https://researchr.org/alias/david-terei"
  - name: "Simon Marlow"
    link: "https://researchr.org/alias/simon-marlow"
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  - name: "David Mazières"
    link: "https://researchr.org/alias/david-mazi%C3%A8res"
  year: "2012"
  doi: "http://tinytocs.org/vol1/papers/tinytocs-v1-terei.pdf"
  links:
    doi: "http://tinytocs.org/vol1/papers/tinytocs-v1-terei.pdf"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/tinytocs/TereiMJM12"
  researchr: "https://researchr.org/publication/TereiMJM12"
  cites: 0
  citedby: 0
  journal: "TinyToCS"
  volume: "1"
  kind: "article"
  key: "TereiMJM12"
- title: "Secrets of the Glasgow Haskell Compiler inliner"
  author:
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  - name: "Simon Marlow"
    link: "https://researchr.org/alias/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"
  kind: "article"
  key: "JonesM02"
- title: "Haskell 98: Compiler Pragmas"
  author:
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  year: "2003"
  doi: "http://dx.doi.org/10.1017/S095679680300131X"
  links:
    doi: "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"
  kind: "article"
  key: "Jones03j"
- title: "Towards Haskell in the cloud"
  author:
  - name: "Jeff Epstein"
    link: "https://researchr.org/alias/jeff-epstein"
  - name: "Andrew P. Black"
    link: "https://researchr.org/alias/andrew-p.-black"
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  year: "2011"
  doi: "http://doi.acm.org/10.1145/2034675.2034690"
  links:
    doi: "http://doi.acm.org/10.1145/2034675.2034690"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/haskell/EpsteinBJ11"
  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:
  - name: "Koen Claessen"
    link: "http://www.cse.chalmers.se/~koen/"
  publisher: "ACM"
  isbn: "978-1-4503-0860-1"
  kind: "inproceedings"
  key: "EpsteinBJ11"
- title: "The Implementation of Functional Programming Languages"
  author:
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  year: "1987"
  tags:
  - "programming languages"
  - "functional programming"
  - "programming"
  researchr: "https://researchr.org/publication/Jones87%3A2"
  cites: 0
  citedby: 0
  publisher: "Prentice-Hall"
  kind: "book"
  key: "Jones87:2"
- title: "Haskell 98 Libraries: Locales"
  author:
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  year: "2003"
  doi: "http://dx.doi.org/10.1017/S0956796803002715"
  links:
    doi: "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"
  kind: "article"
  key: "Jones03x"
- title: "A single intermediate language that supports multiple implementations of exceptions"
  author:
  - name: "Norman Ramsey"
    link: "http://www.cs.tufts.edu/~nr/"
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  year: "2000"
  doi: "http://doi.acm.org/10.1145/349299.349337"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "RamseyJ00"
- title: "Porting the Clean Object I/O Library to Haskell"
  author:
  - name: "Peter Achten"
    link: "https://researchr.org/alias/peter-achten"
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  year: "2000"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2011/20110194.htm"
  links:
    doi: "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:
  - name: "Markus Mohnen"
    link: "https://researchr.org/alias/markus-mohnen"
  - name: "Pieter W. M. Koopman"
    link: "https://researchr.org/alias/pieter-w.-m.-koopman"
  volume: "2011"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-41919-5"
  kind: "inproceedings"
  key: "AchtenJ00"
- title: "Time and Space Profiling for Non-Strict Higher-Order Functional Languages"
  author:
  - name: "Patrick M. Sansom"
    link: "https://researchr.org/alias/patrick-m.-sansom"
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  year: "1995"
  researchr: "https://researchr.org/publication/SansomJ95"
  cites: 0
  citedby: 0
  pages: "355-366"
  booktitle: "POPL"
  kind: "inproceedings"
  key: "SansomJ95"
- title: "Haskell 98 Libraries: Rational Numbers"
  author:
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  year: "2003"
  doi: "http://dx.doi.org/10.1017/S0956796803001412"
  links:
    doi: "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"
  kind: "article"
  key: "Jones03k"
- title: "Associated type synonyms"
  author:
  - name: "Manuel M. T. Chakravarty"
    link: "https://researchr.org/alias/manuel-m.-t.-chakravarty"
  - name: "Gabriele Keller"
    link: "https://researchr.org/alias/gabriele-keller"
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  year: "2005"
  doi: "http://doi.acm.org/10.1145/1086365.1086397"
  links:
    doi: "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:
  - name: "Olivier Danvy"
    link: "https://www.yale-nus.edu.sg/about/faculty/olivier-danvy/"
  - name: "Benjamin C. Pierce"
    link: "http://www.cis.upenn.edu/~bcpierce/"
  publisher: "ACM"
  isbn: "1-59593-064-7"
  kind: "inproceedings"
  key: "ChakravartyKJ05"
- title: "Work efficient higher-order vectorisation"
  author:
  - name: "Ben Lippmeier"
    link: "https://researchr.org/alias/ben-lippmeier"
  - name: "Manuel M. T. Chakravarty"
    link: "https://researchr.org/alias/manuel-m.-t.-chakravarty"
  - name: "Gabriele Keller"
    link: "https://researchr.org/alias/gabriele-keller"
  - name: "Roman Leshchinskiy"
    link: "https://researchr.org/alias/roman-leshchinskiy"
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  year: "2012"
  doi: "http://doi.acm.org/10.1145/2364527.2364564"
  links:
    doi: "http://doi.acm.org/10.1145/2364527.2364564"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/icfp/LippmeierCKLJ12"
  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:
  - name: "Peter Thiemann"
    link: "https://researchr.org/alias/peter-thiemann"
  - name: "Robby Bruce Findler"
    link: "https://researchr.org/alias/robby-bruce-findler"
  publisher: "ACM"
  isbn: "978-1-4503-1054-3"
  kind: "inproceedings"
  key: "LippmeierCKLJ12"
- title: "Type Classes in Haskell"
  author:
  - name: "Cordelia V. Hall"
    link: "https://researchr.org/alias/cordelia-v.-hall"
  - name: "Kevin Hammond"
    link: "http://www.cs.st-andrews.ac.uk/~kh/"
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  - name: "Philip Wadler"
    link: "http://homepages.inf.ed.ac.uk/wadler/"
  year: "1996"
  doi: "http://doi.acm.org/10.1145/227699.227700"
  links:
    doi: "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"
  kind: "article"
  key: "HallHJW96"
- title: "A user-centred approach to functions in Excel"
  author:
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  - name: "Alan Blackwell"
    link: "https://researchr.org/alias/alan-blackwell"
  - name: "Margaret M. Burnett"
    link: "https://researchr.org/alias/margaret-m.-burnett"
  year: "2003"
  doi: "http://doi.acm.org/10.1145/944746.944721"
  links:
    doi: "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"
  kind: "article"
  key: "JonesBB03-0"
- title: "Automatic Spark Strategies and Granularity for a Parallel Functional Language Reducer"
  author:
  - name: "Kevin Hammond"
    link: "http://www.cs.st-andrews.ac.uk/~kh/"
  - name: "James S. Mattson Jr."
    link: "https://researchr.org/alias/james-s.-mattson-jr."
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  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:
  - name: "Bruno Buchberger"
    link: "https://researchr.org/alias/bruno-buchberger"
  - name: "Jens Volkert"
    link: "https://researchr.org/alias/jens-volkert"
  volume: "854"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-58430-7"
  kind: "inproceedings"
  key: "HammondMJ94"
- title: "FPH: first-class polymorphism for Haskell"
  author:
  - name: "Dimitrios Vytiniotis"
    link: "http://"
  - name: "Stephanie Weirich"
    link: "http://www.cis.upenn.edu/~sweirich/"
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  year: "2008"
  doi: "http://doi.acm.org/10.1145/1411204.1411246"
  abstract: "Languages supporting polymorphism typically have ad-hoc restrictions on where polymorphic types may occur. Supporting ``first-class'' polymorphism, by lifting those restrictions, is obviously desirable, but it is hard to achieve this without sacrificing type inference. We present a new type system for higher-rank and impredicative polymorphism that improves on earlier proposals: it is an extension of Damas-Milner; it relies only on System F types; it has a simple, declarative specification; it is robust to program transformations; and it enjoys a complete and decidable type inference algorithm. "
  links:
    doi: "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:
  - name: "James Hook"
    link: "https://researchr.org/alias/james-hook"
  - name: "Peter Thiemann"
    link: "http://www.informatik.uni-freiburg.de/~thiemann/"
  publisher: "ACM"
  isbn: "978-1-59593-919-7"
  kind: "inproceedings"
  key: "VytiniotisWJ08"
- title: "Desugaring Haskell's do-notation into applicative operations"
  author:
  - name: "Simon Marlow"
    link: "https://researchr.org/alias/simon-marlow"
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  - name: "Edward Kmett"
    link: "https://researchr.org/alias/edward-kmett"
  - name: "Andrey Mokhov"
    link: "https://researchr.org/alias/andrey-mokhov"
  year: "2016"
  doi: "http://doi.acm.org/10.1145/2976002.2976007"
  links:
    doi: "http://doi.acm.org/10.1145/2976002.2976007"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/haskell/MarlowJKM16"
  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:
  - name: "Geoffrey Mainland"
    link: "https://researchr.org/alias/geoffrey-mainland"
  publisher: "ACM"
  isbn: "978-1-4503-4434-0"
  kind: "inproceedings"
  key: "MarlowJKM16"
- title: "How to write a good research paper"
  author:
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  year: "2004"
  doi: "http://research.microsoft.com/en-us/um/people/simonpj/papers/giving-a-talk/writing-a-paper-slides.pdf"
  links:
    doi: "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
  kind: "misc"
  key: "PeytonJones:2004"
- title: "Haskell 98 Libraries: Directory Functions"
  author:
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  year: "2003"
  doi: "http://dx.doi.org/10.1017/S0956796803002417"
  links:
    doi: "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"
  kind: "article"
  key: "Jones03u"
- title: "Harnessing the Multicores: Nested Data Parallelism in Haskell"
  author:
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  - name: "Roman Leshchinskiy"
    link: "https://researchr.org/alias/roman-leshchinskiy"
  - name: "Gabriele Keller"
    link: "https://researchr.org/alias/gabriele-keller"
  - name: "Manuel M. T. Chakravarty"
    link: "https://researchr.org/alias/manuel-m.-t.-chakravarty"
  year: "2008"
  doi: "http://drops.dagstuhl.de/opus/volltexte/2008/1769"
  links:
    doi: "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:
  - name: "Ramesh Hariharan"
    link: "https://researchr.org/alias/ramesh-hariharan"
  - name: "Madhavan Mukund"
    link: "https://researchr.org/alias/madhavan-mukund"
  - name: "V. Vinay"
    link: "https://researchr.org/alias/v.-vinay"
  volume: "08004"
  series: "Dagstuhl Seminar Proceedings"
  publisher: "Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany"
  kind: "inproceedings"
  key: "JonesLKC08"
- title: "Derivable Type Classes"
  author:
  - name: "Ralf Hinze"
    link: "https://researchr.org/alias/ralf-hinze"
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  year: "2000"
  doi: "http://www.elsevier.com/gej-ng/31/29/23/76/33/show/Products/notes/index.htt#010"
  links:
    doi: "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"
  kind: "article"
  key: "HinzeJ00"
- title: "Roadmap for enhanced languages and methods to aid verification"
  author:
  - name: "Gary T. Leavens"
    link: "https://researchr.org/alias/gary-t.-leavens"
  - name: "Jean-Raymond Abrial"
    link: "https://researchr.org/alias/jean-raymond-abrial"
  - name: "Don S. Batory"
    link: "http://www.cs.utexas.edu/~dsb/"
  - name: "Michael J. Butler"
    link: "https://researchr.org/alias/michael-j.-butler"
  - name: "Alessandro Coglio"
    link: "https://researchr.org/alias/alessandro-coglio"
  - name: "Kathi Fisler"
    link: "https://researchr.org/alias/kathi-fisler"
  - name: "Eric C. R. Hehner"
    link: "https://researchr.org/alias/eric-c.-r.-hehner"
  - name: "Cliff B. Jones"
    link: "https://researchr.org/alias/cliff-b.-jones"
  - name: "Dale Miller"
    link: "https://researchr.org/alias/dale-miller"
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  - name: "Murali Sitaraman"
    link: "https://researchr.org/alias/murali-sitaraman"
  - name: "Douglas R. Smith"
    link: "https://researchr.org/alias/douglas-r.-smith"
  - name: "Aaron Stump"
    link: "https://researchr.org/alias/aaron-stump"
  year: "2006"
  doi: "http://doi.acm.org/10.1145/1173706.1173740"
  links:
    doi: "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:
  - name: "Stan Jarzabek"
    link: "https://researchr.org/alias/stan-jarzabek"
  - name: "Douglas C. Schmidt"
    link: "https://researchr.org/alias/douglas-c.-schmidt"
  - name: "Todd L. Veldhuizen"
    link: "https://researchr.org/alias/todd-l.-veldhuizen"
  publisher: "ACM"
  isbn: "1-59593-237-2"
  kind: "inproceedings"
  key: "LeavensABBCFHJMJSSS06"
- title: "Scrap Your Boilerplate"
  author:
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  - name: "Ralf Lämmel"
    link: "http://www.uni-koblenz.de/~laemmel/Site/Home.html"
  year: "2003"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2895&spage=357"
  links:
    doi: "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:
  - name: "Atsushi Ohori"
    link: "https://researchr.org/alias/atsushi-ohori"
  volume: "2895"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-20536-5"
  kind: "inproceedings"
  key: "JonesL03"
- title: "Composing the User Interface with Haggis"
  author:
  - name: "Sigbjorn Finne"
    link: "https://researchr.org/alias/sigbjorn-finne"
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  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:
  - name: "John Launchbury"
    link: "https://researchr.org/alias/john-launchbury"
  - name: "Erik Meijer"
    link: "https://researchr.org/alias/erik-meijer"
  - name: "Tim  Sheard"
    link: "http://web.cecs.pdx.edu/~sheard/"
  volume: "1129"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-61628-4"
  kind: "inproceedings"
  key: "FinneJ96"
- title: "How to write a good research proposal"
  author:
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  year: "2006"
  doi: "http://research.microsoft.com/en-us/um/people/simonpj/papers/Proposal.html"
  abstract: "Writing a good research grant proposal is not easy. This document is an attempt to collect together a number of suggestions about what makes a good proposal. It is inevitably a personal view on the part of the authors; we would welcome feedback and suggestions from others. "
  links:
    doi: "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
  kind: "misc"
  key: "PeytonJones:2006"
- title: "Non-recursive make considered harmful: build systems at scale"
  author:
  - name: "Andrey Mokhov"
    link: "https://researchr.org/alias/andrey-mokhov"
  - name: "Neil Mitchell"
    link: "https://researchr.org/alias/neil-mitchell"
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  - name: "Simon Marlow"
    link: "https://researchr.org/alias/simon-marlow"
  year: "2016"
  doi: "http://doi.acm.org/10.1145/2976002.2976011"
  links:
    doi: "http://doi.acm.org/10.1145/2976002.2976011"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/haskell/MokhovMJM16"
  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:
  - name: "Geoffrey Mainland"
    link: "https://researchr.org/alias/geoffrey-mainland"
  publisher: "ACM"
  isbn: "978-1-4503-4434-0"
  kind: "inproceedings"
  key: "MokhovMJM16"
- title: "Making a fast curry: push/enter vs. eval/apply for higher-order languages"
  author:
  - name: "Simon Marlow"
    link: "https://researchr.org/alias/simon-marlow"
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  year: "2006"
  doi: "http://dx.doi.org/10.1017/S0956796806005995"
  links:
    doi: "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"
  kind: "article"
  key: "MarlowJ06"
- title: "Parallel generational-copying garbage collection with a block-structured heap"
  author:
  - name: "Simon Marlow"
    link: "https://researchr.org/alias/simon-marlow"
  - name: "Tim Harris"
    link: "https://researchr.org/alias/tim-harris"
  - name: "Roshan P. James"
    link: "https://researchr.org/alias/roshan-p.-james"
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  year: "2008"
  doi: "http://doi.acm.org/10.1145/1375634.1375637"
  links:
    doi: "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:
  - name: "Richard Jones"
    link: "https://researchr.org/alias/richard-jones"
  - name: "Stephen M. Blackburn"
    link: "https://researchr.org/alias/stephen-m.-blackburn"
  publisher: "ACM"
  isbn: "978-1-60558-134-7"
  kind: "inproceedings"
  key: "MarlowHJJ08"
- title: "Computer science as a school subject"
  author:
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  year: "2013"
  doi: "http://doi.acm.org/10.1145/2500365.2500609"
  links:
    doi: "http://doi.acm.org/10.1145/2500365.2500609"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/icfp/Jones13"
  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:
  - name: "Greg Morrisett"
    link: "https://researchr.org/alias/greg-morrisett"
  - name: "Tarmo Uustalu"
    link: "https://researchr.org/alias/tarmo-uustalu"
  publisher: "ACM"
  isbn: "978-1-4503-2326-0"
  kind: "inproceedings"
  key: "Jones13-0"
- title: "Sound and Decidable Type Inference for Functional Dependencies"
  author:
  - name: "Gregory J. Duck"
    link: "https://researchr.org/alias/gregory-j.-duck"
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  - name: "Peter J. Stuckey"
    link: "https://researchr.org/alias/peter-j.-stuckey"
  - name: "Martin Sulzmann"
    link: "https://researchr.org/alias/martin-sulzmann"
  year: "2004"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2986&spage=49"
  links:
    doi: "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:
  - name: "David A. Schmidt"
    link: "https://researchr.org/alias/david-a.-schmidt"
  volume: "2986"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-21313-9"
  kind: "inproceedings"
  key: "DuckPSS04"
- title: "Scrap more boilerplate: reflection, zips, and generalised casts"
  author:
  - name: "Ralf Lämmel"
    link: "http://www.uni-koblenz.de/~laemmel/Site/Home.html"
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  year: "2004"
  doi: "http://doi.acm.org/10.1145/1016850.1016883"
  links:
    doi: "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:
  - name: "Chris Okasaki"
    link: "https://researchr.org/alias/chris-okasaki"
  - name: "Kathleen Fisher"
    link: "http://www.research.att.com/people/Fisher_Kathleen_S"
  publisher: "ACM"
  isbn: "1-58113-905-5"
  kind: "inproceedings"
  key: "LammelJ04"
- title: "Unboxed Values as First Class Citizens in a Non-Strict Functional Language"
  author:
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  - name: "John Launchbury"
    link: "https://researchr.org/alias/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:
  - name: "John Hughes"
    link: "http://www.cse.chalmers.se/~rjmh"
  volume: "523"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-54396-1"
  kind: "inproceedings"
  key: "JonesL91"
- title: "Parsing Distfix Operators"
  author:
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  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"
  kind: "article"
  key: "Jones86:4"
- title: "Algorithms + Strategy = Parallelism"
  author:
  - name: "Philip W. Trinder"
    link: "https://researchr.org/alias/philip-w.-trinder"
  - name: "Kevin Hammond"
    link: "http://www.cs.st-andrews.ac.uk/~kh/"
  - name: "Hans-Wolfgang Loidl"
    link: "https://researchr.org/alias/hans-wolfgang-loidl"
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  year: "1998"
  researchr: "https://researchr.org/publication/TrinderHLJ98"
  cites: 0
  citedby: 0
  journal: "Journal of Functional Programming"
  volume: "8"
  number: "1"
  pages: "23-60"
  kind: "article"
  key: "TrinderHLJ98"
- title: "Sequent calculus as a compiler intermediate language"
  author:
  - name: "Paul Downen"
    link: "https://researchr.org/alias/paul-downen"
  - name: "Luke Maurer"
    link: "https://researchr.org/alias/luke-maurer"
  - name: "Zena M. Ariola"
    link: "https://researchr.org/alias/zena-m.-ariola"
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  year: "2016"
  doi: "http://doi.acm.org/10.1145/2951913.2951931"
  links:
    doi: "http://doi.acm.org/10.1145/2951913.2951931"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/icfp/DownenMAJ16"
  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:
  - name: "Jacques Garrigue"
    link: "https://researchr.org/alias/jacques-garrigue"
  - name: "Gabriele Keller"
    link: "https://researchr.org/alias/gabriele-keller"
  - name: "Eijiro Sumii"
    link: "https://researchr.org/alias/eijiro-sumii"
  publisher: "ACM"
  isbn: "978-1-4503-4219-3"
  kind: "inproceedings"
  key: "DownenMAJ16"
- title: "SHErrLoc: A Static Holistic Error Locator"
  author:
  - name: "Danfeng Zhang"
    link: "https://researchr.org/alias/danfeng-zhang"
  - name: "Andrew C. Myers"
    link: "https://researchr.org/alias/andrew-c.-myers"
  - name: "Dimitrios Vytiniotis"
    link: "https://researchr.org/alias/dimitrios-vytiniotis"
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  year: "2017"
  doi: "http://doi.acm.org/10.1145/3121137"
  links:
    doi: "http://doi.acm.org/10.1145/3121137"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/toplas/ZhangMVJ17"
  researchr: "https://researchr.org/publication/ZhangMVJ17"
  cites: 0
  citedby: 0
  journal: "ACM Transactions on Programming Languages and Systems"
  volume: "39"
  number: "4"
  kind: "article"
  key: "ZhangMVJ17"
- title: "Haskell 98 Libraries: CPU Time"
  author:
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  year: "2003"
  doi: "http://dx.doi.org/10.1017/S0956796803002818"
  links:
    doi: "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"
  kind: "article"
  key: "Jones03y"
- title: "Hoopl: a modular, reusable library for dataflow analysis and transformation"
  author:
  - name: "Norman Ramsey"
    link: "http://www.cs.tufts.edu/~nr/"
  - name: "João Dias"
    link: "https://researchr.org/alias/jo%C3%A3o-dias"
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  year: "2010"
  doi: "http://doi.acm.org/10.1145/1863523.1863539"
  links:
    doi: "http://doi.acm.org/10.1145/1863523.1863539"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/haskell/RamseyDJ10"
  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:
  - name: "Jeremy Gibbons"
    link: "http://www.comlab.ox.ac.uk/jeremy.gibbons/"
  publisher: "ACM"
  isbn: "978-1-4503-0252-4"
  kind: "inproceedings"
  key: "RamseyDJ10"
- title: "The Spineless G-Machine"
  author:
  - name: "Geoffrey L. Burn"
    link: "https://researchr.org/alias/geoffrey-l.-burn"
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  - name: "J. D. Robson"
    link: "https://researchr.org/alias/j.-d.-robson"
  year: "1988"
  doi: "http://doi.acm.org/10.1145/62678.62717"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "BurnJR88"
- title: "TM compatible specification language"
  author:
  - name: "N. C. L. Beale"
    link: "https://researchr.org/alias/n.-c.-l.-beale"
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  year: "1981"
  doi: "http://doi.acm.org/10.1145/800175.809857"
  links:
    doi: "http://doi.acm.org/10.1145/800175.809857"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/acm/BealeJ81"
  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:
  - name: "Toni Shelter"
    link: "https://researchr.org/alias/toni-shelter"
  - name: "Steven Abraham"
    link: "https://researchr.org/alias/steven-abraham"
  - name: "Emily P. Friedman"
    link: "https://researchr.org/alias/emily-p.-friedman"
  - name: "Beth Levy"
    link: "https://researchr.org/alias/beth-levy"
  publisher: "ACM"
  isbn: "0-89791-049-4"
  kind: "inproceedings"
  key: "BealeJ81"
- title: "Haskell 98: Syntax Reference"
  author:
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  year: "2003"
  doi: "http://dx.doi.org/10.1017/S0956796803001114"
  links:
    doi: "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"
  kind: "article"
  key: "Jones03h"
- title: "Equality proofs and deferred type errors: a compiler pearl"
  author:
  - name: "Dimitrios Vytiniotis"
    link: "https://researchr.org/alias/dimitrios-vytiniotis"
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  - name: "José Pedro Magalhães"
    link: "https://researchr.org/alias/jos%C3%A9-pedro-magalh%C3%A3es"
  year: "2012"
  doi: "http://doi.acm.org/10.1145/2364527.2364554"
  links:
    doi: "http://doi.acm.org/10.1145/2364527.2364554"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/icfp/VytiniotisJM12"
  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:
  - name: "Peter Thiemann"
    link: "https://researchr.org/alias/peter-thiemann"
  - name: "Robby Bruce Findler"
    link: "https://researchr.org/alias/robby-bruce-findler"
  publisher: "ACM"
  isbn: "978-1-4503-1054-3"
  kind: "inproceedings"
  key: "VytiniotisJM12"
- title: "Aspect-Oriented Compilers"
  author:
  - name: "Oege de Moor"
    link: "http://progtools.comlab.ox.ac.uk/members/oege"
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  - name: "Eric {Van Wyk}"
    link: "http://www-users.cs.umn.edu/~evw/"
  year: "1999"
  doi: "http://link.springer.de/link/service/series/0558/bibs/1799/17990121.htm"
  links:
    doi: "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:
  - name: "Krzysztof Czarnecki"
    link: "http://www.swen.uwaterloo.ca/~kczarnec/"
  - name: "Ulrich W. Eisenecker"
    link: "https://researchr.org/alias/ulrich-w.-eisenecker"
  volume: "1799"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-41172-0"
  kind: "inproceedings"
  key: "MoorPW99"
- title: "Using Futurebus in a fifth-generation computer"
  author:
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  year: "1986"
  doi: "http://dx.doi.org/10.1016/0141-9331(86)90029-3"
  links:
    doi: "http://dx.doi.org/10.1016/0141-9331(86)90029-3"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/mam/Jones86"
  researchr: "https://researchr.org/publication/Jones86-4"
  cites: 0
  citedby: 0
  journal: "Microprocessors and Microsystems"
  volume: "10"
  number: "2"
  pages: "69-76"
  kind: "article"
  key: "Jones86-4"
- title: "Static contract checking for Haskell"
  author:
  - name: "Dana N. Xu"
    link: "https://researchr.org/alias/dana-n.-xu"
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  - name: "Koen Claessen"
    link: "http://www.cse.chalmers.se/~koen/"
  year: "2009"
  doi: "http://doi.acm.org/10.1145/1480881.1480889"
  links:
    doi: "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:
  - name: "Zhong Shao"
    link: "https://researchr.org/alias/zhong-shao"
  - name: "Benjamin C. Pierce"
    link: "http://www.cis.upenn.edu/~bcpierce/"
  publisher: "ACM"
  isbn: "978-1-60558-379-2"
  kind: "inproceedings"
  key: "XuJC09"
- title: "Haskell 98 Libraries: Maybe Utilities"
  author:
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  year: "2003"
  doi: "http://dx.doi.org/10.1017/S0956796803002016"
  links:
    doi: "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"
  kind: "article"
  key: "Jones03q"
- title: "Comprehensive comprehensions"
  author:
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  - name: "Philip Wadler"
    link: "http://homepages.inf.ed.ac.uk/wadler/"
  year: "2007"
  doi: "http://doi.acm.org/10.1145/1291201.1291209"
  links:
    doi: "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:
  - name: "Gabriele Keller"
    link: "https://researchr.org/alias/gabriele-keller"
  publisher: "ACM"
  isbn: "978-1-59593-674-5"
  kind: "inproceedings"
  key: "JonesW07"
- title: "Once Upon a Polymorphic Type"
  author:
  - name: "Keith Wansbrough"
    link: "https://researchr.org/alias/keith-wansbrough"
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  year: "1999"
  doi: "http://doi.acm.org/10.1145/292540.292545"
  links:
    doi: "http://doi.acm.org/10.1145/292540.292545"
  researchr: "https://researchr.org/publication/WansbroughJ99"
  cites: 0
  citedby: 0
  pages: "15-28"
  booktitle: "POPL"
  kind: "inproceedings"
  key: "WansbroughJ99"
- title: "Formally Based Profiling for Higher-Order Functional Languages"
  author:
  - name: "Patrick M. Sansom"
    link: "https://researchr.org/alias/patrick-m.-sansom"
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  year: "1997"
  doi: "http://doi.acm.org/10.1145/244795.244802"
  links:
    doi: "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"
  kind: "article"
  key: "SansomJ97"
- title: "Generative type abstraction and type-level computation"
  author:
  - name: "Stephanie Weirich"
    link: "https://researchr.org/alias/stephanie-weirich"
  - name: "Dimitrios Vytiniotis"
    link: "https://researchr.org/alias/dimitrios-vytiniotis"
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  - name: "Steve Zdancewic"
    link: "https://researchr.org/alias/steve-zdancewic"
  year: "2011"
  doi: "http://doi.acm.org/10.1145/1926385.1926411"
  links:
    doi: "http://doi.acm.org/10.1145/1926385.1926411"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/popl/WeirichVJZ11"
  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:
  - name: "Thomas Ball"
    link: "https://researchr.org/alias/thomas-ball"
  - name: "Mooly Sagiv"
    link: "https://researchr.org/alias/mooly-sagiv"
  publisher: "ACM"
  isbn: "978-1-4503-0490-0"
  kind: "inproceedings"
  key: "WeirichVJZ11"
- title: "Lazy Funtional State Threads: An Abstract"
  author:
  - name: "John Launchbury"
    link: "https://researchr.org/alias/john-launchbury"
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  year: "1994"
  tags:
  - "laziness"
  researchr: "https://researchr.org/publication/LaunchburyJ94"
  cites: 0
  citedby: 0
  pages: "3-5"
  booktitle: "ICLP"
  kind: "inproceedings"
  key: "LaunchburyJ94"
- title: "The Four-Stroke Reduction Engine"
  author:
  - name: "Chris D. Clack"
    link: "https://researchr.org/alias/chris-d.-clack"
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  year: "1986"
  researchr: "https://researchr.org/publication/ClackJ86"
  cites: 0
  citedby: 0
  pages: "220-232"
  booktitle: "LISP and Functional Programming"
  kind: "inproceedings"
  key: "ClackJ86"
- title: "Guiding parallel array fusion with indexed types"
  author:
  - name: "Ben Lippmeier"
    link: "https://researchr.org/alias/ben-lippmeier"
  - name: "Manuel M. T. Chakravarty"
    link: "https://researchr.org/alias/manuel-m.-t.-chakravarty"
  - name: "Gabriele Keller"
    link: "https://researchr.org/alias/gabriele-keller"
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  year: "2012"
  doi: "http://doi.acm.org/10.1145/2364506.2364511"
  links:
    doi: "http://doi.acm.org/10.1145/2364506.2364511"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/haskell/LippmeierCKJ12"
  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:
  - name: "Janis Voigtländer"
    link: "http://www.iai.uni-bonn.de/~jv/"
  publisher: "ACM"
  isbn: "978-1-4503-1574-6"
  kind: "inproceedings"
  key: "LippmeierCKJ12"
- title: "Fun with Type Functions"
  author:
  - name: "Oleg Kiselyov"
    link: "http://okmij.org/ftp/"
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  - name: "Chung-chieh Shan"
    link: "https://researchr.org/alias/chung-chieh-shan"
  year: "2010"
  doi: "http://dx.doi.org/10.1007/978-1-84882-912-1_14"
  links:
    doi: "http://dx.doi.org/10.1007/978-1-84882-912-1_14"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/books/daglib/p/KiselyovJS10"
  researchr: "https://researchr.org/publication/KiselyovJS10"
  cites: 0
  citedby: 0
  pages: "301-331"
  booktitle: "Reflections on the Work of C. A. R. Hoare"
  editor:
  - name: "A. W. Roscoe"
    link: "https://researchr.org/alias/a.-w.-roscoe"
  - name: "Clifford B. Jones"
    link: "https://researchr.org/alias/clifford-b.-jones"
  - name: "Kenneth R. Wood"
    link: "https://researchr.org/alias/kenneth-r.-wood"
  publisher: "Springer"
  isbn: "978-1-84882-911-4"
  kind: "incollection"
  key: "KiselyovJS10"
- title: "Lock Free Data Structures Using STM in Haskell"
  author:
  - name: "Anthony Discolo"
    link: "https://researchr.org/alias/anthony-discolo"
  - name: "Tim Harris"
    link: "https://researchr.org/alias/tim-harris"
  - name: "Simon Marlow"
    link: "https://researchr.org/alias/simon-marlow"
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  - name: "Satnam Singh"
    link: "https://researchr.org/alias/satnam-singh"
  year: "2006"
  doi: "http://dx.doi.org/10.1007/11737414_6"
  links:
    doi: "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:
  - name: "Masami Hagiya"
    link: "https://researchr.org/alias/masami-hagiya"
  - name: "Philip Wadler"
    link: "http://homepages.inf.ed.ac.uk/wadler/"
  volume: "3945"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-33438-6"
  kind: "inproceedings"
  key: "DiscoloHMJS06"
- title: "A Futurebus interface from off-the-shelf parts"
  author:
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  - name: "Mark Hardie"
    link: "https://researchr.org/alias/mark-hardie"
  year: "1991"
  doi: "http://doi.ieeecomputersociety.org/10.1109/40.67745"
  links:
    doi: "http://doi.ieeecomputersociety.org/10.1109/40.67745"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/micro/JonesH91"
  researchr: "https://researchr.org/publication/JonesH91"
  cites: 0
  citedby: 0
  journal: "IEEE Micro"
  volume: "11"
  number: "1"
  pages: "38-41"
  kind: "article"
  key: "JonesH91"
- title: "Haskell 98: Declarations and Bindings"
  author:
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  year: "2003"
  doi: "http://dx.doi.org/10.1017/S0956796803000613"
  links:
    doi: "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"
  kind: "article"
  key: "Jones03c"
- title: "Calling Hell From Heaven and Heaven From Hell"
  author:
  - name: "Sigbjorn Finne"
    link: "https://researchr.org/alias/sigbjorn-finne"
  - name: "Daan Leijen"
    link: "https://researchr.org/alias/daan-leijen"
  - name: "Erik Meijer"
    link: "https://researchr.org/alias/erik-meijer"
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  year: "1999"
  doi: "http://doi.acm.org/10.1145/317636.317790"
  links:
    doi: "http://doi.acm.org/10.1145/317636.317790"
  researchr: "https://researchr.org/publication/FinneLMJ99"
  cites: 0
  citedby: 0
  pages: "114-125"
  booktitle: "ICFP"
  kind: "inproceedings"
  key: "FinneLMJ99"
- title: "Scrap Your Type Applications"
  author:
  - name: "Barry Jay"
    link: "https://researchr.org/alias/barry-jay"
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  year: "2008"
  doi: "http://dx.doi.org/10.1007/978-3-540-70594-9_2"
  links:
    doi: "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:
  - name: "Philippe Audebaud"
    link: "https://researchr.org/alias/philippe-audebaud"
  - name: "Christine Paulin-Mohring"
    link: "https://researchr.org/alias/christine-paulin-mohring"
  volume: "5133"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-70593-2"
  kind: "inproceedings"
  key: "JayJ08"
- title: "Champagne Prototyping: A Research Technique for Early Evaluation of Complex End-User Programming Systems"
  author:
  - name: "Alan F. Blackwell"
    link: "http://www.cl.cam.ac.uk/~afb21/"
  - name: "Margaret M. Burnett"
    link: "https://researchr.org/alias/margaret-m.-burnett"
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  year: "2004"
  doi: "http://doi.ieeecomputersociety.org/10.1109/VLHCC.2004.10"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "BlackwellBJ04"
- title: "Constructed product result analysis for Haskell"
  author:
  - name: "Clement A. Baker-Finch"
    link: "https://researchr.org/alias/clement-a.-baker-finch"
  - name: "Kevin Glynn"
    link: "https://researchr.org/alias/kevin-glynn"
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  year: "2004"
  doi: "http://dx.doi.org/10.1017/S0956796803004751"
  links:
    doi: "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"
  kind: "article"
  key: "Baker-FinchGJ04"
- title: "On Program Transformation in the Glasgow Haskell Compiler"
  author:
  - name: "André L. M. Santos"
    link: "http://www.cin.ufpe.br/~alms/"
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  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:
  - name: "John Launchbury"
    link: "https://researchr.org/alias/john-launchbury"
  - name: "Patrick M. Sansom"
    link: "https://researchr.org/alias/patrick-m.-sansom"
  series: "Workshops in Computing"
  publisher: "Springer"
  isbn: "3-540-19820-2"
  kind: "inproceedings"
  key: "SantosJ92"
- title: "Haskell Is Not Not ML"
  author:
  - name: "Ben Rudiak-Gould"
    link: "https://researchr.org/alias/ben-rudiak-gould"
  - name: "Alan Mycroft"
    link: "https://researchr.org/alias/alan-mycroft"
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  year: "2006"
  doi: "http://dx.doi.org/10.1007/11693024_4"
  links:
    doi: "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:
  - name: "Peter Sestoft"
    link: "https://researchr.org/alias/peter-sestoft"
  volume: "3924"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-33095-X"
  kind: "inproceedings"
  key: "Rudiak-GouldMJ06"
- title: "Imprecise Exceptions, Co-Inductively"
  author:
  - name: "Andrew Moran"
    link: "https://researchr.org/alias/andrew-moran"
  - name: "Søren B. Lassen"
    link: "https://researchr.org/alias/s%C3%B8ren-b.-lassen"
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  year: "1999"
  doi: "http://www.elsevier.com/gej-ng/31/29/23/50/23/show/Products/notes/index.htt#010"
  links:
    doi: "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"
  kind: "article"
  key: "MoranLJ99"
- title: "Diagnosing type errors with class"
  author:
  - name: "Danfeng Zhang"
    link: "https://researchr.org/alias/danfeng-zhang"
  - name: "Andrew C. Myers"
    link: "https://researchr.org/alias/andrew-c.-myers"
  - name: "Dimitrios Vytiniotis"
    link: "https://researchr.org/alias/dimitrios-vytiniotis"
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  year: "2015"
  doi: "http://doi.acm.org/10.1145/2737924.2738009"
  links:
    doi: "http://doi.acm.org/10.1145/2737924.2738009"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/pldi/ZhangMVJ15"
  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:
  - name: "David Grove"
    link: "https://researchr.org/alias/david-grove"
  - name: "Steve Blackburn"
    link: "https://researchr.org/alias/steve-blackburn"
  publisher: "ACM"
  isbn: "978-1-4503-3468-6"
  kind: "inproceedings"
  key: "ZhangMVJ15"
- title: "Optimistic evaluation: an adaptive evaluation strategy for non-strict programs"
  author:
  - name: "Robert Ennals"
    link: "https://researchr.org/alias/robert-ennals"
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  year: "2003"
  doi: "http://doi.acm.org/10.1145/944705.944731"
  links:
    doi: "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:
  - name: "Colin Runciman"
    link: "https://researchr.org/alias/colin-runciman"
  - name: "Olin Shivers"
    link: "https://researchr.org/alias/olin-shivers"
  publisher: "ACM"
  isbn: "1-58113-756-7"
  kind: "inproceedings"
  key: "EnnalsJ03"
- title: "Yacc in Sasl-an Exercise in Functional Programming"
  author:
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  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"
  kind: "article"
  key: "Jones85:1"
- title: "Composable memory transactions"
  author:
  - name: "Tim Harris"
    link: "https://researchr.org/alias/tim-harris"
  - name: "Simon Marlow"
    link: "https://researchr.org/alias/simon-marlow"
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  - name: "Maurice Herlihy"
    link: "https://researchr.org/alias/maurice-herlihy"
  year: "2005"
  doi: "http://doi.acm.org/10.1145/1065944.1065952"
  links:
    doi: "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:
  - name: "Keshav Pingali"
    link: "https://researchr.org/alias/keshav-pingali"
  - name: "Katherine A. Yelick"
    link: "https://researchr.org/alias/katherine-a.-yelick"
  - name: "Andrew S. Grimshaw"
    link: "https://researchr.org/alias/andrew-s.-grimshaw"
  publisher: "ACM"
  isbn: "1-59593-080-9"
  kind: "inproceedings"
  key: "HarrisMPH05"
- title: "Making a fast curry: push/enter vs. eval/apply for higher-order languages"
  author:
  - name: "Simon Marlow"
    link: "https://researchr.org/alias/simon-marlow"
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  year: "2004"
  doi: "http://doi.acm.org/10.1145/1016850.1016856"
  links:
    doi: "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:
  - name: "Chris Okasaki"
    link: "https://researchr.org/alias/chris-okasaki"
  - name: "Kathleen Fisher"
    link: "http://www.research.att.com/people/Fisher_Kathleen_S"
  publisher: "ACM"
  isbn: "1-58113-905-5"
  kind: "inproceedings"
  key: "MarlowJ04"
- title: "Calculation View: multiple-representation editing in spreadsheets"
  author:
  - name: "Advait Sarkar"
    link: "https://researchr.org/alias/advait-sarkar"
  - name: "Andrew D. Gordon"
    link: "https://researchr.org/alias/andrew-d.-gordon"
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  - name: "Neil Toronto"
    link: "https://researchr.org/alias/neil-toronto"
  year: "2018"
  doi: "https://doi.org/10.1109/VLHCC.2018.8506584"
  links:
    doi: "https://doi.org/10.1109/VLHCC.2018.8506584"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/vl/SarkarGJT18"
  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:
  - name: "Jácome Cunha"
    link: "https://researchr.org/alias/j%C3%A1come-cunha"
  - name: "João Paulo Fernandes"
    link: "https://researchr.org/alias/jo%C3%A3o-paulo-fernandes"
  - name: "Caitlin Kelleher"
    link: "https://researchr.org/alias/caitlin-kelleher"
  - name: "Gregor Engels"
    link: "https://researchr.org/alias/gregor-engels"
  - name: "Jorge Mendes 0001"
    link: "https://researchr.org/alias/jorge-mendes-0001"
  publisher: "IEEE"
  isbn: "978-1-5386-4235-1"
  kind: "inproceedings"
  key: "SarkarGJT18"
- title: "Picture: A Simple Structured Graphics Model"
  author:
  - name: "Sigbjorn Finne"
    link: "https://researchr.org/alias/sigbjorn-finne"
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  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:
  - name: "David N. Turner"
    link: "https://researchr.org/alias/david-n.-turner"
  series: "Workshops in Computing"
  publisher: "Springer"
  isbn: "3-540-14580-X"
  kind: "inproceedings"
  key: "FinneJ95"
- title: "Parallel Implementations of Functional Programming Languages"
  author:
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  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"
  kind: "article"
  key: "Jones89:0"
- title: "An Investigation of the Relative Efficiencies of Combinators and Lambda Expressions"
  author:
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  year: "1982"
  researchr: "https://researchr.org/publication/Jones82%3A1"
  cites: 0
  citedby: 0
  pages: "150-158"
  booktitle: "Symposium on LISP and Functional Programming"
  kind: "inproceedings"
  key: "Jones82:1"
- title: "A Safe Approach to Parallel Combinator Reduction"
  author:
  - name: "Chris Hankin"
    link: "https://researchr.org/alias/chris-hankin"
  - name: "Geoffrey L. Burn"
    link: "https://researchr.org/alias/geoffrey-l.-burn"
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  year: "1988"
  tags:
  - "systematic-approach"
  researchr: "https://researchr.org/publication/HankinBJ88"
  cites: 0
  citedby: 0
  journal: "Theoretical Computer Science"
  volume: "56"
  pages: "17-36"
  kind: "article"
  key: "HankinBJ88"
- title: "Lightweight concurrency primitives for GHC"
  author:
  - name: "Peng Li"
    link: "https://researchr.org/alias/peng-li"
  - name: "Simon Marlow"
    link: "https://researchr.org/alias/simon-marlow"
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  - name: "Andrew P. Tolmach"
    link: "http://www.cs.pdx.edu/~apt"
  year: "2007"
  doi: "http://doi.acm.org/10.1145/1291201.1291217"
  links:
    doi: "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:
  - name: "Gabriele Keller"
    link: "https://researchr.org/alias/gabriele-keller"
  publisher: "ACM"
  isbn: "978-1-59593-674-5"
  kind: "inproceedings"
  key: "LiMJT07"
- title: "Avoiding Unnecessary Updates"
  author:
  - name: "John Launchbury"
    link: "https://researchr.org/alias/john-launchbury"
  - name: "Andy Gill"
    link: "http://www.ittc.ku.edu/~andygill/"
  - name: "John Hughes"
    link: "http://www.cse.chalmers.se/~rjmh"
  - name: "Simon Marlow"
    link: "https://researchr.org/alias/simon-marlow"
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  - name: "Philip Wadler"
    link: "http://homepages.inf.ed.ac.uk/wadler/"
  year: "1992"
  researchr: "https://researchr.org/publication/LaunchburyGHMJW92"
  cites: 0
  citedby: 0
  pages: "144-153"
  booktitle: "Functional Programming, Glasgow 1992, Proceedings of the 1992 Glasgow Workshop on Functional Programming, Ayr, Scotland, 6-8 July 1992"
  editor:
  - name: "John Launchbury"
    link: "https://researchr.org/alias/john-launchbury"
  - name: "Patrick M. Sansom"
    link: "https://researchr.org/alias/patrick-m.-sansom"
  series: "Workshops in Computing"
  publisher: "Springer"
  isbn: "3-540-19820-2"
  kind: "inproceedings"
  key: "LaunchburyGHMJW92"
- title: "Extending the Haskell foreign function interface with concurrency"
  author:
  - name: "Simon Marlow"
    link: "https://researchr.org/alias/simon-marlow"
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  - name: "Wolfgang Thaller"
    link: "https://researchr.org/alias/wolfgang-thaller"
  year: "2004"
  doi: "http://doi.acm.org/10.1145/1017472.1017479"
  links:
    doi: "http://doi.acm.org/10.1145/1017472.1017479"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/haskell/MarlowJT04"
  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:
  - name: "Henrik Nilsson"
    link: "https://researchr.org/alias/henrik-nilsson"
  publisher: "ACM"
  kind: "inproceedings"
  key: "MarlowJT04"
- title: "Haskell 98 Libraries: Random Numbers"
  author:
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  year: "2003"
  doi: "http://dx.doi.org/10.1017/S0956796803002910"
  links:
    doi: "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"
  kind: "article"
  key: "Jones03z"
- title: "HsDebug: debugging lazy programs by not being lazy"
  author:
  - name: "Robert Ennals"
    link: "https://researchr.org/alias/robert-ennals"
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  year: "2003"
  doi: "http://doi.acm.org/10.1145/871895.871904"
  links:
    doi: "http://doi.acm.org/10.1145/871895.871904"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/haskell/EnnalsJ03"
  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"
  kind: "inproceedings"
  key: "EnnalsJ03-1"
- title: "Concurrent Haskell"
  author:
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  - name: "Andrew D. Gordon"
    link: "http://research.microsoft.com/en-us/um/people/adg/"
  - name: "Sigbjorn Finne"
    link: "https://researchr.org/alias/sigbjorn-finne"
  year: "1996"
  doi: "http://doi.acm.org/10.1145/237721.237794"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "JonesGF96"
- title: "Let should not be generalized"
  author:
  - name: "Dimitrios Vytiniotis"
    link: "https://researchr.org/alias/dimitrios-vytiniotis"
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  - name: "Tom Schrijvers"
    link: "http://users.ugent.be/~tschrijv"
  year: "2010"
  doi: "http://doi.acm.org/10.1145/1708016.1708023"
  links:
    doi: "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:
  - name: "Andrew Kennedy"
    link: "https://researchr.org/alias/andrew-kennedy"
  - name: "Nick Benton"
    link: "https://researchr.org/alias/nick-benton"
  publisher: "ACM"
  isbn: "978-1-60558-891-9"
  kind: "inproceedings"
  key: "VytiniotisJS10"
- title: "Asynchronous Exceptions in Haskell"
  author:
  - name: "Simon Marlow"
    link: "https://researchr.org/alias/simon-marlow"
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  - name: "Andrew Moran"
    link: "https://researchr.org/alias/andrew-moran"
  - name: "John H. Reppy"
    link: "http://www.cs.uchicago.edu/people/jhr"
  year: "2001"
  tags:
  - "exceptions"
  - "Haskell"
  researchr: "https://researchr.org/publication/MarlowJMR01"
  cites: 0
  citedby: 0
  pages: "274-285"
  booktitle: "PLDI"
  kind: "inproceedings"
  key: "MarlowJMR01"
- title: "Understanding functional dependencies via constraint handling rules"
  author:
  - name: "Martin Sulzmann"
    link: "https://researchr.org/alias/martin-sulzmann"
  - name: "Gregory J. Duck"
    link: "https://researchr.org/alias/gregory-j.-duck"
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  - name: "Peter J. Stuckey"
    link: "https://researchr.org/alias/peter-j.-stuckey"
  year: "2007"
  doi: "http://dx.doi.org/10.1017/S0956796806006137"
  links:
    doi: "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"
  kind: "article"
  key: "SulzmannDJS07"
- title: "Linear Haskell: practical linearity in a higher-order polymorphic language"
  author:
  - name: "Jean-Philippe Bernardy"
    link: "https://researchr.org/alias/jean-philippe-bernardy"
  - name: "Mathieu Boespflug"
    link: "https://researchr.org/alias/mathieu-boespflug"
  - name: "Ryan R. Newton"
    link: "https://researchr.org/alias/ryan-r.-newton"
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  - name: "Arnaud Spiwack"
    link: "https://researchr.org/alias/arnaud-spiwack"
  year: "2018"
  doi: "http://doi.acm.org/10.1145/3158093"
  links:
    doi: "http://doi.acm.org/10.1145/3158093"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/pacmpl/BernardyBNJS18"
  researchr: "https://researchr.org/publication/BernardyBNJS18"
  cites: 0
  citedby: 0
  journal: "Proceedings of the ACM on Programming Languages"
  volume: "2"
  number: "POPL"
  kind: "article"
  key: "BernardyBNJS18"
- title: "Evidence Normalization in System FC (Invited Talk)"
  author:
  - name: "Dimitrios Vytiniotis"
    link: "https://researchr.org/alias/dimitrios-vytiniotis"
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  year: "2013"
  doi: "http://dx.doi.org/10.4230/LIPIcs.RTA.2013.20"
  links:
    doi: "http://dx.doi.org/10.4230/LIPIcs.RTA.2013.20"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/rta/VytiniotisJ13"
  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:
  - name: "Femke van Raamsdonk"
    link: "https://researchr.org/alias/femke-van-raamsdonk"
  volume: "21"
  series: "LIPIcs"
  publisher: "Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik"
  isbn: "978-3-939897-53-8"
  kind: "inproceedings"
  key: "VytiniotisJ13"
- 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"
  links:
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/icfp/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:
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  - name: "Mads Tofte"
    link: "https://researchr.org/alias/mads-tofte"
  - name: "A. Michael Berman"
    link: "https://researchr.org/alias/a.-michael-berman"
  publisher: "ACM"
  isbn: "0-89791-918-1"
  kind: "proceedings"
  key: "icfp-1997"
- title: "International Symposium on Memory Management, ISMM '98, Vancouver, British Columbia, Canada, 17-19 October, 1998, Conference Proceedings"
  year: "1998"
  doi: "http://dl.acm.org/citation.cfm?id=286860"
  links:
    doi: "http://dl.acm.org/citation.cfm?id=286860"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/iwmm/1998"
  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:
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  - name: "Richard E. Jones"
    link: "https://researchr.org/alias/richard-e.-jones"
  publisher: "ACM"
  isbn: "1-58113-114-3"
  kind: "proceedings"
  key: "iwmm-1998"
- 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:
  - name: "J. Gregory Morrisett"
    link: "https://researchr.org/alias/j.-gregory-morrisett"
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  publisher: "ACM"
  isbn: "1-59593-027-2"
  kind: "proceedings"
  key: "popl:2006"
- 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:
  - name: "Johan  Jeuring"
    link: "http://people.cs.uu.nl/johanj/"
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  volume: "2638"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-40132-6"
  kind: "proceedings"
  key: "afp: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"
  links:
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/icfp/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:
  - name: "Mitchell Wand"
    link: "https://researchr.org/alias/mitchell-wand"
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  publisher: "ACM"
  isbn: "1-58113-487-8"
  kind: "proceedings"
  key: "icfp-2002"