An ADATM compatible specification language. - N. C. L. Beale; Simon L. Peyton Jones (ACM Annual Conference, 1981)

An Investigation of the Relative Efficiencies of Combinators and Lambda Expressions. - Simon L. Peyton Jones (Symposium on LISP and Functional Programming, 1982)

Strictness Analysis - A Practical Approach. - Chris D. Clack; Simon L. Peyton Jones (FPCA, 1985)

An Introduction to Fully-Lazy Supercombinators. - Simon L. Peyton Jones (Combinators and Functional Programming Languages, 1985)

Yacc in Sasl-an Exercise in Functional Programming. - Simon L. Peyton Jones (Softw. Pract. Exp., 1985)

Functional Programming Languages as a Software Engineering Tool. - Simon L. Peyton Jones (Embedded Systems, 1986)

A Safe Approach to Parallel Combinator Reduction (Extended Abstract). - Chris Hankin; Geoffrey Livingston Burn; Simon L. Peyton Jones (ESOP, 1986)

The Four-Stroke Reduction Engine. - Chris D. Clack; Simon L. Peyton Jones (LISP and Functional Programming, 1986)

Parsing Distfix Operators. - Simon L. Peyton Jones (Commun. ACM, 1986)

Using Futurebus in a fifth-generation computer. - Simon Peyton Jones (Microprocess. Microsystems, 1986)

The Implementation of Functional Programming Languages. - Simon L. Peyton Jones (Prentice-Hall, 1987)

GRIP - A high-performance architecture for parallel graph reduction. - Simon L. Peyton Jones; Chris D. Clack; Jon Salkild; Mark Hardie (FPCA, 1987)

The Spineless G-Machine. - Geoffrey Livingston Burn; Simon L. Peyton Jones; J. D. Robson (LISP and Functional Programming, 1988)

FLIC - a functional language intermediate code. - Simon L. Peyton Jones (ACM SIGPLAN Notices, 1988)

A Safe Approach to Parallel Combinator Reduction. - Chris Hankin; Geoffrey Livingston Burn; Simon L. Peyton Jones (Theor. Comput. Sci., 1988)

The Spineless Tagless G-Machine. - Simon L. Peyton Jones; Jon Salkild (FPCA, 1989)

High-Performance parallel graph reduction. - Simon L. Peyton Jones; Chris D. Clack; Jon Salkild (PARLE (1), 1989)

Parallel Implementations of Functional Programming Languages. - Simon L. Peyton Jones (Comput. J., 1989)

A Parallel Functional Database on GRIP. - Gert Akerholt; Kevin Hammond; Simon L. Peyton Jones; Philip W. Trinder (Functional Programming, 1991)

Unboxed Values as First Class Citizens in a Non-Strict Functional Language. - Simon L. Peyton Jones; John Launchbury (FPCA, 1991)

A Futurebus interface from off-the-shelf parts. - Simon L. Peyton Jones; Mark Hardie (IEEE Micro, 1991)

A Modular Fully-lazy Lambda Lifter in HASKELL. - Simon L. Peyton Jones; David R. Lester (Softw. Pract. Exp., 1991)

The Glasgow Haskell Compiler: A Retrospective. - Cordelia V. Hall; Kevin Hammond; Will Partain; Simon L. Peyton Jones; Philip Wadler (Functional Programming, 1992)

Avoiding Unnecessary Updates. - John Launchbury; Andy Gill; John Hughes 001; Simon Marlow; Simon L. Peyton Jones; Philip Wadler (Functional Programming, 1992)

Profiling Lazy Functional Programs. - Patrick M. Sansom; Simon L. Peyton Jones (Functional Programming, 1992)

On Program Transformation in the Glasgow Haskell Compiler. - André L. M. Santos; Simon L. Peyton Jones (Functional Programming, 1992)

Implementing Lazy Functional Languages on Stock Hardware: The Spineless Tagless G-Machine. - Simon L. Peyton Jones (J. Funct. Program., 1992)

SIGPLAN Notices Special Issue on the Functional Programming Language Haskell. - Joseph H. Fasel; Paul Hudak; Simon L. Peyton Jones; Philip Wadler (ACM SIGPLAN Notices, 1992)

Report on the Programming Language Haskell, A Non-strict, Purely Functional Language. - Paul Hudak; Simon L. Peyton Jones; Philip Wadler; Brian Boutel; Jon Fairbairn; Joseph H. Fasel; María M. Guzmán; Kevin Hammond; John Hughes 001; Thomas Johnsson; Richard B. Kieburtz; Rishiyur S. Nikhil; et al. (ACM SIGPLAN Notices, 1992)

Measuring the effectiveness of a simple strictness analyser. - Simon Peyton Jones; Will Partain (Functional Programming, 1993)

A Short Cut to Deforestation. - Andrew John Gill; John Launchbury; Simon L. Peyton Jones (FPCA, 1993)

Generational Garbage Collection for Haskell. - Patrick M. Sansom; Simon L. Peyton Jones (FPCA, 1993)

Processing Transactions on GRIP, a Parallel Graph Reducer. - Gert Akerholt; Kevin Hammond; Simon L. Peyton Jones; Philip W. Trinder (PARLE, 1993)

Imperative Functional Programming. - Simon L. Peyton Jones; Philip Wadler (POPL, 1993)

How to Give a Good Research Talk. - Simon L. Peyton Jones; John Hughes 001; John Launchbury (ACM SIGPLAN Notices, 1993)

Automatic Spark Strategies and Granularity for a Parallel Functional Language Reducer. - Kevin Hammond; James S. Mattson Jr.; Simon L. Peyton Jones (CONPAR, 1994)

Programming Reactive Systems in Haskell. - Sigbjørn Finne; Simon Peyton Jones (Functional Programming, 1994)

Unboxing using Specialisation. - Cordelia V. Hall; Simon L. Peyton Jones; Patrick M. Sansom (Functional Programming, 1994)

Compilation by Transformation in the Glasgow Haskell Compiler. - Simon Peyton Jones; André L. M. Santos (Functional Programming, 1994)

Lazy Funtional State Threads: An Abstract. - John Launchbury; Simon L. Peyton Jones (ICLP, 1994)

Cheap Deforestation in Practice: An Optimizer for Haskell. - Andrew John Gill; Simon L. Peyton Jones (IFIP Congress (1), 1994)

Lazy Functional State Threads. - John Launchbury; Simon L. Peyton Jones (PLDI, 1994)

On the Equivalence Between CMC and TIM. - Rafael Dueire Lins; Simon J. Thompson; Simon L. Peyton Jones (J. Funct. Program., 1994)

Picture: A Simple Structured Graphics Model. - Sigbjørn Finne; Simon L. Peyton Jones (Functional Programming, 1995)

Composing Haggis. - Sigbjørn Finne; Simon L. Peyton Jones (Eurographics Workshop on Programming Paradigms in Graphics, 1995)

Time and Space Profiling for Non-Strict Higher-Order Functional Languages. - Patrick M. Sansom; Simon L. Peyton Jones (POPL, 1995)

State in Haskell. - John Launchbury; Simon L. Peyton Jones (LISP Symb. Comput., 1995)

Composing the User Interface with Haggis. - Sigbjørn Finne; Simon L. Peyton Jones (Advanced Functional Programming, 1996)

Compiling Haskell by Program Transformation: A Report from the Trenches. - Simon L. Peyton Jones (ESOP, 1996)

Let-floating: Moving Bindings to Give Faster Programs. - Simon L. Peyton Jones; Will Partain; André L. M. Santos (ICFP, 1996)

GUM: A Portable Parallel Implementation of Haskell. - Philip W. Trinder; Kevin Hammond; James S. Mattson Jr.; Andrew S. Partridge; Simon L. Peyton Jones (PLDI, 1996)

Concurrent Haskell. - Simon L. Peyton Jones; Andrew D. Gordon 001; Sigbjørn Finne (POPL, 1996)

Type Classes in Haskell. - Cordelia V. Hall; Kevin Hammond; Simon L. Peyton Jones; Philip Wadler (ACM Trans. Program. Lang. Syst., 1996)

C-: A Portable Assembly Language. - Simon L. Peyton Jones; Thomas Nordin; Dino Oliva (Implementation of Functional Languages, 1997)

Parallelising a Large Functional Program or: Keeping LOLITA Busy. - Hans-Wolfgang Loidl; Richard G. Morgan; Philip W. Trinder; Sanjay Poria; Chris Cooper; Simon L. Peyton Jones; Roberto Garigliano (Implementation of Functional Languages, 1997)

Formally Based Profiling for Higher-Order Functional Languages. - Patrick M. Sansom; Simon L. Peyton Jones (ACM Trans. Program. Lang. Syst., 1997)

H/Direct: A Binary Foreign Language Interface for Haskell. - Sigbjørn Finne; Daan Leijen; Erik Meijer 001; Simon L. Peyton Jones (ICFP, 1998)

Scripting COM components in Haskell. - Simon Peyton Jones; Erik Meijer 001; Daan Leijen (ICSR, 1998)

Bridging the Gulf: A Common Intermediate Language for ML and Haskell. - Simon L. Peyton Jones; Mark Shields; John Launchbury; Andrew P. Tolmach (POPL, 1998)

Dynamic Typing as Staged Type Inference. - Mark Shields; Tim Sheard; Simon L. Peyton Jones (POPL, 1998)

Algorithms + Strategy = Parallelism. - Philip W. Trinder; Kevin Hammond; Hans-Wolfgang Loidl; Simon L. Peyton Jones (J. Funct. Program., 1998)

A Transformation-Based Optimiser for Haskell. - Simon L. Peyton Jones; André L. M. Santos (Sci. Comput. Program., 1998)

Aspect-Oriented Compilers. - Oege de Moor; Simon L. Peyton Jones; Eric Van Wyk (GCSE, 1999)

Calling Hell From Heaven and Heaven From Hell. - Sigbjørn Finne; Daan Leijen; Erik Meijer 001; Simon L. Peyton Jones (ICFP, 1999)

Stretching the Storage Manager: Weak Pointers and Stable Names in Haskell. - Simon L. Peyton Jones; Simon Marlow; Conal Elliott (IFL, 1999)

A Semantics for Imprecise Exceptions. - Simon L. Peyton Jones; Alastair Reid 001; Fergus Henderson; C. A. R. Hoare; Simon Marlow (PLDI, 1999)

Once Upon a Polymorphic Type. - Keith Wansbrough; Simon L. Peyton Jones (POPL, 1999)

C–: A Portable Assembly Language that Supports Garbage Collection. - Simon L. Peyton Jones; Norman Ramsey; Fermin Reig (PPDP, 1999)

Engineering parallel symbolic programs in GPH. - Hans-Wolfgang Loidl; Philip W. Trinder; Kevin Hammond; Sahalu B. Junaidu; Richard G. Morgan; Simon L. Peyton Jones (Concurr. Pract. Exp., 1999)

Imprecise Exceptions, Co-Inductively. - Andrew Moran; Søren B. Lassen; Simon L. Peyton Jones (HOOTS, 1999)

The Multi-architecture Performance of the Parallel Functional Language GP H (Research Note). - Philip W. Trinder; Hans-Wolfgang Loidl; Ed. Barry Jr.; Kei Davis; Kevin Hammond; Ulrike Klusik; Simon L. Peyton Jones; Álvaro J. Rebón Portillo (Euro-Par, 2000)

Non-stop Haskell. - Andrew M. Cheadle; A. J. Field; Simon Marlow; Simon L. Peyton Jones; Ronald Lyndon While (ICFP, 2000)

Composing contracts: an adventure in financial engineering, functional pearl. - Simon L. Peyton Jones; Jean-Marc Eber; Julian Seward (ICFP, 2000)

Porting the Clean Object I/O Library to Haskell. - Peter Achten; Simon L. Peyton Jones (IFL, 2000)

A single intermediate language that supports multiple implementations of exceptions. - Norman Ramsey; Simon L. Peyton Jones (PLDI, 2000)

Pattern Guards and Transformational Patterns. - Martin Erwig; Simon L. Peyton Jones (Haskell, 2000)

Derivable Type Classes. - Ralf Hinze; Simon L. Peyton Jones (Haskell, 2000)

Composing Contracts: An Adventure in Financial Engineering. - Simon L. Peyton Jones (FME, 2001)

Asynchronous Exceptions in Haskell. - Simon Marlow; Simon L. Peyton Jones; Andrew Moran; John H. Reppy (PLDI, 2001)

Object-Oriented Style Overloading for Haskell. - Mark Shields; Simon L. Peyton Jones (BABEL, 2001)

Secrets of the Glasgow Haskell Compiler inliner. - Simon L. Peyton Jones; Simon Marlow (J. Funct. Program., 2002)

Template meta-programming for Haskell. - Tim Sheard; Simon L. Peyton Jones (ACM SIGPLAN Notices, 2002)

Scrap Your Boilerplate. - Simon L. Peyton Jones; Ralf Lämmel (APLAS, 2003)

HsDebug: debugging lazy programs by not being lazy. - Robert Ennals; Simon L. Peyton Jones (Haskell, 2003)

Optimistic evaluation: an adaptive evaluation strategy for non-strict programs. - Robert Ennals; Simon L. Peyton Jones (ICFP, 2003)

A user-centred approach to functions in Excel. - Simon L. Peyton Jones; Alan F. Blackwell; Margaret M. Burnett (ICFP, 2003)

Scrap your boilerplate: a practical design pattern for generic programming. - Ralf Lämmel; Simon L. Peyton Jones (TLDI, 2003)

Haskell 98: Introduction. - Simon L. Peyton Jones (J. Funct. Program., 2003)

Haskell 98: Lexical Structure. - Simon L. Peyton Jones (J. Funct. Program., 2003)

Haskell 98: Expressions. - Simon L. Peyton Jones (J. Funct. Program., 2003)

Haskell 98: Declarations and Bindings. - Simon L. Peyton Jones (J. Funct. Program., 2003)

Haskell 98: Modules. - Simon L. Peyton Jones (J. Funct. Program., 2003)

Haskell 98: Predefined Types and Classes. - Simon L. Peyton Jones (J. Funct. Program., 2003)

Haskell 98: Basic Input/Output. - Simon L. Peyton Jones (J. Funct. Program., 2003)

Haskell 98: Standard Prelude. - Simon L. Peyton Jones (J. Funct. Program., 2003)

Haskell 98: Syntax Reference. - Simon L. Peyton Jones (J. Funct. Program., 2003)

Haskell 98: Specification of Derived Instances. - Simon L. Peyton Jones (J. Funct. Program., 2003)

Haskell 98: Compiler Pragmas. - Simon L. Peyton Jones (J. Funct. Program., 2003)

Haskell 98 Libraries: Rational Numbers. - Simon L. Peyton Jones (J. Funct. Program., 2003)

Haskell 98 Libraries: Complex Numbers. - Simon L. Peyton Jones (J. Funct. Program., 2003)

Haskell 98 Libraries: Numeric Functions. - Simon L. Peyton Jones (J. Funct. Program., 2003)

Haskell 98 Libraries: Indexing Operations. - Simon L. Peyton Jones (J. Funct. Program., 2003)

Haskell 98 Libraries: Arrays. - Simon L. Peyton Jones (J. Funct. Program., 2003)

Haskell 98 Libraries: List Utilities. - Simon L. Peyton Jones (J. Funct. Program., 2003)

Haskell 98 Libraries: Maybe Utilities. - Simon L. Peyton Jones (J. Funct. Program., 2003)

Haskell 98 Libraries: Character Utilities. - Simon L. Peyton Jones (J. Funct. Program., 2003)

Haskell 98 Libraries: Monad Utilities. - Simon L. Peyton Jones (J. Funct. Program., 2003)

Haskell 98 Libraries: Input/Output. - Simon L. Peyton Jones (J. Funct. Program., 2003)

Haskell 98 Libraries: Directory Functions. - Simon L. Peyton Jones (J. Funct. Program., 2003)

Haskell 98 Libraries: System Functions. - Simon L. Peyton Jones (J. Funct. Program., 2003)

Haskell 98 Libraries: Dates and Times. - Simon L. Peyton Jones (J. Funct. Program., 2003)

Haskell 98 Libraries: Locales. - Simon L. Peyton Jones (J. Funct. Program., 2003)

Haskell 98 Libraries: CPU Time. - Simon L. Peyton Jones (J. Funct. Program., 2003)

Haskell 98 Libraries: Random Numbers. - Simon L. Peyton Jones (J. Funct. Program., 2003)

Haskell 98 Libraries: Bibliography. - Simon L. Peyton Jones (J. Funct. Program., 2003)

The Educational Pearls column. - Simon L. Peyton Jones; Philip Wadler (J. Funct. Program., 2003)

Sound and Decidable Type Inference for Functional Dependencies. - Gregory J. Duck; Simon L. Peyton Jones; Peter J. Stuckey; Martin Sulzmann (ESOP, 2004)

Extending the Haskell foreign function interface with concurrency. - Simon Marlow; Simon L. Peyton Jones; Wolfgang Thaller (Haskell, 2004)

Scrap more boilerplate: reflection, zips, and generalised casts. - Ralf Lämmel; Simon L. Peyton Jones (ICFP, 2004)

The C - compiler infrastructure. - Norman Ramsey; Simon L. Peyton Jones (ICFP, 2004)

Exploring the barrier to entry: incremental generational garbage collection for Haskell. - Andrew M. Cheadle; A. J. Field; Simon Marlow; Simon L. Peyton Jones; Ronald Lyndon While (ISMM, 2004)

Champagne Prototyping: A Research Technique for Early Evaluation of Complex End-User Programming Systems. - Alan F. Blackwell; Margaret M. Burnett; Simon L. Peyton Jones (VL/HCC, 2004)

Constructed product result analysis for Haskell. - Clement A. Baker-Finch; Kevin Glynn; Simon L. Peyton Jones (J. Funct. Program., 2004)

Haskell on a shared-memory multiprocessor. - Tim Harris 001; Simon Marlow; Simon L. Peyton Jones (Haskell, 2005)

Associated type synonyms. - Manuel M. T. Chakravarty; Gabriele Keller; Simon L. Peyton Jones (ICFP, 2005)

Scrap your boilerplate with class: extensible generic functions. - Ralf Lämmel; Simon L. Peyton Jones (ICFP, 2005)

Associated types with class. - Manuel M. T. Chakravarty; Gabriele Keller; Simon L. Peyton Jones; Simon Marlow (POPL, 2005)

Haskell Is Not Not ML. - Ben Rudiak-Gould; Alan Mycroft; Simon L. Peyton Jones (ESOP, 2006)

Lock Free Data Structures Using STM in Haskell. - Anthony Discolo; Tim Harris 001; Simon Marlow; Simon L. Peyton Jones; Satnam Singh (FLOPS, 2006)

Roadmap for enhanced languages and methods to aid verification. - Gary T. Leavens; Jean-Raymond Abrial; Don S. Batory; Michael J. Butler; Alessandro Coglio; Kathi Fisler; Eric C. R. Hehner; Cliff B. Jones; Dale Miller 001; Simon L. Peyton Jones; Murali Sitaraman; Douglas R. Smith; et al. (GPCE, 2006)

Simple unification-based type inference for GADTs. - Simon L. Peyton Jones; Dimitrios Vytiniotis; Stephanie Weirich; Geoffrey Washburn (ICFP, 2006)

Boxy types: inference for higher-rank types and impredicativity. - Dimitrios Vytiniotis; Stephanie Weirich; Simon L. Peyton Jones (ICFP, 2006)

Making a fast curry: push/enter vs. eval/apply for higher-order languages. - Simon Marlow; Simon L. Peyton Jones (J. Funct. Program., 2006)

Comprehensive comprehensions. - Simon L. Peyton Jones; Philip Wadler (Haskell, 2007)

Lightweight concurrency primitives for GHC. - Peng Li; Simon Marlow; Simon L. Peyton Jones; Andrew P. Tolmach (Haskell, 2007)

A history of Haskell: being lazy with class. - Paul Hudak; John Hughes 001; Simon L. Peyton Jones; Philip Wadler (HOPL, 2007)

Call-pattern specialisation for haskell programs. - Simon L. Peyton Jones (ICFP, 2007)

Faster laziness using dynamic pointer tagging. - Simon Marlow; Alexey Rodriguez Yakushev; Simon L. Peyton Jones (ICFP, 2007)

Data parallel Haskell: a status report. - Manuel M. T. Chakravarty; Roman Leshchinskiy; Simon L. Peyton Jones; Gabriele Keller; Simon Marlow (DAMP, 2007)

System F with type equality coercions. - Martin Sulzmann; Manuel M. T. Chakravarty; Simon L. Peyton Jones; Kevin Donnelly (TLDI, 2007)

A monadic framework for delimited continuations. - R. Kent Dybvig; Simon L. Peyton Jones; Amr Sabry (J. Funct. Program., 2007)

Practical type inference for arbitrary-rank types. - Simon L. Peyton Jones; Dimitrios Vytiniotis; Stephanie Weirich; Mark Shields (J. Funct. Program., 2007)

Understanding functional dependencies via constraint handling rules. - Martin Sulzmann; Gregory J. Duck; Simon L. Peyton Jones; Peter J. Stuckey (J. Funct. Program., 2007)

A Tutorial on Parallel and Concurrent Programming in Haskell. - Simon L. Peyton Jones; Satnam Singh (Advanced Functional Programming, 2008)

Harnessing the Multicores: Nested Data Parallelism in Haskell. - Simon L. Peyton Jones (APLAS, 2008)

Harnessing the Multicores: Nested Data Parallelism in Haskell. - Simon L. Peyton Jones; Roman Leshchinskiy; Gabriele Keller; Manuel M. T. Chakravarty (FSTTCS, 2008)

Type checking with open type functions. - Tom Schrijvers; Simon L. Peyton Jones; Manuel M. T. Chakravarty; Martin Sulzmann (ICFP, 2008)

FPH: first-class polymorphism for Haskell. - Dimitrios Vytiniotis; Stephanie Weirich; Simon L. Peyton Jones (ICFP, 2008)

Parallel generational-copying garbage collection with a block-structured heap. - Simon Marlow; Tim Harris 001; Roshan P. James; Simon L. Peyton Jones (ISMM, 2008)

Scrap Your Type Applications. - Barry Jay; Simon L. Peyton Jones (MPC, 2008)

Composable memory transactions. - Tim Harris 001; Simon Marlow; Simon L. Peyton Jones; Maurice Herlihy (Commun. ACM, 2008)

Classes, Jim, But Not as We Know Them - Type Classes in Haskell: What, Why, and Whither. - Simon L. Peyton Jones (ECOOP, 2009)

Finding the needle: stack traces for GHC. - Tristan Oliver Richard Allwood; Simon L. Peyton Jones; Susan Eisenbach (Haskell, 2009)

Types are calling conventions. - Maximilian C. Bolingbroke; Simon L. Peyton Jones (Haskell, 2009)

Runtime support for multicore Haskell. - Simon Marlow; Simon L. Peyton Jones; Satnam Singh (ICFP, 2009)

Complete and decidable type inference for GADTs. - Tom Schrijvers; Simon L. Peyton Jones; Martin Sulzmann; Dimitrios Vytiniotis (ICFP, 2009)

Static contract checking for Haskell. - Dana N. Xu; Simon L. Peyton Jones; Koen Claessen (POPL, 2009)

Fun with Type Functions. - Oleg Kiselyov; Simon Peyton Jones; Chung-chieh Shan (Reflections on the Work of C. A. R. Hoare, 2010)

Supercompilation by evaluation. - Maximilian C. Bolingbroke; Simon L. Peyton Jones (Haskell, 2010)

Hoopl: a modular, reusable library for dataflow analysis and transformation. - Norman Ramsey; João Dias 005; Simon L. Peyton Jones (Haskell, 2010)

Regular, shape-polymorphic, parallel arrays in Haskell. - Gabriele Keller; Manuel M. T. Chakravarty; Roman Leshchinskiy; Simon L. Peyton Jones; Ben Lippmeier (ICFP, 2010)

Let should not be generalized. - Dimitrios Vytiniotis; Simon L. Peyton Jones; Tom Schrijvers (TLDI, 2010)

Termination combinators forever. - Maximilian C. Bolingbroke; Simon L. Peyton Jones; Dimitrios Vytiniotis (Haskell, 2011)

Towards Haskell in the cloud. - Jeff Epstein; Andrew P. Black; Simon L. Peyton Jones (Haskell, 2011)

A monad for deterministic parallelism. - Simon Marlow; Ryan Newton; Simon L. Peyton Jones (Haskell, 2011)

Multicore garbage collection with local heaps. - Simon Marlow; Simon L. Peyton Jones (ISMM, 2011)

Generative type abstraction and type-level computation. - Stephanie Weirich; Dimitrios Vytiniotis; Simon L. Peyton Jones; Steve Zdancewic (POPL, 2011)

OutsideIn(X) Modular type inference with local assumptions. - Dimitrios Vytiniotis; Simon L. Peyton Jones; Tom Schrijvers; Martin Sulzmann (J. Funct. Program., 2011)

Lazy v. Yield: Incremental, Linear Pretty-Printing. - Oleg Kiselyov; Simon L. Peyton Jones; Amr Sabry (APLAS, 2012)

Vectorisation avoidance. - Gabriele Keller; Manuel M. T. Chakravarty; Roman Leshchinskiy; Ben Lippmeier; Simon L. Peyton Jones (Haskell, 2012)

Guiding parallel array fusion with indexed types. - Ben Lippmeier; Manuel M. T. Chakravarty; Gabriele Keller; Simon L. Peyton Jones (Haskell, 2012)

Work efficient higher-order vectorisation. - Ben Lippmeier; Manuel M. T. Chakravarty; Gabriele Keller; Roman Leshchinskiy; Simon L. Peyton Jones (ICFP, 2012)

Equality proofs and deferred type errors: a compiler pearl. - Dimitrios Vytiniotis; Simon L. Peyton Jones; José Pedro Magalhães (ICFP, 2012)

Giving Haskell a promotion. - Brent A. Yorgey; Stephanie Weirich; Julien Cretin; Simon L. Peyton Jones; Dimitrios Vytiniotis; José Pedro Magalhães (TLDI, 2012)

Safe Haskell. - David Terei; Simon Marlow; Simon L. Peyton Jones; David Mazières (Adv. Math. Commun., 2012)

Computer science as a school subject. - Simon L. Peyton Jones (ICFP, 2013)

Exploiting vector instructions with generalized stream fusio. - Geoffrey Mainland; Roman Leshchinskiy; Simon L. Peyton Jones (ICFP, 2013)

The computing at school working group. - Simon L. Peyton Jones (ITiCSE, 2013)

HALO: haskell to logic through denotational semantics. - Dimitrios Vytiniotis; Simon L. Peyton Jones; Koen Claessen; Dan Rosén (POPL, 2013)

Evidence Normalization in System FC (Invited Talk). - Dimitrios Vytiniotis; Simon L. Peyton Jones (RTA, 2013)

Bringing computer science back into schools: lessons from the UK. - Neil Christopher Charles Brown; Michael Kölling; Tom Crick; Simon L. Peyton Jones; Simon Humphreys; Sue Sentance (SIGCSE, 2013)

Type-Directed Compilation in the Wild: Haskell and Core. - Simon L. Peyton Jones (TLCA, 2013)

Refinement types for Haskell. - Niki Vazou; Eric L. Seidel; Ranjit Jhala; Dimitrios Vytiniotis; Simon L. Peyton Jones (ICFP, 2014)

Closed type families with overlapping equations. - Richard A. Eisenberg; Dimitrios Vytiniotis; Simon L. Peyton Jones; Stephanie Weirich (POPL, 2014)

Backpack: retrofitting Haskell with interfaces. - Scott Kilpatrick; Derek Dreyer; Simon L. Peyton Jones; Simon Marlow (POPL, 2014)

Modular, higher-order cardinality analysis in theory and practice. - Ilya Sergey; Dimitrios Vytiniotis; Simon L. Peyton Jones (POPL, 2014)

Injective type families for Haskell. - Jan Stolarek; Simon L. Peyton Jones; Richard A. Eisenberg (Haskell, 2015)

GADTs meet their match: pattern-matching warnings that account for GADTs, guards, and laziness. - Georgios Karachalias; Tom Schrijvers; Dimitrios Vytiniotis; Simon L. Peyton Jones (ICFP, 2015)

Diagnosing type errors with class. - Danfeng Zhang; Andrew C. Myers; Dimitrios Vytiniotis; Simon L. Peyton Jones (PLDI, 2015)

The dream of a lifetime: an opportunity to shape how our children learn computing. - Simon Peyton Jones (PPIG, 2015)

ICFP 2004: Scrap More Boilerplate: Reflection, Zips, and Generalised Casts. - Ralf Lämmel; Simon L. Peyton Jones (ACM SIGPLAN Notices, 2015)

A Reflection on Types. - Simon Peyton Jones; Stephanie Weirich; Richard A. Eisenberg; Dimitrios Vytiniotis (A List of Successes That Can Change the World, 2016)

Desugaring Haskell's do-notation into applicative operations. - Simon Marlow; Simon Peyton Jones; Edward Kmett; Andrey Mokhov (Haskell, 2016)

Non-recursive make considered harmful: build systems at scale. - Andrey Mokhov; Neil Mitchell; Simon Peyton Jones; Simon Marlow (Haskell, 2016)

Pattern synonyms. - Matthew Pickering; Gergo Érdi; Simon Peyton Jones; Richard A. Eisenberg (Haskell, 2016)

Sequent calculus as a compiler intermediate language. - Paul Downen; Luke Maurer; Zena M. Ariola; Simon Peyton Jones (ICFP, 2016)

Safe zero-cost coercions for Haskell. - Joachim Breitner; Richard A. Eisenberg; Simon Peyton Jones; Stephanie Weirich (J. Funct. Program., 2016)

Composable scheduler activations for Haskell. - K. C. Sivaramakrishnan; Tim Harris 001; Simon Marlow; Simon Peyton Jones (J. Funct. Program., 2016)

How to Write a Great Research Paper. - Simon Peyton Jones (ICCSW, 2017)

Destination-passing style for efficient memory management. - Amir Shaikhha; Andrew W. Fitzgibbon; Simon Peyton Jones; Dimitrios Vytiniotis (FHPC@ICFP, 2017)

Levity polymorphism. - Richard A. Eisenberg; Simon Peyton Jones (PLDI, 2017)

Compiling without continuations. - Luke Maurer; Paul Downen; Zena M. Ariola; Simon L. Peyton Jones (PLDI, 2017)

Exploiting vector instructions with generalized stream fusion. - Geoffrey Mainland; Roman Leshchinskiy; Simon Peyton Jones (Commun. ACM, 2017)

Modular, higher order cardinality analysis in theory and practice. - Ilya Sergey; Dimitrios Vytiniotis; Simon L. Peyton Jones; Joachim Breitner (J. Funct. Program., 2017)

Trees that Grow. - Shayan Najd; Simon Peyton Jones (J. Univers. Comput. Sci., 2017)

SHErrLoc: A Static Holistic Error Locator. - Danfeng Zhang; Andrew C. Myers; Dimitrios Vytiniotis; Simon L. Peyton Jones (ACM Trans. Program. Lang. Syst., 2017)

Type variables in patterns. - Richard A. Eisenberg; Joachim Breitner; Simon Peyton Jones (Haskell@ICFP, 2018)

Guarded impredicative polymorphism. - Alejandro Serrano 001; Jurriaan Hage; Dimitrios Vytiniotis; Simon Peyton Jones (PLDI, 2018)

Calculation View: multiple-representation editing in spreadsheets. - Advait Sarkar; Andrew D. Gordon 001; Simon Peyton Jones; Neil Toronto (VL/HCC, 2018)

Efficient Differentiable Programming in a Functional Array-Processing Language. - Amir Shaikhha; Andrew W. Fitzgibbon; Dimitrios Vytiniotis; Simon Peyton Jones; Christoph Koch 001 (CoRR, 2018)

Linear Haskell: practical linearity in a higher-order polymorphic language. - Jean-Philippe Bernardy; Mathieu Boespflug; Ryan R. Newton; Simon Peyton Jones; Arnaud Spiwack (Proc. ACM Program. Lang., 2018)

Build systems à la carte. - Andrey Mokhov; Neil Mitchell; Simon Peyton Jones (Proc. ACM Program. Lang., 2018)

Codata in Action. - Paul Downen; Zachary Sullivan; Zena M. Ariola; Simon Peyton Jones (ESOP, 2019)

Making a faster Curry with extensional types. - Paul Downen; Zachary Sullivan; Zena M. Ariola; Simon Peyton Jones (Haskell@ICFP, 2019)

Selective Lambda Lifting. - Sebastian Graf 004; Simon Peyton Jones (CoRR, 2019)

Higher-order type-level programming in Haskell. - Csongor Kiss; Tony Field; Susan Eisenbach; Simon Peyton Jones (Proc. ACM Program. Lang., 2019)

Efficient differentiable programming in a functional array-processing language. - Amir Shaikhha; Andrew W. Fitzgibbon; Dimitrios Vytiniotis; Simon Peyton Jones (Proc. ACM Program. Lang., 2019)

Results and Insights from Diagnostic Questions: The NeurIPS 2020 Education Challenge. - Zichao Wang 001; Angus Lamb; Evgeny Saveliev; Pashmina Cameron; Yordan Zaykov; José Miguel Hernández-Lobato; Richard E. Turner; Richard G. Baraniuk; Craig Barton; Simon Peyton Jones; Simon Woodhead 002; Cheng Zhang 005 (NeurIPS (Competition and Demos), 2020)

Large-Scale Educational Question Analysis with Partial Variational Auto-encoders. - Zichao Wang 001; Sebastian Tschiatschek; Simon Woodhead 002; José Miguel Hernández-Lobato; Simon Peyton Jones; Cheng Zhang 005 (CoRR, 2020)

Diagnostic Questions: The NeurIPS 2020 Education Challenge. - Zichao Wang 001; Angus Lamb; Evgeny Saveliev; Pashmina Cameron; Yordan Zaykov; José Miguel Hernández-Lobato; Richard E. Turner; Richard G. Baraniuk; Craig Barton; Simon Peyton Jones; Simon Woodhead 002; Cheng Zhang 005 (CoRR, 2020)

Elastic sheet-defined functions: Generalising spreadsheet functions to variable-size input arrays. - Matt McCutchen; Judith Borghouts; Andrew D. Gordon 001; Simon Peyton Jones; Advait Sarkar (J. Funct. Program., 2020)

Build systems à la carte: Theory and practice. - Andrey Mokhov; Neil Mitchell; Simon Peyton Jones (J. Funct. Program., 2020)

Kinds are calling conventions. - Paul Downen; Zena M. Ariola; Simon Peyton Jones; Richard A. Eisenberg (Proc. ACM Program. Lang., 2020)

Lower your guards: a compositional pattern-match coverage checker. - Sebastian Graf 004; Simon Peyton Jones; Ryan G. Scott (Proc. ACM Program. Lang., 2020)

A quick look at impredicativity. - Alejandro Serrano 001; Jurriaan Hage; Simon Peyton Jones; Dimitrios Vytiniotis (Proc. ACM Program. Lang., 2020)

Educational Question Mining At Scale: Prediction, Analysis and Personalization. - Zichao Wang 001; Sebastian Tschiatschek; Simon Woodhead 002; José Miguel Hernández-Lobato; Simon Peyton Jones; Richard G. Baraniuk; Cheng Zhang 005 (AAAI, 2021)

Hashing modulo alpha-equivalence. - Krzysztof Maziarz; Tom Ellis; Alan Lawrence; Andrew W. Fitzgibbon; Simon Peyton Jones (PLDI, 2021)

CoRGi: Content-Rich Graph Neural Networks with Attention. - Jooyeon Kim; Angus Lamb; Simon Woodhead 002; Simon Peyton Jones; Cheng Zheng; Miltiadis Allamanis (CoRR, 2021)

VICause: Simultaneous Missing Value Imputation and Causal Discovery with Groups. - Pablo Morales-Alvarez; Angus Lamb; Simon Woodhead 002; Simon Peyton Jones; Miltiadis Allamanis; Cheng Zhang 005 (CoRR, 2021)

CoRGi: Content-Rich Graph Neural Networks with Attention. - Jooyeon Kim; Angus Lamb; Simon Woodhead 002; Simon Peyton Jones; Cheng Zhang 005; Miltiadis Allamanis (KDD, 2022)

Simultaneous Missing Value Imputation and Structure Learning with Groups. - Pablo Morales-Alvarez; Wenbo Gong 001; Angus Lamb; Simon Woodhead 002; Simon Peyton Jones; Nick Pawlowski; Miltiadis Allamanis; Cheng Zhang 005 (NeurIPS, 2022)

Efficient and Sound Differentiable Programming in a Functional Array-Processing Language. - Amir Shaikhha; Mathieu Huot; Shabnam Ghasemirad; Andrew W. Fitzgibbon; Simon Peyton Jones; Dimitrios Vytiniotis (CoRR, 2022)

Provably correct, asymptotically efficient, higher-order reverse-mode automatic differentiation. - Faustyna Krawiec; Simon Peyton Jones; Neel Krishnaswami; Tom Ellis; Richard A. Eisenberg; Andrew W. Fitzgibbon (Proc. ACM Program. Lang., 2022)

Triemaps that match. - Simon Peyton Jones; Sebastian Graf 004 (CoRR, 2023)

The Verse Calculus: A Core Calculus for Deterministic Functional Logic Programming. - Lennart Augustsson; Joachim Breitner; Koen Claessen; Ranjit Jhala; Simon Peyton Jones; Olin Shivers; Guy L. Steele Jr.; Tim Sweeney (Proc. ACM Program. Lang., 2023)

Abstracting Denotational Interpreters. - Sebastian Graf 004; Simon Peyton Jones; Sven Keidel (CoRR, 2024)

Dual-Numbers Reverse AD for Functional Array Languages. - Tom Smeding; Mikolaj Konarski; Simon Peyton Jones; Andrew W. Fitzgibbon (CoRR, 2025)