| 2009 |
|---|
| 147 | EE | Dana N. Xu,
Simon L. Peyton Jones,
Koen Claessen:
Static contract checking for Haskell.
POPL 2009: 41-52 |
| 2008 |
|---|
| 146 | EE | Simon L. Peyton Jones:
Harnessing the Multicores: Nested Data Parallelism in Haskell.
APLAS 2008: 138 |
| 145 | EE | Simon L. Peyton Jones,
Roman Leshchinskiy,
Gabriele Keller,
Manuel M. T. Chakravarty:
Harnessing the Multicores: Nested Data Parallelism in Haskell.
FSTTCS 2008 |
| 144 | EE | Dimitrios Vytiniotis,
Stephanie Weirich,
Simon L. Peyton Jones:
FPH: first-class polymorphism for Haskell.
ICFP 2008: 295-306 |
| 143 | EE | Tom Schrijvers,
Simon L. Peyton Jones,
Manuel M. T. Chakravarty,
Martin Sulzmann:
Type checking with open type functions.
ICFP 2008: 51-62 |
| 142 | EE | 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 |
| 141 | EE | Barry Jay,
Simon L. Peyton Jones:
Scrap Your Type Applications.
MPC 2008: 2-27 |
| 140 | EE | Tim Harris,
Simon Marlow,
Simon L. Peyton Jones,
Maurice Herlihy:
Composable memory transactions.
Commun. ACM 51(8): 91-100 (2008) |
| 2007 |
|---|
| 139 | EE | Manuel M. T. Chakravarty,
Roman Leshchinskiy,
Simon L. Peyton Jones,
Gabriele Keller,
Simon Marlow:
Data parallel Haskell: a status report.
DAMP 2007: 10-18 |
| 138 | EE | Paul Hudak,
John Hughes,
Simon L. Peyton Jones,
Philip Wadler:
A history of Haskell: being lazy with class.
HOPL 2007: 1-55 |
| 137 | EE | Peng Li,
Simon Marlow,
Simon L. Peyton Jones,
Andrew P. Tolmach:
Lightweight concurrency primitives for GHC.
Haskell 2007: 107-118 |
| 136 | EE | Simon L. Peyton Jones,
Philip Wadler:
Comprehensive comprehensions.
Haskell 2007: 61-72 |
| 135 | EE | Simon Marlow,
Alexey Rodriguez Yakushev,
Simon L. Peyton Jones:
Faster laziness using dynamic pointer tagging.
ICFP 2007: 277-288 |
| 134 | EE | Simon L. Peyton Jones:
Call-pattern specialisation for haskell programs.
ICFP 2007: 327-337 |
| 133 | EE | Martin Sulzmann,
Manuel M. T. Chakravarty,
Simon L. Peyton Jones,
Kevin Donnelly:
System F with type equality coercions.
TLDI 2007: 53-66 |
| 132 | EE | 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) |
| 131 | EE | 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) |
| 130 | EE | R. Kent Dybvig,
Simon L. Peyton Jones,
A. M. R. Sabry:
A monadic framework for delimited continuations.
J. Funct. Program. 17(6): 687-730 (2007) |
| 2006 |
|---|
| 129 | | J. Gregory Morrisett,
Simon L. Peyton Jones:
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 |
| 128 | EE | Ben Rudiak-Gould,
Alan Mycroft,
Simon L. Peyton Jones:
Haskell Is Not Not ML.
ESOP 2006: 38-53 |
| 127 | EE | Anthony Discolo,
Tim Harris,
Simon Marlow,
Simon L. Peyton Jones,
Satnam Singh:
Lock Free Data Structures Using STM in Haskell.
FLOPS 2006: 65-80 |
| 126 | EE | 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 |
| 125 | EE | Dimitrios Vytiniotis,
Stephanie Weirich,
Simon L. Peyton Jones:
Boxy types: inference for higher-rank types and impredicativity.
ICFP 2006: 251-262 |
| 124 | EE | Simon L. Peyton Jones,
Dimitrios Vytiniotis,
Stephanie Weirich,
Geoffrey Washburn:
Simple unification-based type inference for GADTs.
ICFP 2006: 50-61 |
| 123 | EE | 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) |
| 2005 |
|---|
| 122 | EE | Tim Harris,
Simon Marlow,
Simon L. Peyton Jones:
Haskell on a shared-memory multiprocessor.
Haskell 2005: 49-61 |
| 121 | EE | Ralf Lämmel,
Simon L. Peyton Jones:
Scrap your boilerplate with class: extensible generic functions.
ICFP 2005: 204-215 |
| 120 | EE | Manuel M. T. Chakravarty,
Gabriele Keller,
Simon L. Peyton Jones:
Associated type synonyms.
ICFP 2005: 241-253 |
| 119 | EE | Manuel M. T. Chakravarty,
Gabriele Keller,
Simon L. Peyton Jones,
Simon Marlow:
Associated types with class.
POPL 2005: 1-13 |
| 118 | EE | Tim Harris,
Simon Marlow,
Simon L. Peyton Jones,
Maurice Herlihy:
Composable memory transactions.
PPOPP 2005: 48-60 |
| 2004 |
|---|
| 117 | EE | Gregory J. Duck,
Simon L. Peyton Jones,
Peter J. Stuckey,
Martin Sulzmann:
Sound and Decidable Type Inference for Functional Dependencies.
ESOP 2004: 49-63 |
| 116 | EE | Norman Ramsey,
Simon L. Peyton Jones:
The C - compiler infrastructure.
ICFP 2004: 1 |
| 115 | EE | Ralf Lämmel,
Simon L. Peyton Jones:
Scrap more boilerplate: reflection, zips, and generalised casts.
ICFP 2004: 244-255 |
| 114 | EE | Simon Marlow,
Simon L. Peyton Jones:
Making a fast curry: push/enter vs. eval/apply for higher-order languages.
ICFP 2004: 4-15 |
| 113 | EE | 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 |
| 112 | EE | 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 |
| 111 | EE | Clement A. Baker-Finch,
Kevin Glynn,
Simon L. Peyton Jones:
Constructed product result analysis for Haskell.
J. Funct. Program. 14(2): 211-245 (2004) |
| 2003 |
|---|
| 110 | | Johan Jeuring,
Simon L. Peyton Jones:
Advanced Functional Programming, 4th International School, AFP 2002, Oxford, UK, August 19-24, 2002, Revised Lectures
Springer 2003 |
| 109 | EE | Simon L. Peyton Jones,
Ralf Lämmel:
Scrap Your Boilerplate.
APLAS 2003: 357 |
| 108 | EE | Simon L. Peyton Jones,
Alan F. Blackwell,
Margaret M. Burnett:
A user-centred approach to functions in Excel.
ICFP 2003: 165-176 |
| 107 | EE | Robert Ennals,
Simon L. Peyton Jones:
Optimistic evaluation: an adaptive evaluation strategy for non-strict programs.
ICFP 2003: 287-298 |
| 106 | EE | Ralf Lämmel,
Simon L. Peyton Jones:
Scrap your boilerplate: a practical design pattern for generic programming.
TLDI 2003: 26-37 |
| 105 | EE | Ralf Lämmel,
Simon L. Peyton Jones:
Scrap your boilerplate: a practical design pattern for generic programming.
TLDI 2003: 26-37 |
| 104 | EE | Simon L. Peyton Jones:
Haskell 98: Introduction.
J. Funct. Program. 13(1): 0-6 (2003) |
| 103 | EE | Simon L. Peyton Jones:
Haskell 98: Standard Prelude.
J. Funct. Program. 13(1): 103-124 (2003) |
| 102 | EE | Simon L. Peyton Jones:
Haskell 98: Syntax Reference.
J. Funct. Program. 13(1): 125-138 (2003) |
| 101 | EE | Simon L. Peyton Jones:
Haskell 98: Specification of Derived Instances.
J. Funct. Program. 13(1): 139-144 (2003) |
| 100 | EE | Simon L. Peyton Jones:
Haskell 98: Compiler Pragmas.
J. Funct. Program. 13(1): 145-146 (2003) |
| 99 | EE | Simon L. Peyton Jones:
Haskell 98 Libraries: Rational Numbers.
J. Funct. Program. 13(1): 149-152 (2003) |
| 98 | EE | Simon L. Peyton Jones:
Haskell 98 Libraries: Complex Numbers.
J. Funct. Program. 13(1): 153-156 (2003) |
| 97 | EE | Simon L. Peyton Jones:
Haskell 98 Libraries: Numeric Functions.
J. Funct. Program. 13(1): 157-168 (2003) |
| 96 | EE | Simon L. Peyton Jones:
Haskell 98 Libraries: Indexing Operations.
J. Funct. Program. 13(1): 169-172 (2003) |
| 95 | EE | Simon L. Peyton Jones:
Haskell 98: Expressions.
J. Funct. Program. 13(1): 17-38 (2003) |
| 94 | EE | Simon L. Peyton Jones:
Haskell 98 Libraries: Arrays.
J. Funct. Program. 13(1): 173-178 (2003) |
| 93 | EE | Simon L. Peyton Jones:
Haskell 98 Libraries: List Utilities.
J. Funct. Program. 13(1): 179-190 (2003) |
| 92 | EE | Simon L. Peyton Jones:
Haskell 98 Libraries: Maybe Utilities.
J. Funct. Program. 13(1): 191-192 (2003) |
| 91 | EE | Simon L. Peyton Jones:
Haskell 98 Libraries: Character Utilities.
J. Funct. Program. 13(1): 193-198 (2003) |
| 90 | EE | Simon L. Peyton Jones:
Haskell 98 Libraries: Monad Utilities.
J. Funct. Program. 13(1): 199-204 (2003) |
| 89 | EE | Simon L. Peyton Jones:
Haskell 98 Libraries: Input/Output.
J. Funct. Program. 13(1): 205-218 (2003) |
| 88 | EE | Simon L. Peyton Jones:
Haskell 98 Libraries: Directory Functions.
J. Funct. Program. 13(1): 219-222 (2003) |
| 87 | EE | Simon L. Peyton Jones:
Haskell 98 Libraries: System Functions.
J. Funct. Program. 13(1): 223-224 (2003) |
| 86 | EE | Simon L. Peyton Jones:
Haskell 98 Libraries: Dates and Times.
J. Funct. Program. 13(1): 225-230 (2003) |
| 85 | EE | Simon L. Peyton Jones:
Haskell 98 Libraries: Locales.
J. Funct. Program. 13(1): 231-232 (2003) |
| 84 | EE | Simon L. Peyton Jones:
Haskell 98 Libraries: CPU Time.
J. Funct. Program. 13(1): 233-234 (2003) |
| 83 | EE | Simon L. Peyton Jones:
Haskell 98 Libraries: Random Numbers.
J. Funct. Program. 13(1): 235-240 (2003) |
| 82 | EE | Simon L. Peyton Jones:
Haskell 98 Libraries: Bibliography.
J. Funct. Program. 13(1): 241-255 (2003) |
| 81 | EE | Simon L. Peyton Jones:
Haskell 98: Declarations and Bindings.
J. Funct. Program. 13(1): 39-66 (2003) |
| 80 | EE | Simon L. Peyton Jones:
Haskell 98: Modules.
J. Funct. Program. 13(1): 67-80 (2003) |
| 79 | EE | Simon L. Peyton Jones:
Haskell 98: Lexical Structure.
J. Funct. Program. 13(1): 7-16 (2003) |
| 78 | EE | Simon L. Peyton Jones:
Haskell 98: Predefined Types and Classes.
J. Funct. Program. 13(1): 81-96 (2003) |
| 77 | EE | Simon L. Peyton Jones:
Haskell 98: Basic Input/Output.
J. Funct. Program. 13(1): 97-102 (2003) |
| 76 | EE | Simon L. Peyton Jones,
Philip Wadler:
The Educational Pearls column.
J. Funct. Program. 13(5): 833-834 (2003) |
| 2002 |
|---|
| 75 | | Simon L. Peyton Jones,
Simon Marlow:
Secrets of the Glasgow Haskell Compiler inliner.
J. Funct. Program. 12(4&5): 393-433 (2002) |
| 74 | EE | Tim Sheard,
Simon L. Peyton Jones:
Template meta-programming for Haskell.
SIGPLAN Notices 37(12): 60-75 (2002) |
| 2001 |
|---|
| 73 | EE | Simon L. Peyton Jones:
Composing Contracts: An Adventure in Financial Engineering.
FME 2001: 435 |
| 72 | | Simon Marlow,
Simon L. Peyton Jones,
Andrew Moran,
John H. Reppy:
Asynchronous Exceptions in Haskell.
PLDI 2001: 274-285 |
| 71 | EE | Mark Shields,
Simon L. Peyton Jones:
Object-Oriented Style Overloading for Haskell.
Electr. Notes Theor. Comput. Sci. 59(1): (2001) |
| 2000 |
|---|
| 70 | EE | 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 |
| 69 | EE | Andrew M. Cheadle,
A. J. Field,
Simon Marlow,
Simon L. Peyton Jones,
R. Lyndon While:
Non-stop Haskell.
ICFP 2000: 257-267 |
| 68 | EE | Simon L. Peyton Jones,
Jean-Marc Eber,
Julian Seward:
Composing contracts: an adventure in financial engineering, functional pearl.
ICFP 2000: 280-292 |
| 67 | EE | Peter Achten,
Simon L. Peyton Jones:
Porting the Clean Object I/O Library to Haskell.
IFL 2000: 194-213 |
| 66 | EE | Norman Ramsey,
Simon L. Peyton Jones:
A single intermediate language that supports multiple implementations of exceptions.
PLDI 2000: 285-298 |
| 65 | EE | Ralf Hinze,
Simon L. Peyton Jones:
Derivable Type Classes.
Electr. Notes Theor. Comput. Sci. 41(1): (2000) |
| 64 | EE | Martin Erwig,
Simon L. Peyton Jones:
Pattern Guards and Transformational Patterns.
Electr. Notes Theor. Comput. Sci. 41(1): (2000) |
| 1999 |
|---|
| 63 | EE | Oege de Moor,
Simon L. Peyton Jones,
Eric Van Wyk:
Aspect-Oriented Compilers.
GCSE 1999: 121-133 |
| 62 | EE | Sigbjorn Finne,
Daan Leijen,
Erik Meijer,
Simon L. Peyton Jones:
Calling Hell From Heaven and Heaven From Hell.
ICFP 1999: 114-125 |
| 61 | | Simon L. Peyton Jones,
Simon Marlow,
Conal Elliott:
Stretching the Storage Manager: Weak Pointers and Stable Names in Haskell.
IFL 1999: 37-58 |
| 60 | EE | Simon L. Peyton Jones,
Alastair Reid,
Fergus Henderson,
C. A. R. Hoare,
Simon Marlow:
A Semantics for Imprecise Exceptions.
PLDI 1999: 25-36 |
| 59 | EE | Keith Wansbrough,
Simon L. Peyton Jones:
Once Upon a Polymorphic Type.
POPL 1999: 15-28 |
| 58 | | Simon L. Peyton Jones,
Norman Ramsey,
Fermin Reig:
C--: A Portable Assembly Language that Supports Garbage Collection.
PPDP 1999: 1-28 |
| 57 | | 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) |
| 56 | EE | Andrew Moran,
Søren B. Lassen,
Simon L. Peyton Jones:
Imprecise Exceptions, Co-Inductively.
Electr. Notes Theor. Comput. Sci. 26: (1999) |
| 1998 |
|---|
| 55 | EE | Sigbjorn Finne,
Daan Leijen,
Erik Meijer,
Simon L. Peyton Jones:
H/Direct: A Binary Foreign Language Interface for Haskell.
ICFP 1998: 153-162 |
| 54 | EE | Mark Shields,
Tim Sheard,
Simon L. Peyton Jones:
Dynamic Typing as Staged Type Inference.
POPL 1998: 289-302 |
| 53 | EE | 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 |
| 52 | | Philip W. Trinder,
Kevin Hammond,
Hans-Wolfgang Loidl,
Simon L. Peyton Jones:
Algorithms + Strategy = Parallelism.
J. Funct. Program. 8(1): 23-60 (1998) |
| 51 | | Simon L. Peyton Jones,
André L. M. Santos:
A Transformation-Based Optimiser for Haskell.
Sci. Comput. Program. 32(1-3): 3-47 (1998) |
| 1997 |
|---|
| 50 | EE | Simon L. Peyton Jones,
Thomas Nordin,
Dino Oliva:
C-: A Portable Assembly Language.
Implementation of Functional Languages 1997: 1-19 |
| 49 | EE | 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 |
| 48 | EE | 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) |
| 1996 |
|---|
| 47 | | Sigbjorn Finne,
Simon L. Peyton Jones:
Composing the User Interface with Haggis.
Advanced Functional Programming 1996: 1-37 |
| 46 | | Simon L. Peyton Jones:
Compiling Haskell by Program Transformation: A Report from the Trenches.
ESOP 1996: 18-44 |
| 45 | | Simon L. Peyton Jones,
Will Partain,
André Santos:
Let-floating: Moving Bindings to Give Faster Programs.
ICFP 1996: 1-12 |
| 44 | | 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 |
| 43 | EE | Simon L. Peyton Jones,
Andrew Gordon,
Sigbjorn Finne:
Concurrent Haskell.
POPL 1996: 295-308 |
| 42 | EE | 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) |
| 1995 |
|---|
| 41 | | Sigbjorn Finne,
Simon L. Peyton Jones:
Composing Haggis.
Eurographics Workshop on Programming Paradigms in Graphics 1995: 85-101 |
| 40 | | Sigbjorn Finne,
Simon L. Peyton Jones:
Picture: A Simple Structured Graphics Model.
Functional Programming 1995: 4 |
| 39 | | Patrick M. Sansom,
Simon L. Peyton Jones:
Time and Space Profiling for Non-Strict Higher-Order Functional Languages.
POPL 1995: 355-366 |
| 38 | | John Launchbury,
Simon L. Peyton Jones:
State in Haskell.
Lisp and Symbolic Computation 8(4): 293-341 (1995) |
| 1994 |
|---|
| 37 | | 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 |
| 36 | | Cordelia V. Hall,
Kevin Hammond,
Simon L. Peyton Jones,
Philip Wadler:
Type Classes in Haskell.
ESOP 1994: 241-256 |
| 35 | | John Launchbury,
Simon L. Peyton Jones:
Lazy Funtional State Threads: An Abstract.
ICLP 1994: 3-5 |
| 34 | | Andrew J. Gill,
Simon L. Peyton Jones:
Cheap Deforestation in Practice: An Optimizer for Haskell.
IFIP Congress (1) 1994: 581-586 |
| 33 | | John Launchbury,
Simon L. Peyton Jones:
Lazy Functional State Threads.
PLDI 1994: 24-35 |
| 32 | | 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) |
| 1993 |
|---|
| 31 | | Patrick M. Sansom,
Simon L. Peyton Jones:
Generational Garbage Collection for Haskell.
FPCA 1993: 106-116 |
| 30 | | Andrew J. Gill,
John Launchbury,
Simon L. Peyton Jones:
A Short Cut to Deforestation.
FPCA 1993: 223-232 |
| 29 | | Gert Akerholt,
Kevin Hammond,
Simon L. Peyton Jones,
Philip W. Trinder:
Processing Transactions on GRIP, a Parallel Graph Reducer.
PARLE 1993: 634-647 |
| 28 | | Simon L. Peyton Jones,
Philip Wadler:
Imperative Functional Programming.
POPL 1993: 71-84 |
| 27 | | Simon L. Peyton Jones,
John Hughes,
John Launchbury:
How to Give a Good Research Talk.
SIGPLAN Notices 28(11): 9-12 (1993) |
| 1992 |
|---|
| 26 | | John Launchbury,
Andy Gill,
John Hughes,
Simon Marlow,
Simon L. Peyton Jones,
Philip Wadler:
Avoiding Unnecessary Updates.
Functional Programming 1992: 144-153 |
| 25 | | Patrick M. Sansom,
Simon L. Peyton Jones:
Profiling Lazy Functional Programs.
Functional Programming 1992: 227-239 |
| 24 | | André Santos,
Simon L. Peyton Jones:
On Program Transformation in the Glasgow Haskell Compiler.
Functional Programming 1992: 240-251 |
| 23 | | Cordelia V. Hall,
Kevin Hammond,
Will Partain,
Simon L. Peyton Jones,
Philip Wadler:
The Glasgow Haskell Compiler: A Retrospective.
Functional Programming 1992: 62-71 |
| 22 | | Simon L. Peyton Jones:
Implementing Lazy Functional Languages on Stock Hardware: The Spineless Tagless G-Machine.
J. Funct. Program. 2(2): 127-202 (1992) |
| 21 | | 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) |
| 20 | | 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): R1-R164 (1992) |
| 1991 |
|---|
| 19 | | Simon L. Peyton Jones,
John Launchbury:
Unboxed Values as First Class Citizens in a Non-Strict Functional Language.
FPCA 1991: 636-666 |
| 18 | | Gert Akerholt,
Kevin Hammond,
Simon L. Peyton Jones,
Philip W. Trinder:
A Parallel Functional Database on GRIP.
Functional Programming 1991: 1-24 |
| 17 | | Simon L. Peyton Jones,
David Lester:
A Modular Fully-lazy Lambda Lifter in HASKELL.
Softw., Pract. Exper. 21(5): 479-506 (1991) |
| 1989 |
|---|
| 16 | EE | Simon L. Peyton Jones,
Jon Salkild:
The Spineless Tagless G-Machine.
FPCA 1989: 184-201 |
| 15 | | Simon L. Peyton Jones,
Chris D. Clack,
Jon Salkild:
High-Performance parallel graph reduction.
PARLE (1) 1989: 193-206 |
| 14 | | Simon L. Peyton Jones:
Parallel Implementations of Functional Programming Languages.
Comput. J. 32(2): 175-186 (1989) |
| 1988 |
|---|
| 13 | EE | Geoffrey L. Burn,
Simon L. Peyton Jones,
J. D. Robson:
The Spineless G-Machine.
LISP and Functional Programming 1988: 244-258 |
| 12 | EE | Simon L. Peyton Jones:
FLIC - a functional language intermediate code.
SIGPLAN Notices 23(8): 30-48 (1988) |
| 11 | | Chris Hankin,
Geoffrey L. Burn,
Simon L. Peyton Jones:
A Safe Approach to Parallel Combinator Reduction.
Theor. Comput. Sci. 56: 17-36 (1988) |
| 1987 |
|---|
| 10 | | Simon L. Peyton Jones:
The Implementation of Functional Programming Languages.
Prentice-Hall 1987 |
| 9 | | Simon L. Peyton Jones,
Chris D. Clack,
Jon Salkild,
Mark Hardie:
GRIP - A high-performance architecture for parallel graph reduction.
FPCA 1987: 98-112 |
| 1986 |
|---|
| 8 | | Chris Hankin,
Geoffrey L. Burn,
Simon L. Peyton Jones:
A Safe Approach to Parallel Combinator Reduction (Extended Abstract).
ESOP 1986: 99-110 |
| 7 | | Simon L. Peyton Jones:
Functional Programming Languages as a Software Engineering Tool.
Embedded Systems 1986: 153-173 |
| 6 | | Chris D. Clack,
Simon L. Peyton Jones:
The Four-Stroke Reduction Engine.
LISP and Functional Programming 1986: 220-232 |
| 5 | | Simon L. Peyton Jones:
Parsing Distfix Operators.
Commun. ACM 29(2): 118-122 (1986) |
| 1985 |
|---|
| 4 | | Simon L. Peyton Jones:
An Introduction to Fully-Lazy Supercombinators.
Combinators and Functional Programming Languages 1985: 175-206 |
| 3 | | Chris D. Clack,
Simon L. Peyton Jones:
Strictness Analysis - A Practical Approach.
FPCA 1985: 35-49 |
| 2 | | Simon L. Peyton Jones:
Yacc in Sasl-an Exercise in Functional Programming.
Softw., Pract. Exper. 15(8): 807-820 (1985) |
| 1982 |
|---|
| 1 | | Simon L. Peyton Jones:
An Investigation of the Relative Efficiencies of Combinators and Lambda Expressions.
Symposium on LISP and Functional Programming 1982: 150-158 |
