Simon L. Peyton Jones

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

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

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

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

Gabriele Keller, Manuel M. T. Chakravarty, Roman Leshchinskiy, Ben Lippmeier, Simon L. Peyton Jones: Vectorisation avoidance. Haskell 2012: 37-48

David Terei, Simon Marlow, Simon L. Peyton Jones, David Mazières: Safe haskell. Haskell 2012: 137-148

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

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

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

David Terei, Simon Marlow, Simon L. Peyton Jones, David Mazières: Safe Haskell. TinyToCS 1 (2012)

Dimitrios Vytiniotis, Simon L. Peyton Jones, Tom Schrijvers, Martin Sulzmann: OutsideIn(X) Modular type inference with local assumptions. J. Funct. Program. 21(4-5): 333-412 (2011)

Maximilian C. Bolingbroke, Simon L. Peyton Jones, Dimitrios Vytiniotis: Termination combinators forever. Haskell 2011: 23-34

Simon Marlow, Ryan Newton, Simon L. Peyton Jones: A monad for deterministic parallelism. Haskell 2011: 71-82

Jeff Epstein, Andrew P. Black, Simon L. Peyton Jones: Towards Haskell in the cloud. Haskell 2011: 118-129

Simon Marlow, Simon L. Peyton Jones: Multicore garbage collection with local heaps. ISMM 2011: 21-32

Stephanie Weirich, Dimitrios Vytiniotis, Simon L. Peyton Jones, Steve Zdancewic: Generative type abstraction and type-level computation. POPL 2011: 227-240

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

Maximilian C. Bolingbroke, Simon L. Peyton Jones: Supercompilation by evaluation. Haskell 2010: 135-146

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

Dimitrios Vytiniotis, Simon L. Peyton Jones, Tom Schrijvers: Let should not be generalized. TLDI 2010: 39-50

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

Maximilian C. Bolingbroke, Simon L. Peyton Jones: Types are calling conventions. Haskell 2009: 1-12

Tristan O. R. Allwood, Simon L. Peyton Jones, Susan Eisenbach: Finding the needle: stack traces for GHC. Haskell 2009: 129-140

Simon Marlow, Simon L. Peyton Jones, Satnam Singh: Runtime support for multicore Haskell. ICFP 2009: 65-78

Tom Schrijvers, Simon L. Peyton Jones, Martin Sulzmann, Dimitrios Vytiniotis: Complete and decidable type inference for GADTs. ICFP 2009: 341-352

Dana N. Xu, Simon L. Peyton Jones, Koen Claessen: Static contract checking for Haskell. POPL 2009: 41-52

Tim Harris, Simon Marlow, Simon L. Peyton Jones, Maurice Herlihy: Composable memory transactions. Commun. ACM 51(8): 91-100 (2008)

Simon L. Peyton Jones, Satnam Singh: A Tutorial on Parallel and Concurrent Programming in Haskell. Advanced Functional Programming 2008: 267-305

Simon L. Peyton Jones: Harnessing the Multicores: Nested Data Parallelism in Haskell. APLAS 2008: 138

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

Tom Schrijvers, Simon L. Peyton Jones, Manuel M. T. Chakravarty, Martin Sulzmann: Type checking with open type functions. ICFP 2008: 51-62

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

Simon Marlow, Tim Harris, Roshan P. James, Simon L. Peyton Jones: Parallel generational-copying garbage collection with a block-structured heap. ISMM 2008: 11-20

Barry Jay, Simon L. Peyton Jones: Scrap Your Type Applications. MPC 2008: 2-27

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

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

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

Simon L. Peyton Jones, Philip Wadler: Comprehensive comprehensions. Haskell 2007: 61-72

Peng Li, Simon Marlow, Simon L. Peyton Jones, Andrew P. Tolmach: Lightweight concurrency primitives for GHC. Haskell 2007: 107-118

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

Simon Marlow, Alexey Rodriguez Yakushev, Simon L. Peyton Jones: Faster laziness using dynamic pointer tagging. ICFP 2007: 277-288

Simon L. Peyton Jones: Call-pattern specialisation for haskell programs. ICFP 2007: 327-337

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

Martin Sulzmann, Manuel M. T. Chakravarty, Simon L. Peyton Jones, Kevin Donnelly: System F with type equality coercions. TLDI 2007: 53-66

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

Ben Rudiak-Gould, Alan Mycroft, Simon L. Peyton Jones: Haskell Is Not Not ML. ESOP 2006: 38-53

Anthony Discolo, Tim Harris, Simon Marlow, Simon L. Peyton Jones, Satnam Singh: Lock Free Data Structures Using STM in Haskell. FLOPS 2006: 65-80

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, Simon L. Peyton Jones, Murali Sitaraman, Douglas R. Smith, Aaron Stump: Roadmap for enhanced languages and methods to aid verification. GPCE 2006: 221-236

Simon L. Peyton Jones, Dimitrios Vytiniotis, Stephanie Weirich, Geoffrey Washburn: Simple unification-based type inference for GADTs. ICFP 2006: 50-61

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

J. Gregory Morrisett, Simon L. Peyton Jones (Eds.): Proceedings of the 33rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2006, Charleston, South Carolina, USA, January 11-13, 2006. ACM 2006, isbn 1-59593-027-2

Tim Harris, Simon Marlow, Simon L. Peyton Jones: Haskell on a shared-memory multiprocessor. Haskell 2005: 49-61

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

Manuel M. T. Chakravarty, Gabriele Keller, Simon L. Peyton Jones: Associated type synonyms. ICFP 2005: 241-253

Manuel M. T. Chakravarty, Gabriele Keller, Simon L. Peyton Jones, Simon Marlow: Associated types with class. POPL 2005: 1-13

Tim Harris, Simon Marlow, Simon L. Peyton Jones, Maurice Herlihy: Composable memory transactions. PPOPP 2005: 48-60

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

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

Simon Marlow, Simon L. Peyton Jones, Wolfgang Thaller: Extending the Haskell foreign function interface with concurrency. Haskell 2004: 22-32

Norman Ramsey, Simon L. Peyton Jones: The C - compiler infrastructure. ICFP 2004: 1

Simon Marlow, Simon L. Peyton Jones: Making a fast curry: push/enter vs. eval/apply for higher-order languages. ICFP 2004: 4-15

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

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

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

Simon L. Peyton Jones: Haskell 98: Introduction. J. Funct. Program. 13(1): 0-6 (2003)

Simon L. Peyton Jones: Haskell 98: Lexical Structure. J. Funct. Program. 13(1): 7-16 (2003)

Simon L. Peyton Jones: Haskell 98: Expressions. J. Funct. Program. 13(1): 17-38 (2003)

Simon L. Peyton Jones: Haskell 98: Declarations and Bindings. J. Funct. Program. 13(1): 39-66 (2003)

Simon L. Peyton Jones: Haskell 98: Modules. J. Funct. Program. 13(1): 67-80 (2003)

Simon L. Peyton Jones: Haskell 98: Predefined Types and Classes. J. Funct. Program. 13(1): 81-96 (2003)

Simon L. Peyton Jones: Haskell 98: Basic Input/Output. J. Funct. Program. 13(1): 97-102 (2003)

Simon L. Peyton Jones: Haskell 98: Standard Prelude. J. Funct. Program. 13(1): 103-124 (2003)

Simon L. Peyton Jones: Haskell 98: Syntax Reference. J. Funct. Program. 13(1): 125-138 (2003)

Simon L. Peyton Jones: Haskell 98: Specification of Derived Instances. J. Funct. Program. 13(1): 139-144 (2003)

Simon L. Peyton Jones: Haskell 98: Compiler Pragmas. J. Funct. Program. 13(1): 145-146 (2003)

Simon L. Peyton Jones: Haskell 98 Libraries: Rational Numbers. J. Funct. Program. 13(1): 149-152 (2003)

Simon L. Peyton Jones: Haskell 98 Libraries: Complex Numbers. J. Funct. Program. 13(1): 153-156 (2003)

Simon L. Peyton Jones: Haskell 98 Libraries: Numeric Functions. J. Funct. Program. 13(1): 157-168 (2003)

Simon L. Peyton Jones: Haskell 98 Libraries: Indexing Operations. J. Funct. Program. 13(1): 169-172 (2003)

Simon L. Peyton Jones: Haskell 98 Libraries: Arrays. J. Funct. Program. 13(1): 173-178 (2003)

Simon L. Peyton Jones: Haskell 98 Libraries: List Utilities. J. Funct. Program. 13(1): 179-190 (2003)

Simon L. Peyton Jones: Haskell 98 Libraries: Maybe Utilities. J. Funct. Program. 13(1): 191-192 (2003)

Simon L. Peyton Jones: Haskell 98 Libraries: Character Utilities. J. Funct. Program. 13(1): 193-198 (2003)

Simon L. Peyton Jones: Haskell 98 Libraries: Monad Utilities. J. Funct. Program. 13(1): 199-204 (2003)

Simon L. Peyton Jones: Haskell 98 Libraries: Input/Output. J. Funct. Program. 13(1): 205-218 (2003)

Simon L. Peyton Jones: Haskell 98 Libraries: Directory Functions. J. Funct. Program. 13(1): 219-222 (2003)

Simon L. Peyton Jones: Haskell 98 Libraries: System Functions. J. Funct. Program. 13(1): 223-224 (2003)

Simon L. Peyton Jones: Haskell 98 Libraries: Dates and Times. J. Funct. Program. 13(1): 225-230 (2003)

Simon L. Peyton Jones: Haskell 98 Libraries: Locales. J. Funct. Program. 13(1): 231-232 (2003)

Simon L. Peyton Jones: Haskell 98 Libraries: CPU Time. J. Funct. Program. 13(1): 233-234 (2003)

Simon L. Peyton Jones: Haskell 98 Libraries: Random Numbers. J. Funct. Program. 13(1): 235-240 (2003)

Simon L. Peyton Jones: Haskell 98 Libraries: Bibliography. J. Funct. Program. 13(1): 241-255 (2003)

Simon L. Peyton Jones, Philip Wadler: The Educational Pearls column. J. Funct. Program. 13(5): 833-834 (2003)

Simon L. Peyton Jones, Alan F. Blackwell, Margaret M. Burnett: A user-centred approach to functions in Excel. SIGPLAN Notices 38(9): 165-176 (2003)

Robert Ennals, Simon L. Peyton Jones: Optimistic evaluation: an adaptive evaluation strategy for non-strict programs. SIGPLAN Notices 38(9): 287-298 (2003)

Simon L. Peyton Jones, Ralf Lämmel: Scrap Your Boilerplate. APLAS 2003: 357

Robert Ennals, Simon L. Peyton Jones: HsDebug: debugging lazy programs by not being lazy. Haskell 2003: 84-87

Simon L. Peyton Jones, Alan F. Blackwell, Margaret M. Burnett: A user-centred approach to functions in Excel. ICFP 2003: 165-176

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

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

Johan Jeuring, Simon L. Peyton Jones (Eds.): Advanced Functional Programming, 4th International School, AFP 2002, Oxford, UK, August 19-24, 2002, Revised Lectures. Lecture Notes in Computer Science 2638, Springer 2003, isbn 3-540-40132-6

Simon L. Peyton Jones, Simon Marlow: Secrets of the Glasgow Haskell Compiler inliner. J. Funct. Program. 12(4&5): 393-433 (2002)

Tim Sheard, Simon L. Peyton Jones: Template meta-programming for Haskell. SIGPLAN Notices 37(12): 60-75 (2002)

Mitchell Wand, Simon L. Peyton Jones (Eds.): Proceedings of the Seventh ACM SIGPLAN International Conference on Functional Programming (ICFP '02), Pittsburgh, Pennsylvania, USA, October 4-6, 2002. ACM 2002, isbn 1-58113-487-8

Mark Shields, Simon L. Peyton Jones: Object-Oriented Style Overloading for Haskell. Electr. Notes Theor. Comput. Sci. 59(1): 89-108 (2001)

Simon L. Peyton Jones: Composing Contracts: An Adventure in Financial Engineering. FME 2001: 435

Simon Marlow, Simon L. Peyton Jones, Andrew Moran, John H. Reppy: Asynchronous Exceptions in Haskell. PLDI 2001: 274-285

Martin Erwig, Simon L. Peyton Jones: Pattern Guards and Transformational Patterns. Electr. Notes Theor. Comput. Sci. 41(1): 3 (2000)

Ralf Hinze, Simon L. Peyton Jones: Derivable Type Classes. Electr. Notes Theor. Comput. Sci. 41(1): 5-35 (2000)

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

Andrew M. Cheadle, A. J. Field, Simon Marlow, Simon L. Peyton Jones, R. Lyndon While: Non-stop Haskell. ICFP 2000: 257-267

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

Peter Achten, Simon L. Peyton Jones: Porting the Clean Object I/O Library to Haskell. IFL 2000: 194-213

Norman Ramsey, Simon L. Peyton Jones: A single intermediate language that supports multiple implementations of exceptions. PLDI 2000: 285-298

Hans-Wolfgang Loidl, Philip W. Trinder, Kevin Hammond, Sahalu B. Junaidu, Richard G. Morgan, Simon L. Peyton Jones: Engineering parallel symbolic programs in GPH. Concurrency - Practice and Experience 11(12): 701-752 (1999)

Andrew Moran, Søren B. Lassen, Simon L. Peyton Jones: Imprecise Exceptions, Co-Inductively. Electr. Notes Theor. Comput. Sci. 26: 122-141 (1999)

Oege de Moor, Simon L. Peyton Jones, Eric Van Wyk: Aspect-Oriented Compilers. GCSE 1999: 121-133

Sigbjorn Finne, Daan Leijen, Erik Meijer, Simon L. Peyton Jones: Calling Hell From Heaven and Heaven From Hell. ICFP 1999: 114-125

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

Simon L. Peyton Jones, Alastair Reid, Fergus Henderson, C. A. R. Hoare, Simon Marlow: A Semantics for Imprecise Exceptions. PLDI 1999: 25-36

Keith Wansbrough, Simon L. Peyton Jones: Once Upon a Polymorphic Type. POPL 1999: 15-28

Simon L. Peyton Jones, Norman Ramsey, Fermin Reig: C--: A Portable Assembly Language that Supports Garbage Collection. PPDP 1999: 1-28

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

Simon L. Peyton Jones, André L. M. Santos: A Transformation-Based Optimiser for Haskell. Sci. Comput. Program. 32(1-3): 3-47 (1998)

Sigbjorn Finne, Daan Leijen, Erik Meijer, Simon L. Peyton Jones: H/Direct: A Binary Foreign Language Interface for Haskell. ICFP 1998: 153-162

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

Mark Shields, Tim Sheard, Simon L. Peyton Jones: Dynamic Typing as Staged Type Inference. POPL 1998: 289-302

Simon L. Peyton Jones, Richard E. Jones (Eds.): International Symposium on Memory Management, ISMM '98, Vancouver, British Columbia, Canada, 17-19 October, 1998, Conference Proceedings. ACM 1998, isbn 1-58113-114-3

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

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

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

Simon L. Peyton Jones, Mads Tofte, A. Michael Berman (Eds.): Proceedings of the 1997 ACM SIGPLAN International Conference on Functional Programming (ICFP '97), Amsterdam, The Netherlands, June 9-11, 1997. ACM 1997, isbn 0-89791-918-1

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

Sigbjorn Finne, Simon L. Peyton Jones: Composing the User Interface with Haggis. Advanced Functional Programming 1996: 1-37

Simon L. Peyton Jones: Compiling Haskell by Program Transformation: A Report from the Trenches. ESOP 1996: 18-44

Simon L. Peyton Jones, Will Partain, André Santos: Let-floating: Moving Bindings to Give Faster Programs. ICFP 1996: 1-12

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

Simon L. Peyton Jones, Andrew D. Gordon, Sigbjorn Finne: Concurrent Haskell. POPL 1996: 295-308

John Launchbury, Simon L. Peyton Jones: State in Haskell. Lisp and Symbolic Computation 8(4): 293-341 (1995)

Sigbjorn Finne, Simon L. Peyton Jones: Picture: A Simple Structured Graphics Model. Functional Programming 1995: 4

Sigbjorn Finne, Simon L. Peyton Jones: Composing Haggis. Eurographics Workshop on Programming Paradigms in Graphics 1995: 85-101

Patrick M. Sansom, Simon L. Peyton Jones: Time and Space Profiling for Non-Strict Higher-Order Functional Languages. POPL 1995: 355-366

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

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

Cordelia V. Hall, Kevin Hammond, Simon L. Peyton Jones, Philip Wadler: Type Classes in Haskell. ESOP 1994: 241-256

John Launchbury, Simon L. Peyton Jones: Lazy Funtional State Threads: An Abstract. ICLP 1994: 3-5

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

John Launchbury, Simon L. Peyton Jones: Lazy Functional State Threads. PLDI 1994: 24-35

Simon L. Peyton Jones, John Hughes, John Launchbury: How to Give a Good Research Talk. SIGPLAN Notices 28(11): 9-12 (1993)

Patrick M. Sansom, Simon L. Peyton Jones: Generational Garbage Collection for Haskell. FPCA 1993: 106-116

Andrew J. Gill, John Launchbury, Simon L. Peyton Jones: A Short Cut to Deforestation. FPCA 1993: 223-232

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

Simon L. Peyton Jones, Philip Wadler: Imperative Functional Programming. POPL 1993: 71-84

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

Joseph H. Fasel, Paul Hudak, Simon L. Peyton Jones, Philip Wadler: SIGPLAN Notices Special Issue on the Functional Programming Language Haskell. SIGPLAN Notices 27(5): 1 (1992)

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

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

John Launchbury, Andy Gill, John Hughes, Simon Marlow, Simon L. Peyton Jones, Philip Wadler: Avoiding Unnecessary Updates. Functional Programming 1992: 144-153

Patrick M. Sansom, Simon L. Peyton Jones: Profiling Lazy Functional Programs. Functional Programming 1992: 227-239

André Santos, Simon L. Peyton Jones: On Program Transformation in the Glasgow Haskell Compiler. Functional Programming 1992: 240-251

Simon L. Peyton Jones, David R. Lester: A Modular Fully-lazy Lambda Lifter in HASKELL. Softw., Pract. Exper. 21(5): 479-506 (1991)

Gert Akerholt, Kevin Hammond, Simon L. Peyton Jones, Philip W. Trinder: A Parallel Functional Database on GRIP. Functional Programming 1991: 1-24

Simon L. Peyton Jones, John Launchbury: Unboxed Values as First Class Citizens in a Non-Strict Functional Language. FPCA 1991: 636-666

Simon L. Peyton Jones: Parallel Implementations of Functional Programming Languages. Comput. J. 32(2): 175-186 (1989)

Simon L. Peyton Jones, Jon Salkild: The Spineless Tagless G-Machine. FPCA 1989: 184-201

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

Simon L. Peyton Jones: FLIC - a functional language intermediate code. SIGPLAN Notices 23(8): 30-48 (1988)

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

Geoffrey L. Burn, Simon L. Peyton Jones, J. D. Robson: The Spineless G-Machine. LISP and Functional Programming 1988: 244-258

Simon L. Peyton Jones: The Implementation of Functional Programming Languages. Prentice-Hall 1987

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

Simon L. Peyton Jones: Parsing Distfix Operators. Commun. ACM 29(2): 118-122 (1986)

Simon L. Peyton Jones: Functional Programming Languages as a Software Engineering Tool. Embedded Systems 1986: 153-173

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

Chris D. Clack, Simon L. Peyton Jones: The Four-Stroke Reduction Engine. LISP and Functional Programming 1986: 220-232

Simon L. Peyton Jones: Yacc in Sasl-an Exercise in Functional Programming. Softw., Pract. Exper. 15(8): 807-820 (1985)

Chris D. Clack, Simon L. Peyton Jones: Strictness Analysis - A Practical Approach. FPCA 1985: 35-49

Simon L. Peyton Jones: An Introduction to Fully-Lazy Supercombinators. Combinators and Functional Programming Languages 1985: 175-206

Simon L. Peyton Jones: An Investigation of the Relative Efficiencies of Combinators and Lambda Expressions. Symposium on LISP and Functional Programming 1982: 150-158