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: "ICFP"
  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: "iccsw"
  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: "JFP"
  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: "haskell"
  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: "aplas"
  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: "JFP"
  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: "ICFP"
  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: "JFP"
  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"
  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: "JFP"
  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: "ICFP"
  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: "ICFP"
  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: "haskell"
  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: "icsr"
  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: "POPL"
  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"
  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: "JFP"
  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: "oographics"
  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"
  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: "PLDI"
  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: "POPL"
  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: "POPL"
  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: "JFP"
  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: "JFP"
  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: "PACMPL"
  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: "fp"
  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: "POPL"
  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: "tldi"
  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: "ICFP"
  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: "haskell"
  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: "JFP"
  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: "ESOP"
  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: "JFP"
  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: "POPL"
  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"
  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: "ifip11-9"
  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: "iticse"
  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: "SCP"
  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"
  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: "ICFP"
  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: "aplas"
  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: "JFP"
  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: "PLDI"
  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: "iwmm"
  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: "ENTCS"
  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: "haskell"
  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: "JFP"
  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: "JFP"
  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: "ICFP"
  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: "litp"
  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: "fp"
  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: "ICFP"
  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: "lisp"
  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"
  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: "JFP"
  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"
  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: "JFP"
  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: "haskell"
  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: "fpca"
  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: "IFL"
  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: "IFL"
  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: "JFP"
  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: "haskell"
  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: "POPL"
  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: "JFP"
  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: "FM"
  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: "fpca"
  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: "JFP"
  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: "haskell"
  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: "JFP"
  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: "IFL"
  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: "ppdp"
  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: "JFP"
  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: "europar"
  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: "ICFP"
  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: "ICFP"
  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: "JFP"
  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: "iwmm"
  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: "ICFP"
  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: "ICFP"
  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"
  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: "ICFP"
  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: "JFP"
  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: "tldi"
  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"
  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: "haskell"
  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: "TCS"
  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: "JFP"
  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: "tlca"
  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: "afp"
  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: "JFP"
  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: "PPIG"
  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: "fp"
  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: "tldi"
  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: "haskell"
  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: "POPL"
  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"
  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: "BIRTHDAY"
  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"
  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"
  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: "JFP"
  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: "haskell"
  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: "JFP"
  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: "sigcse"
  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: "CACM"
  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: "CACM"
  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: "haskell"
  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: "ac"
  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: "ICFP"
  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: "ESOP"
  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: "jucs"
  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: "JFP"
  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: "JFP"
  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: "SPE"
  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: "HOPL"
  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: "POPL"
  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: "ICFP"
  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: "ICFP"
  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: "PLDI"
  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: "ICFP"
  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: "POPL"
  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: "JFP"
  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: "JFP"
  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: "haskell"
  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: "JFP"
  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: "IFL"
  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: "JFP"
  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: "ICFP"
  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: "ICFP"
  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: "TOPLAS"
  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"
  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: "conpar"
  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: "ICFP"
  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: "haskell"
  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: "JFP"
  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: "fsttcs"
  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: "ENTCS"
  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: "GPCE"
  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: "aplas"
  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: "afp"
  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: "haskell"
  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: "JFP"
  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: "iwmm"
  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: "ICFP"
  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: "ESOP"
  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: "ICFP"
  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: "fpca"
  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: "CACM"
  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: "JFP"
  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: "ICFP"
  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: "TOPLAS"
  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: "JFP"
  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: "haskell"
  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: "lfp"
  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: "acm"
  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: "JFP"
  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: "ICFP"
  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: "gcse"
  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: "mam"
  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: "POPL"
  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: "JFP"
  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: "haskell"
  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: "TOPLAS"
  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: "POPL"
  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: "lfp"
  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: "haskell"
  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: "FLOPS"
  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: "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: "JFP"
  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: "mpc"
  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: "vl"
  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: "JFP"
  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: "fp"
  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: "ESOP"
  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: "ENTCS"
  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: "PLDI"
  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: "ICFP"
  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: "SPE"
  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: "ppopp"
  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: "ICFP"
  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: "vl"
  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: "fp"
  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: "cj"
  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: "lfp"
  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: "TCS"
  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: "haskell"
  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: "fp"
  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: "haskell"
  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: "JFP"
  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: "haskell"
  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: "tldi"
  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: "JFP"
  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: "PACMPL"
  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: "RTA"
  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"
  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"
  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"