Simon L. Peyton Jones

198 papers A* 21A 45B 9C 23Misc 1Journal 60Unranked 37

Year	Rank	Type	Title / Venue / Authors
2017	A*	`conf`	Compiling without continuations. PLDI Luke Maurer, Paul Downen, Zena M. Ariola, Simon L. Peyton Jones
2017	J	`jnl`	Modular, higher order cardinality analysis in theory and practice. J. Funct. Program. Ilya Sergey, Dimitrios Vytiniotis, Simon L. Peyton Jones, Joachim Breitner
2017	J	`jnl`	SHErrLoc: A Static Holistic Error Locator. ACM Trans. Program. Lang. Syst. Danfeng Zhang, Andrew C. Myers, Dimitrios Vytiniotis, Simon L. Peyton Jones
2015	A*	`conf`	Diagnosing type errors with class. PLDI Danfeng Zhang, Andrew C. Myers, Dimitrios Vytiniotis, Simon L. Peyton Jones
2015	A	`conf`	GADTs meet their match: pattern-matching warnings that account for GADTs, guards, and laziness. ICFP Georgios Karachalias, Tom Schrijvers, Dimitrios Vytiniotis, Simon L. Peyton Jones
2015	J	`jnl`	ICFP 2004: Scrap More Boilerplate: Reflection, Zips, and Generalised Casts. ACM SIGPLAN Notices Ralf Lämmel, Simon L. Peyton Jones
2015	C	`conf`	Injective type families for Haskell. Haskell Jan Stolarek, Simon L. Peyton Jones, Richard A. Eisenberg
2014	A*	`conf`	Backpack: retrofitting Haskell with interfaces. POPL Scott Kilpatrick, Derek Dreyer, Simon L. Peyton Jones, Simon Marlow
2014	A*	`conf`	Closed type families with overlapping equations. POPL Richard A. Eisenberg, Dimitrios Vytiniotis, Simon L. Peyton Jones, Stephanie Weirich
2014	A*	`conf`	Modular, higher-order cardinality analysis in theory and practice. POPL Ilya Sergey, Dimitrios Vytiniotis, Simon L. Peyton Jones
2014	A	`conf`	Refinement types for Haskell. ICFP Niki Vazou, Eric L. Seidel, Ranjit Jhala, Dimitrios Vytiniotis, Simon L. Peyton Jones
2014	A	`conf`	Safe zero-cost coercions for Haskell. ICFP Joachim Breitner, Richard A. Eisenberg, Simon L. Peyton Jones, Stephanie Weirich
2013	A	`conf`	Bringing computer science back into schools: lessons from the UK. SIGCSE Neil Christopher Charles Brown, Michael Kölling, Tom Crick, Simon L. Peyton Jones, Simon Humphreys, Sue Sentance
2013	A	`conf`	Computer science as a school subject. ICFP Simon L. Peyton Jones
2013	—	`conf`	Evidence Normalization in System FC (Invited Talk). RTA Dimitrios Vytiniotis, Simon L. Peyton Jones
2013	A	`conf`	Exploiting vector instructions with generalized stream fusio. ICFP Geoffrey Mainland, Roman Leshchinskiy, Simon L. Peyton Jones
2013	A*	`conf`	HALO: haskell to logic through denotational semantics. POPL Dimitrios Vytiniotis, Simon L. Peyton Jones, Koen Claessen, Dan Rosén
2013	B	`conf`	The computing at school working group. ITiCSE Simon L. Peyton Jones
2013	—	`conf`	Type-Directed Compilation in the Wild: Haskell and Core. TLCA Simon L. Peyton Jones
2012	A	`conf`	Equality proofs and deferred type errors: a compiler pearl. ICFP Dimitrios Vytiniotis, Simon L. Peyton Jones, José Pedro Magalhães
2012	—	`conf`	Giving Haskell a promotion. TLDI Brent A. Yorgey, Stephanie Weirich, Julien Cretin, Simon L. Peyton Jones, Dimitrios Vytiniotis, José Pedro Magalhães
2012	C	`conf`	Guiding parallel array fusion with indexed types. Haskell Ben Lippmeier, Manuel M. T. Chakravarty, Gabriele Keller, Simon L. Peyton Jones
2012	B	`conf`	Lazy v. Yield: Incremental, Linear Pretty-Printing. APLAS Oleg Kiselyov, Simon L. Peyton Jones, Amr Sabry
2012	J	`jnl`	Safe Haskell. Tiny Trans. Comput. Sci. David Terei, Simon Marlow, Simon L. Peyton Jones, David Mazières
2012	C	`conf`	Safe haskell. Haskell David Terei, Simon Marlow, Simon L. Peyton Jones, David Mazières
2012	C	`conf`	Vectorisation avoidance. Haskell Gabriele Keller, Manuel M. T. Chakravarty, Roman Leshchinskiy, Ben Lippmeier, Simon L. Peyton Jones
2012	A	`conf`	Work efficient higher-order vectorisation. ICFP Ben Lippmeier, Manuel M. T. Chakravarty, Gabriele Keller, Roman Leshchinskiy, Simon L. Peyton Jones
2011	C	`conf`	A monad for deterministic parallelism. Haskell Simon Marlow, Ryan Newton, Simon L. Peyton Jones
2011	A*	`conf`	Generative type abstraction and type-level computation. POPL Stephanie Weirich, Dimitrios Vytiniotis, Simon L. Peyton Jones, Steve Zdancewic
2011	C	`conf`	Multicore garbage collection with local heaps. ISMM Simon Marlow, Simon L. Peyton Jones
2011	J	`jnl`	OutsideIn(X) Modular type inference with local assumptions. J. Funct. Program. Dimitrios Vytiniotis, Simon L. Peyton Jones, Tom Schrijvers, Martin Sulzmann
2011	C	`conf`	Termination combinators forever. Haskell Maximilian C. Bolingbroke, Simon L. Peyton Jones, Dimitrios Vytiniotis
2011	C	`conf`	Towards Haskell in the cloud. Haskell Jeff Epstein, Andrew P. Black, Simon L. Peyton Jones
2010	C	`conf`	Hoopl: a modular, reusable library for dataflow analysis and transformation. Haskell Norman Ramsey, João Dias, Simon L. Peyton Jones
2010	—	`conf`	Let should not be generalized. TLDI Dimitrios Vytiniotis, Simon L. Peyton Jones, Tom Schrijvers
2010	A	`conf`	Regular, shape-polymorphic, parallel arrays in Haskell. ICFP Gabriele Keller, Manuel M. T. Chakravarty, Roman Leshchinskiy, Simon L. Peyton Jones, Ben Lippmeier
2010	C	`conf`	Supercompilation by evaluation. Haskell Maximilian C. Bolingbroke, Simon L. Peyton Jones
2009	A	`conf`	Classes, Jim, But Not as We Know Them - Type Classes in Haskell: What, Why, and Whither. ECOOP Simon L. Peyton Jones
2009	A	`conf`	Complete and decidable type inference for GADTs. ICFP Tom Schrijvers, Simon L. Peyton Jones, Martin Sulzmann, Dimitrios Vytiniotis
2009	C	`conf`	Finding the needle: stack traces for GHC. Haskell Tristan Oliver Richard Allwood, Simon L. Peyton Jones, Susan Eisenbach
2009	A	`conf`	Runtime support for multicore Haskell. ICFP Simon Marlow, Simon L. Peyton Jones, Satnam Singh
2009	A*	`conf`	Static contract checking for Haskell. POPL Dana N. Xu, Simon L. Peyton Jones, Koen Claessen
2009	C	`conf`	Types are calling conventions. Haskell Maximilian C. Bolingbroke, Simon L. Peyton Jones
2008	—	`conf`	A Tutorial on Parallel and Concurrent Programming in Haskell. Advanced Functional Programming Simon L. Peyton Jones, Satnam Singh
2008	J	`jnl`	Composable memory transactions. Commun. ACM Tim Harris, Simon Marlow, Simon L. Peyton Jones, Maurice Herlihy
2008	A	`conf`	FPH: first-class polymorphism for Haskell. ICFP Dimitrios Vytiniotis, Stephanie Weirich, Simon L. Peyton Jones
2008	B	`conf`	Harnessing the Multicores: Nested Data Parallelism in Haskell. APLAS Simon L. Peyton Jones
2008	—	`conf`	Harnessing the Multicores: Nested Data Parallelism in Haskell. FSTTCS Simon L. Peyton Jones, Roman Leshchinskiy, Gabriele Keller, Manuel M. T. Chakravarty
2008	C	`conf`	Parallel generational-copying garbage collection with a block-structured heap. ISMM Simon Marlow, Tim Harris, Roshan P. James, Simon L. Peyton Jones
2008	B	`conf`	Scrap Your Type Applications. MPC Barry Jay, Simon L. Peyton Jones
2008	A	`conf`	Type checking with open type functions. ICFP Tom Schrijvers, Simon L. Peyton Jones, Manuel M. T. Chakravarty, Martin Sulzmann
2007	—	`conf`	A history of Haskell: being lazy with class. HOPL Paul Hudak, John Hughes, Simon L. Peyton Jones, Philip Wadler
2007	J	`jnl`	A monadic framework for delimited continuations. J. Funct. Program. R. Kent Dybvig, Simon L. Peyton Jones, Amr Sabry
2007	A	`conf`	Call-pattern specialisation for haskell programs. ICFP Simon L. Peyton Jones
2007	C	`conf`	Comprehensive comprehensions. Haskell Simon L. Peyton Jones, Philip Wadler
2007	—	`conf`	Data parallel Haskell: a status report. DAMP Manuel M. T. Chakravarty, Roman Leshchinskiy, Simon L. Peyton Jones, Gabriele Keller, Simon Marlow
2007	A	`conf`	Faster laziness using dynamic pointer tagging. ICFP Simon Marlow, Alexey Rodriguez Yakushev, Simon L. Peyton Jones
2007	C	`conf`	Lightweight concurrency primitives for GHC. Haskell Peng Li, Simon Marlow, Simon L. Peyton Jones, Andrew P. Tolmach
2007	J	`jnl`	Practical type inference for arbitrary-rank types. J. Funct. Program. Simon L. Peyton Jones, Dimitrios Vytiniotis, Stephanie Weirich, Mark Shields
2007	—	`conf`	System F with type equality coercions. TLDI Martin Sulzmann, Manuel M. T. Chakravarty, Simon L. Peyton Jones, Kevin Donnelly
2007	J	`jnl`	Understanding functional dependencies via constraint handling rules. J. Funct. Program. Martin Sulzmann, Gregory J. Duck, Simon L. Peyton Jones, Peter J. Stuckey
2006	A	`conf`	Boxy types: inference for higher-rank types and impredicativity. ICFP Dimitrios Vytiniotis, Stephanie Weirich, Simon L. Peyton Jones
2006	A	`conf`	Haskell Is Not Not ML. ESOP Ben Rudiak-Gould, Alan Mycroft, Simon L. Peyton Jones
2006	Misc	`conf`	Lock Free Data Structures Using STM in Haskell. FLOPS Anthony Discolo, Tim Harris, Simon Marlow, Simon L. Peyton Jones, Satnam Singh
2006	J	`jnl`	Making a fast curry: push/enter vs. eval/apply for higher-order languages. J. Funct. Program. Simon Marlow, Simon L. Peyton Jones
2006	A*	`ed.`	Proceedings of the 33rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2006, Charleston, South Carolina, USA, January 11-13, 2006 POPL J. Gregory Morrisett, Simon L. Peyton Jones
2006	B	`conf`	Roadmap for enhanced languages and methods to aid verification. GPCE 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
2006	A	`conf`	Simple unification-based type inference for GADTs. ICFP Simon L. Peyton Jones, Dimitrios Vytiniotis, Stephanie Weirich, Geoffrey Washburn
2005	A	`conf`	Associated type synonyms. ICFP Manuel M. T. Chakravarty, Gabriele Keller, Simon L. Peyton Jones
2005	A*	`conf`	Associated types with class. POPL Manuel M. T. Chakravarty, Gabriele Keller, Simon L. Peyton Jones, Simon Marlow
2005	B	`conf`	Composable memory transactions. PPoPP Tim Harris, Simon Marlow, Simon L. Peyton Jones, Maurice Herlihy
2005	C	`conf`	Haskell on a shared-memory multiprocessor. Haskell Tim Harris, Simon Marlow, Simon L. Peyton Jones
2005	A	`conf`	Scrap your boilerplate with class: extensible generic functions. ICFP Ralf Lämmel, Simon L. Peyton Jones
2004	B	`conf`	Champagne Prototyping: A Research Technique for Early Evaluation of Complex End-User Programming Systems. VL/HCC Alan F. Blackwell, Margaret M. Burnett, Simon L. Peyton Jones
2004	J	`jnl`	Constructed product result analysis for Haskell. J. Funct. Program. Clement A. Baker-Finch, Kevin Glynn, Simon L. Peyton Jones
2004	C	`conf`	Exploring the barrier to entry: incremental generational garbage collection for Haskell. ISMM Andrew M. Cheadle, A. J. Field, Simon Marlow, Simon L. Peyton Jones, Ronald Lyndon While
2004	C	`conf`	Extending the Haskell foreign function interface with concurrency. Haskell Simon Marlow, Simon L. Peyton Jones, Wolfgang Thaller
2004	A	`conf`	Making a fast curry: push/enter vs. eval/apply for higher-order languages. ICFP Simon Marlow, Simon L. Peyton Jones
2004	A	`conf`	Scrap more boilerplate: reflection, zips, and generalised casts. ICFP Ralf Lämmel, Simon L. Peyton Jones
2004	A	`conf`	Sound and Decidable Type Inference for Functional Dependencies. ESOP Gregory J. Duck, Simon L. Peyton Jones, Peter J. Stuckey, Martin Sulzmann
2004	A	`conf`	The C - compiler infrastructure. ICFP Norman Ramsey, Simon L. Peyton Jones
2003	A	`conf`	A user-centred approach to functions in Excel. ICFP Simon L. Peyton Jones, Alan F. Blackwell, Margaret M. Burnett
2003	—	`ed.`	Advanced Functional Programming, 4th International School, AFP 2002, Oxford, UK, August 19-24, 2002, Revised Lectures Advanced Functional Programming Johan Jeuring, Simon L. Peyton Jones
2003	J	`jnl`	Haskell 98 Libraries: Arrays. J. Funct. Program. Simon L. Peyton Jones
2003	J	`jnl`	Haskell 98 Libraries: Bibliography. J. Funct. Program. Simon L. Peyton Jones
2003	J	`jnl`	Haskell 98 Libraries: CPU Time. J. Funct. Program. Simon L. Peyton Jones
2003	J	`jnl`	Haskell 98 Libraries: Character Utilities. J. Funct. Program. Simon L. Peyton Jones
2003	J	`jnl`	Haskell 98 Libraries: Complex Numbers. J. Funct. Program. Simon L. Peyton Jones
2003	J	`jnl`	Haskell 98 Libraries: Dates and Times. J. Funct. Program. Simon L. Peyton Jones
2003	J	`jnl`	Haskell 98 Libraries: Directory Functions. J. Funct. Program. Simon L. Peyton Jones
2003	J	`jnl`	Haskell 98 Libraries: Indexing Operations. J. Funct. Program. Simon L. Peyton Jones
2003	J	`jnl`	Haskell 98 Libraries: Input/Output. J. Funct. Program. Simon L. Peyton Jones
2003	J	`jnl`	Haskell 98 Libraries: List Utilities. J. Funct. Program. Simon L. Peyton Jones
2003	J	`jnl`	Haskell 98 Libraries: Locales. J. Funct. Program. Simon L. Peyton Jones
2003	J	`jnl`	Haskell 98 Libraries: Maybe Utilities. J. Funct. Program. Simon L. Peyton Jones
2003	J	`jnl`	Haskell 98 Libraries: Monad Utilities. J. Funct. Program. Simon L. Peyton Jones
2003	J	`jnl`	Haskell 98 Libraries: Numeric Functions. J. Funct. Program. Simon L. Peyton Jones
2003	J	`jnl`	Haskell 98 Libraries: Random Numbers. J. Funct. Program. Simon L. Peyton Jones
2003	J	`jnl`	Haskell 98 Libraries: Rational Numbers. J. Funct. Program. Simon L. Peyton Jones
2003	J	`jnl`	Haskell 98 Libraries: System Functions. J. Funct. Program. Simon L. Peyton Jones
2003	J	`jnl`	Haskell 98: Basic Input/Output. J. Funct. Program. Simon L. Peyton Jones
2003	J	`jnl`	Haskell 98: Compiler Pragmas. J. Funct. Program. Simon L. Peyton Jones
2003	J	`jnl`	Haskell 98: Declarations and Bindings. J. Funct. Program. Simon L. Peyton Jones
2003	J	`jnl`	Haskell 98: Expressions. J. Funct. Program. Simon L. Peyton Jones
2003	J	`jnl`	Haskell 98: Introduction. J. Funct. Program. Simon L. Peyton Jones
2003	J	`jnl`	Haskell 98: Lexical Structure. J. Funct. Program. Simon L. Peyton Jones
2003	J	`jnl`	Haskell 98: Modules. J. Funct. Program. Simon L. Peyton Jones
2003	J	`jnl`	Haskell 98: Predefined Types and Classes. J. Funct. Program. Simon L. Peyton Jones
2003	J	`jnl`	Haskell 98: Specification of Derived Instances. J. Funct. Program. Simon L. Peyton Jones
2003	J	`jnl`	Haskell 98: Standard Prelude. J. Funct. Program. Simon L. Peyton Jones
2003	J	`jnl`	Haskell 98: Syntax Reference. J. Funct. Program. Simon L. Peyton Jones
2003	C	`conf`	HsDebug: debugging lazy programs by not being lazy. Haskell Robert Ennals, Simon L. Peyton Jones
2003	A	`conf`	Optimistic evaluation: an adaptive evaluation strategy for non-strict programs. ICFP Robert Ennals, Simon L. Peyton Jones
2003	B	`conf`	Scrap Your Boilerplate. APLAS Simon L. Peyton Jones, Ralf Lämmel
2003	—	`conf`	Scrap your boilerplate: a practical design pattern for generic programming. TLDI Ralf Lämmel, Simon L. Peyton Jones
2003	J	`jnl`	The Educational Pearls column. J. Funct. Program. Simon L. Peyton Jones, Philip Wadler
2002	A	`ed.`	Proceedings of the Seventh ACM SIGPLAN International Conference on Functional Programming (ICFP '02), Pittsburgh, Pennsylvania, USA, October 4-6, 2002. ICFP Mitchell Wand, Simon L. Peyton Jones
2002	J	`jnl`	Secrets of the Glasgow Haskell Compiler inliner. J. Funct. Program. Simon L. Peyton Jones, Simon Marlow
2002	J	`jnl`	Template meta-programming for Haskell. ACM SIGPLAN Notices Tim Sheard, Simon L. Peyton Jones
2001	A*	`conf`	Asynchronous Exceptions in Haskell. PLDI Simon Marlow, Simon L. Peyton Jones, Andrew Moran, John H. Reppy
2001	—	`conf`	Composing Contracts: An Adventure in Financial Engineering. FME Simon L. Peyton Jones
2001	—	`conf`	Object-Oriented Style Overloading for Haskell. BABEL Mark Shields, Simon L. Peyton Jones
2000	A*	`conf`	A single intermediate language that supports multiple implementations of exceptions. PLDI Norman Ramsey, Simon L. Peyton Jones
2000	A	`conf`	Composing contracts: an adventure in financial engineering, functional pearl. ICFP Simon L. Peyton Jones, Jean-Marc Eber, Julian Seward
2000	C	`conf`	Derivable Type Classes. Haskell Ralf Hinze, Simon L. Peyton Jones
2000	A	`conf`	Non-stop Haskell. ICFP Andrew M. Cheadle, A. J. Field, Simon Marlow, Simon L. Peyton Jones, Ronald Lyndon While
2000	C	`conf`	Pattern Guards and Transformational Patterns. Haskell Martin Erwig, Simon L. Peyton Jones
2000	—	`conf`	Porting the Clean Object I/O Library to Haskell. IFL Peter Achten, Simon L. Peyton Jones
2000	—	`conf`	The Multi-architecture Performance of the Parallel Functional Language GP H (Research Note). Euro-Par Philip W. Trinder, Hans-Wolfgang Loidl, Ed. Barry Jr., Kei Davis, Kevin Hammond, Ulrike Klusik, Simon L. Peyton Jones, Álvaro J. Rebón Portillo
1999	A*	`conf`	A Semantics for Imprecise Exceptions. PLDI Simon L. Peyton Jones, Alastair Reid, Fergus Henderson, C. A. R. Hoare, Simon Marlow
1999	—	`conf`	Aspect-Oriented Compilers. GCSE Oege de Moor, Simon L. Peyton Jones, Eric Van Wyk
1999	C	`conf`	C--: A Portable Assembly Language that Supports Garbage Collection. PPDP Simon L. Peyton Jones, Norman Ramsey, Fermin Reig
1999	A	`conf`	Calling Hell From Heaven and Heaven From Hell. ICFP Sigbjørn Finne, Daan Leijen, Erik Meijer, Simon L. Peyton Jones
1999	J	`jnl`	Engineering parallel symbolic programs in GPH. Concurr. Pract. Exp. Hans-Wolfgang Loidl, Philip W. Trinder, Kevin Hammond, Sahalu B. Junaidu, Richard G. Morgan, Simon L. Peyton Jones
1999	—	`conf`	Imprecise Exceptions, Co-Inductively. HOOTS Andrew Moran, Søren B. Lassen, Simon L. Peyton Jones
1999	A*	`conf`	Once Upon a Polymorphic Type. POPL Keith Wansbrough, Simon L. Peyton Jones
1999	—	`conf`	Stretching the Storage Manager: Weak Pointers and Stable Names in Haskell. IFL Simon L. Peyton Jones, Simon Marlow, Conal Elliott
1998	J	`jnl`	A Transformation-Based Optimiser for Haskell. Sci. Comput. Program. Simon L. Peyton Jones, André L. M. Santos
1998	J	`jnl`	Algorithms + Strategy = Parallelism. J. Funct. Program. Philip W. Trinder, Kevin Hammond, Hans-Wolfgang Loidl, Simon L. Peyton Jones
1998	A*	`conf`	Bridging the Gulf: A Common Intermediate Language for ML and Haskell. POPL Simon L. Peyton Jones, Mark Shields, John Launchbury, Andrew P. Tolmach
1998	A*	`conf`	Dynamic Typing as Staged Type Inference. POPL Mark Shields, Tim Sheard, Simon L. Peyton Jones
1998	A	`conf`	H/Direct: A Binary Foreign Language Interface for Haskell. ICFP Sigbjørn Finne, Daan Leijen, Erik Meijer, Simon L. Peyton Jones
1998	C	`ed.`	International Symposium on Memory Management, ISMM '98, Vancouver, British Columbia, Canada, 17-19 October, 1998, Conference Proceedings ISMM Simon L. Peyton Jones, Richard E. Jones
1997	—	`conf`	C-: A Portable Assembly Language. Implementation of Functional Languages Simon L. Peyton Jones, Thomas Nordin, Dino Oliva
1997	J	`jnl`	Formally Based Profiling for Higher-Order Functional Languages. ACM Trans. Program. Lang. Syst. Patrick M. Sansom, Simon L. Peyton Jones
1997	—	`conf`	Parallelising a Large Functional Program or: Keeping LOLITA Busy. Implementation of Functional Languages Hans-Wolfgang Loidl, Richard G. Morgan, Philip W. Trinder, Sanjay Poria, Chris Cooper, Simon L. Peyton Jones, Roberto Garigliano
1997	A	`ed.`	Proceedings of the 1997 ACM SIGPLAN International Conference on Functional Programming (ICFP '97), Amsterdam, The Netherlands, June 9-11, 1997. ICFP Simon L. Peyton Jones, Mads Tofte, A. Michael Berman
1996	A	`conf`	Compiling Haskell by Program Transformation: A Report from the Trenches. ESOP Simon L. Peyton Jones
1996	—	`conf`	Composing the User Interface with Haggis. Advanced Functional Programming Sigbjørn Finne, Simon L. Peyton Jones
1996	A*	`conf`	Concurrent Haskell. POPL Simon L. Peyton Jones, Andrew D. Gordon, Sigbjørn Finne
1996	A*	`conf`	GUM: A Portable Parallel Implementation of Haskell. PLDI Philip W. Trinder, Kevin Hammond, James S. Mattson Jr., Andrew S. Partridge, Simon L. Peyton Jones
1996	A	`conf`	Let-floating: Moving Bindings to Give Faster Programs. ICFP Simon L. Peyton Jones, Will Partain, André L. M. Santos
1996	J	`jnl`	Type Classes in Haskell. ACM Trans. Program. Lang. Syst. Cordelia V. Hall, Kevin Hammond, Simon L. Peyton Jones, Philip Wadler
1995	—	`conf`	Composing Haggis. Eurographics Workshop on Programming Paradigms in Graphics Sigbjørn Finne, Simon L. Peyton Jones
1995	A	`conf`	Picture: A Simple Structured Graphics Model. Functional Programming Sigbjørn Finne, Simon L. Peyton Jones
1995	J	`jnl`	State in Haskell. LISP Symb. Comput. John Launchbury, Simon L. Peyton Jones
1995	A*	`conf`	Time and Space Profiling for Non-Strict Higher-Order Functional Languages. POPL Patrick M. Sansom, Simon L. Peyton Jones
1994	—	`conf`	Automatic Spark Strategies and Granularity for a Parallel Functional Language Reducer. CONPAR Kevin Hammond, James S. Mattson Jr., Simon L. Peyton Jones
1994	—	`conf`	Cheap Deforestation in Practice: An Optimizer for Haskell. IFIP Congress (1) Andrew John Gill, Simon L. Peyton Jones
1994	A*	`conf`	Lazy Functional State Threads. PLDI John Launchbury, Simon L. Peyton Jones
1994	B	`conf`	Lazy Funtional State Threads: An Abstract. ICLP John Launchbury, Simon L. Peyton Jones
1994	J	`jnl`	On the Equivalence Between CMC and TIM. J. Funct. Program. Rafael Dueire Lins, Simon J. Thompson, Simon L. Peyton Jones
1994	A	`conf`	Type Classes in Haskell. ESOP Cordelia V. Hall, Kevin Hammond, Simon L. Peyton Jones, Philip Wadler
1994	A	`conf`	Unboxing using Specialisation. Functional Programming Cordelia V. Hall, Simon L. Peyton Jones, Patrick M. Sansom
1993	—	`conf`	A Short Cut to Deforestation. FPCA Andrew John Gill, John Launchbury, Simon L. Peyton Jones
1993	—	`conf`	Generational Garbage Collection for Haskell. FPCA Patrick M. Sansom, Simon L. Peyton Jones
1993	J	`jnl`	How to Give a Good Research Talk. ACM SIGPLAN Notices Simon L. Peyton Jones, John Hughes, John Launchbury
1993	A*	`conf`	Imperative Functional Programming. POPL Simon L. Peyton Jones, Philip Wadler
1993	—	`conf`	Processing Transactions on GRIP, a Parallel Graph Reducer. PARLE Gert Akerholt, Kevin Hammond, Simon L. Peyton Jones, Philip W. Trinder
1992	A	`conf`	Avoiding Unnecessary Updates. Functional Programming John Launchbury, Andy Gill, John Hughes, Simon Marlow, Simon L. Peyton Jones, Philip Wadler
1992	J	`jnl`	Implementing Lazy Functional Languages on Stock Hardware: The Spineless Tagless G-Machine. J. Funct. Program. Simon L. Peyton Jones
1992	A	`conf`	On Program Transformation in the Glasgow Haskell Compiler. Functional Programming André L. M. Santos, Simon L. Peyton Jones
1992	A	`conf`	Profiling Lazy Functional Programs. Functional Programming Patrick M. Sansom, Simon L. Peyton Jones
1992	J	`jnl`	Report on the Programming Language Haskell, A Non-strict, Purely Functional Language. ACM SIGPLAN Notices 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
1992	J	`jnl`	SIGPLAN Notices Special Issue on the Functional Programming Language Haskell. ACM SIGPLAN Notices Joseph H. Fasel, Paul Hudak, Simon L. Peyton Jones, Philip Wadler
1992	A	`conf`	The Glasgow Haskell Compiler: A Retrospective. Functional Programming Cordelia V. Hall, Kevin Hammond, Will Partain, Simon L. Peyton Jones, Philip Wadler
1991	J	`jnl`	A Futurebus interface from off-the-shelf parts. IEEE Micro Simon L. Peyton Jones, Mark Hardie
1991	J	`jnl`	A Modular Fully-lazy Lambda Lifter in HASKELL. Softw. Pract. Exp. Simon L. Peyton Jones, David R. Lester
1991	A	`conf`	A Parallel Functional Database on GRIP. Functional Programming Gert Akerholt, Kevin Hammond, Simon L. Peyton Jones, Philip W. Trinder
1991	A	`ed.`	Proceedings of the 1990 Glasgow Workshop on Functional Programming, Ullapool, Scotland, UK, August 13-15, 1990 Functional Programming Simon L. Peyton Jones, Graham Hutton, Carsten Kehler Holst
1991	—	`conf`	Unboxed Values as First Class Citizens in a Non-Strict Functional Language. FPCA Simon L. Peyton Jones, John Launchbury
1989	—	`conf`	High-Performance parallel graph reduction. PARLE (1) Simon L. Peyton Jones, Chris D. Clack, Jon Salkild
1989	J	`jnl`	Parallel Implementations of Functional Programming Languages. Comput. J. Simon L. Peyton Jones
1989	—	`conf`	The Spineless Tagless G-Machine. FPCA Simon L. Peyton Jones, Jon Salkild
1988	J	`jnl`	A Safe Approach to Parallel Combinator Reduction. Theor. Comput. Sci. Chris Hankin, Geoffrey Livingston Burn, Simon L. Peyton Jones
1988	J	`jnl`	FLIC - a functional language intermediate code. ACM SIGPLAN Notices Simon L. Peyton Jones
1988	—	`conf`	The Spineless G-Machine. LISP and Functional Programming Geoffrey Livingston Burn, Simon L. Peyton Jones, J. D. Robson
1987	—	`conf`	GRIP - A high-performance architecture for parallel graph reduction. FPCA Simon L. Peyton Jones, Chris D. Clack, Jon Salkild, Mark Hardie
1987	—	`book`	The Implementation of Functional Programming Languages. Simon L. Peyton Jones
1986	A	`conf`	A Safe Approach to Parallel Combinator Reduction (Extended Abstract). ESOP Chris Hankin, Geoffrey Livingston Burn, Simon L. Peyton Jones
1986	—	`conf`	Functional Programming Languages as a Software Engineering Tool. Embedded Systems Simon L. Peyton Jones
1986	J	`jnl`	Parsing Distfix Operators. Commun. ACM Simon L. Peyton Jones
1986	—	`conf`	The Four-Stroke Reduction Engine. LISP and Functional Programming Chris D. Clack, Simon L. Peyton Jones
1985	—	`conf`	An Introduction to Fully-Lazy Supercombinators. Combinators and Functional Programming Languages Simon L. Peyton Jones
1985	—	`conf`	Strictness Analysis - A Practical Approach. FPCA Chris D. Clack, Simon L. Peyton Jones
1985	J	`jnl`	Yacc in Sasl-an Exercise in Functional Programming. Softw. Pract. Exp. Simon L. Peyton Jones
1982	—	`conf`	An Investigation of the Relative Efficiencies of Combinators and Lambda Expressions. Symposium on LISP and Functional Programming Simon L. Peyton Jones
1981	—	`conf`	An ADA ACM Annual Conference N. C. L. Beale, Simon L. Peyton Jones