Simon L. Peyton Jones

According to our database, Simon L. Peyton Jones authored at least 237 papers between 1981 and 2025.

Collaborative distances:

• Dijkstra number of two.
• Erdős number of four.

2025

Dual-Numbers Reverse AD for Functional Array Languages.

Tom Smeding, Mikolaj Konarski, Simon Peyton Jones, Andrew W. Fitzgibbon

CoRR, July, 2025

2024

Abstracting Denotational Interpreters.

Sebastian Graf, Simon Peyton Jones, Sven Keidel

CoRR, 2024

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., August, 2023

Triemaps that match.

Simon Peyton Jones, Sebastian Graf

CoRR, 2023

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

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

Simultaneous Missing Value Imputation and Structure Learning with Groups.

Pablo Morales-Alvarez, Wenbo Gong, Angus Lamb, Simon Woodhead, Simon Peyton Jones, Nick Pawlowski, Miltiadis Allamanis, Cheng Zhang

Proceedings of the Advances in Neural Information Processing Systems 35: Annual Conference on Neural Information Processing Systems 2022, 2022

CoRGi: Content-Rich Graph Neural Networks with Attention.

Jooyeon Kim, Angus Lamb, Simon Woodhead, Simon Peyton Jones, Cheng Zhang, Miltiadis Allamanis

Proceedings of the KDD '22: The 28th ACM SIGKDD Conference on Knowledge Discovery and Data Mining, Washington, DC, USA, August 14, 2022

2021

VICause: Simultaneous Missing Value Imputation and Causal Discovery with Groups.

Pablo Morales-Alvarez, Angus Lamb, Simon Woodhead, Simon Peyton Jones, Miltiadis Allamanis, Cheng Zhang

CoRR, 2021

CoRGi: Content-Rich Graph Neural Networks with Attention.

Jooyeon Kim, Angus Lamb, Simon Woodhead, Simon Peyton Jones, Cheng Zheng, Miltiadis Allamanis

CoRR, 2021

Hashing modulo alpha-equivalence.

Krzysztof Maziarz, Tom Ellis, Alan Lawrence, Andrew W. Fitzgibbon, Simon Peyton Jones

Proceedings of the PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021

Educational Question Mining At Scale: Prediction, Analysis and Personalization.

Zichao Wang, Sebastian Tschiatschek, Simon Woodhead, José Miguel Hernández-Lobato, Simon Peyton Jones, Richard G. Baraniuk, Cheng Zhang

Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

2020

A quick look at impredicativity.

Alejandro Serrano, Jurriaan Hage, Simon Peyton Jones, Dimitrios Vytiniotis

Proc. ACM Program. Lang., 2020

Lower your guards: a compositional pattern-match coverage checker.

Sebastian Graf, Simon Peyton Jones, Ryan G. Scott

Proc. ACM Program. Lang., 2020

Kinds are calling conventions.

Paul Downen, Zena M. Ariola, Simon Peyton Jones, Richard A. Eisenberg

Proc. ACM Program. Lang., 2020

Build systems à la carte: Theory and practice.

Andrey Mokhov, Neil Mitchell, Simon Peyton Jones

J. Funct. Program., 2020

Elastic sheet-defined functions: Generalising spreadsheet functions to variable-size input arrays.

Matt McCutchen, Judith Borghouts, Andrew D. Gordon, Simon Peyton Jones, Advait Sarkar

J. Funct. Program., 2020

Diagnostic Questions: The NeurIPS 2020 Education Challenge.

Zichao Wang, 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, Cheng Zhang

CoRR, 2020

Large-Scale Educational Question Analysis with Partial Variational Auto-encoders.

Zichao Wang, Sebastian Tschiatschek, Simon Woodhead, José Miguel Hernández-Lobato, Simon Peyton Jones, Cheng Zhang

CoRR, 2020

Results and Insights from Diagnostic Questions: The NeurIPS 2020 Education Challenge.

Zichao Wang, 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, Cheng Zhang

Proceedings of the NeurIPS 2020 Competition and Demonstration Track, 2020

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

Higher-order type-level programming in Haskell.

Csongor Kiss, Tony Field, Susan Eisenbach, Simon Peyton Jones

Proc. ACM Program. Lang., 2019

Selective Lambda Lifting.

Sebastian Graf, Simon Peyton Jones

CoRR, 2019

Making a faster Curry with extensional types.

Paul Downen, Zachary Sullivan, Zena M. Ariola, Simon Peyton Jones

Proceedings of the 12th ACM SIGPLAN International Symposium on Haskell, 2019

Codata in Action.

Paul Downen, Zachary Sullivan, Zena M. Ariola, Simon Peyton Jones

Proceedings of the Programming Languages and Systems, 2019

2018

Build systems à la carte.

Andrey Mokhov, Neil Mitchell, Simon Peyton Jones

Proc. ACM Program. Lang., 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

Efficient Differentiable Programming in a Functional Array-Processing Language.

Amir Shaikhha, Andrew W. Fitzgibbon, Dimitrios Vytiniotis, Simon Peyton Jones, Christoph Koch

CoRR, 2018

Calculation View: multiple-representation editing in spreadsheets.

Advait Sarkar, Andrew D. Gordon, Simon Peyton Jones, Neil Toronto

Proceedings of the 2018 IEEE Symposium on Visual Languages and Human-Centric Computing, 2018

Guarded impredicative polymorphism.

Alejandro Serrano, Jurriaan Hage, Dimitrios Vytiniotis, Simon Peyton Jones

Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2018

Type variables in patterns.

Richard A. Eisenberg, Joachim Breitner, Simon Peyton Jones

Proceedings of the 11th ACM SIGPLAN International Symposium on Haskell, 2018

2017

SHErrLoc: A Static Holistic Error Locator.

Danfeng Zhang, Andrew C. Myers, Dimitrios Vytiniotis, Simon L. Peyton Jones

ACM Trans. Program. Lang. Syst., 2017

Trees that Grow.

Shayan Najd, Simon Peyton Jones

J. Univers. Comput. Sci., 2017

Modular, higher order cardinality analysis in theory and practice.

Ilya Sergey, Dimitrios Vytiniotis, Simon L. Peyton Jones, Joachim Breitner

J. Funct. Program., 2017

Exploiting vector instructions with generalized stream fusion.

Geoffrey Mainland, Roman Leshchinskiy, Simon Peyton Jones

Commun. ACM, 2017

Compiling without continuations.

Luke Maurer, Paul Downen, Zena M. Ariola, Simon L. Peyton Jones

Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2017

Levity polymorphism.

Richard A. Eisenberg, Simon Peyton Jones

Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2017

Destination-passing style for efficient memory management.

Amir Shaikhha, Andrew W. Fitzgibbon, Simon Peyton Jones, Dimitrios Vytiniotis

Proceedings of the 6th ACM SIGPLAN International Workshop on Functional High-Performance Computing, 2017

How to Write a Great Research Paper.

Simon Peyton Jones

Proceedings of the 2017 Imperial College Computing Student Workshop, 2017

2016

Composable scheduler activations for Haskell.

K. C. Sivaramakrishnan, Tim Harris, Simon Marlow, Simon Peyton Jones

J. Funct. Program., 2016

Sequent calculus as a compiler intermediate language.

Paul Downen, Luke Maurer, Zena M. Ariola, Simon Peyton Jones

Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming, 2016

Pattern synonyms.

Matthew Pickering, Gergo Érdi, Simon Peyton Jones, Richard A. Eisenberg

Proceedings of the 9th International Symposium on Haskell, 2016

Non-recursive make considered harmful: build systems at scale.

Andrey Mokhov, Neil Mitchell, Simon Peyton Jones, Simon Marlow

Proceedings of the 9th International Symposium on Haskell, 2016

Desugaring Haskell's do-notation into applicative operations.

Simon Marlow, Simon Peyton Jones, Edward Kmett, Andrey Mokhov

Proceedings of the 9th International Symposium on Haskell, 2016

A Reflection on Types.

Simon Peyton Jones, Stephanie Weirich, Richard A. Eisenberg, Dimitrios Vytiniotis

Proceedings of the A List of Successes That Can Change the World, 2016

2015

ICFP 2004: Scrap More Boilerplate: Reflection, Zips, and Generalised Casts.

Ralf Lämmel, Simon L. Peyton Jones

ACM SIGPLAN Notices, 2015

The dream of a lifetime: an opportunity to shape how our children learn computing.

Simon Peyton Jones

Proceedings of the 26th Annual Workshop of the Psychology of Programming Interest Group, 2015

Diagnosing type errors with class.

Danfeng Zhang, Andrew C. Myers, Dimitrios Vytiniotis, Simon L. Peyton Jones

Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, 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

Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming, 2015

Injective type families for Haskell.

Jan Stolarek, Simon L. Peyton Jones, Richard A. Eisenberg

Proceedings of the 8th ACM SIGPLAN Symposium on Haskell, 2015

2014

Modular, higher-order cardinality analysis in theory and practice.

Ilya Sergey, Dimitrios Vytiniotis, Simon L. Peyton Jones

Proceedings of the 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2014

Backpack: retrofitting Haskell with interfaces.

Scott Kilpatrick, Derek Dreyer, Simon L. Peyton Jones, Simon Marlow

Proceedings of the 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2014

Closed type families with overlapping equations.

Richard A. Eisenberg, Dimitrios Vytiniotis, Simon L. Peyton Jones, Stephanie Weirich

Proceedings of the 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2014

Refinement types for Haskell.

Niki Vazou, Eric L. Seidel, Ranjit Jhala, Dimitrios Vytiniotis, Simon L. Peyton Jones

Proceedings of the 19th ACM SIGPLAN international conference on Functional programming, 2014

Safe zero-cost coercions for Haskell.

Joachim Breitner, Richard A. Eisenberg, Simon L. Peyton Jones, Stephanie Weirich

Proceedings of the 19th ACM SIGPLAN international conference on Functional programming, 2014

2013

Type-Directed Compilation in the Wild: Haskell and Core.

Simon L. Peyton Jones

Proceedings of the Typed Lambda Calculi and Applications, 11th International Conference, 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

Proceedings of the 44th ACM Technical Symposium on Computer Science Education, 2013

Evidence Normalization in System FC (Invited Talk).

Dimitrios Vytiniotis, Simon L. Peyton Jones

Proceedings of the 24th International Conference on Rewriting Techniques and Applications, 2013

HALO: haskell to logic through denotational semantics.

Dimitrios Vytiniotis, Simon L. Peyton Jones, Koen Claessen, Dan Rosén

Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2013

The computing at school working group.

Simon L. Peyton Jones

Proceedings of the Innovation and Technology in Computer Science Education conference 2013, 2013

Exploiting vector instructions with generalized stream fusio.

Geoffrey Mainland, Roman Leshchinskiy, Simon L. Peyton Jones

Proceedings of the ACM SIGPLAN International Conference on Functional Programming, 2013

Computer science as a school subject.

Simon L. Peyton Jones

Proceedings of the ACM SIGPLAN International Conference on Functional Programming, 2013

2012

Giving Haskell a promotion.

Brent A. Yorgey, Stephanie Weirich, Julien Cretin, Simon L. Peyton Jones, Dimitrios Vytiniotis, José Pedro Magalhães

Proceedings of the 8th ACM SIGPLAN Workshop on Types in Languages Design and Implementation, 2012

Equality proofs and deferred type errors: a compiler pearl.

Dimitrios Vytiniotis, Simon L. Peyton Jones, José Pedro Magalhães

Proceedings of the ACM SIGPLAN International Conference on Functional Programming, 2012

Work efficient higher-order vectorisation.

Ben Lippmeier, Manuel M. T. Chakravarty, Gabriele Keller, Roman Leshchinskiy, Simon L. Peyton Jones

Proceedings of the ACM SIGPLAN International Conference on Functional Programming, 2012

Safe haskell.

David Terei, Simon Marlow, Simon L. Peyton Jones, David Mazières

Proceedings of the 5th ACM SIGPLAN Symposium on Haskell, 2012

Guiding parallel array fusion with indexed types.

Ben Lippmeier, Manuel M. T. Chakravarty, Gabriele Keller, Simon L. Peyton Jones

Proceedings of the 5th ACM SIGPLAN Symposium on Haskell, 2012

Vectorisation avoidance.

Gabriele Keller, Manuel M. T. Chakravarty, Roman Leshchinskiy, Ben Lippmeier, Simon L. Peyton Jones

Proceedings of the 5th ACM SIGPLAN Symposium on Haskell, 2012

Lazy v. Yield: Incremental, Linear Pretty-Printing.

Oleg Kiselyov, Simon L. Peyton Jones, Amr Sabry

Proceedings of the Programming Languages and Systems - 10th Asian Symposium, 2012

2011

OutsideIn(X) Modular type inference with local assumptions.

Dimitrios Vytiniotis, Simon L. Peyton Jones, Tom Schrijvers, Martin Sulzmann

J. Funct. Program., 2011

Generative type abstraction and type-level computation.

Stephanie Weirich, Dimitrios Vytiniotis, Simon L. Peyton Jones, Steve Zdancewic

Proceedings of the 38th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2011

Multicore garbage collection with local heaps.

Simon Marlow, Simon L. Peyton Jones

Proceedings of the 10th International Symposium on Memory Management, 2011

A monad for deterministic parallelism.

Simon Marlow, Ryan Newton, Simon L. Peyton Jones

Proceedings of the 4th ACM SIGPLAN Symposium on Haskell, 2011

Towards Haskell in the cloud.

Jeff Epstein, Andrew P. Black, Simon L. Peyton Jones

Proceedings of the 4th ACM SIGPLAN Symposium on Haskell, 2011

Termination combinators forever.

Maximilian C. Bolingbroke, Simon L. Peyton Jones, Dimitrios Vytiniotis

Proceedings of the 4th ACM SIGPLAN Symposium on Haskell, 2011

2010

Let should not be generalized.

Dimitrios Vytiniotis, Simon L. Peyton Jones, Tom Schrijvers

Proceedings of TLDI 2010: 2010 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, 2010

Regular, shape-polymorphic, parallel arrays in Haskell.

Gabriele Keller, Manuel M. T. Chakravarty, Roman Leshchinskiy, Simon L. Peyton Jones, Ben Lippmeier

Proceedings of the 15th ACM SIGPLAN International Conference on Functional Programming, 2010

Hoopl: a modular, reusable library for dataflow analysis and transformation.

Norman Ramsey, João Dias, Simon L. Peyton Jones

Proceedings of the 3rd ACM SIGPLAN Symposium on Haskell, 2010

Supercompilation by evaluation.

Maximilian C. Bolingbroke, Simon L. Peyton Jones

Proceedings of the 3rd ACM SIGPLAN Symposium on Haskell, 2010

Fun with Type Functions.

Oleg Kiselyov, Simon Peyton Jones, Chung-chieh Shan

Proceedings of the Reflections on the Work of C. A. R. Hoare., 2010

2009

Static contract checking for Haskell.

Dana N. Xu, Simon L. Peyton Jones, Koen Claessen

Proceedings of the 36th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2009

Complete and decidable type inference for GADTs.

Tom Schrijvers, Simon L. Peyton Jones, Martin Sulzmann, Dimitrios Vytiniotis

Proceedings of the Proceeding of the 14th ACM SIGPLAN international conference on Functional programming, 2009

Runtime support for multicore Haskell.

Simon Marlow, Simon L. Peyton Jones, Satnam Singh

Proceedings of the Proceeding of the 14th ACM SIGPLAN international conference on Functional programming, 2009

Types are calling conventions.

Maximilian C. Bolingbroke, Simon L. Peyton Jones

Proceedings of the 2nd ACM SIGPLAN Symposium on Haskell, 2009

Finding the needle: stack traces for GHC.

Tristan Oliver Richard Allwood, Simon L. Peyton Jones, Susan Eisenbach

Proceedings of the 2nd ACM SIGPLAN Symposium on Haskell, 2009

Classes, Jim, But Not as We Know Them - Type Classes in Haskell: What, Why, and Whither.

Simon L. Peyton Jones

Proceedings of the ECOOP 2009, 2009

2008

Scrap Your Type Applications.

Barry Jay, Simon L. Peyton Jones

Proceedings of the Mathematics of Program Construction, 9th International Conference, 2008

Parallel generational-copying garbage collection with a block-structured heap.

Simon Marlow, Tim Harris, Roshan P. James, Simon L. Peyton Jones

Proceedings of the 7th International Symposium on Memory Management, 2008

FPH: first-class polymorphism for Haskell.

Dimitrios Vytiniotis, Stephanie Weirich, Simon L. Peyton Jones

Proceedings of the Proceeding of the 13th ACM SIGPLAN international conference on Functional programming, 2008

Type checking with open type functions.

Tom Schrijvers, Simon L. Peyton Jones, Manuel M. T. Chakravarty, Martin Sulzmann

Proceedings of the Proceeding of the 13th ACM SIGPLAN international conference on Functional programming, 2008

Harnessing the Multicores: Nested Data Parallelism in Haskell.

Simon L. Peyton Jones, Roman Leshchinskiy, Gabriele Keller, Manuel M. T. Chakravarty

Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2008

Harnessing the Multicores: Nested Data Parallelism in Haskell.

Simon L. Peyton Jones

Proceedings of the Programming Languages and Systems, 6th Asian Symposium, 2008

A Tutorial on Parallel and Concurrent Programming in Haskell.

Simon L. Peyton Jones, Satnam Singh

Proceedings of the Advanced Functional Programming, 6th International School, 2008

2007

Understanding functional dependencies via constraint handling rules.

Martin Sulzmann, Gregory J. Duck, Simon L. Peyton Jones, Peter J. Stuckey

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

A monadic framework for delimited continuations.

R. Kent Dybvig, Simon L. Peyton Jones, Amr Sabry

J. Funct. Program., 2007

System F with type equality coercions.

Martin Sulzmann, Manuel M. T. Chakravarty, Simon L. Peyton Jones, Kevin Donnelly

Proceedings of TLDI'07: 2007 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, 2007

Data parallel Haskell: a status report.

Manuel M. T. Chakravarty, Roman Leshchinskiy, Simon L. Peyton Jones, Gabriele Keller, Simon Marlow

Proceedings of the POPL 2007 Workshop on Declarative Aspects of Multicore Programming, 2007

Faster laziness using dynamic pointer tagging.

Simon Marlow, Alexey Rodriguez Yakushev, Simon L. Peyton Jones

Proceedings of the 12th ACM SIGPLAN International Conference on Functional Programming, 2007

Call-pattern specialisation for haskell programs.

Simon L. Peyton Jones

Proceedings of the 12th ACM SIGPLAN International Conference on Functional Programming, 2007

A history of Haskell: being lazy with class.

Paul Hudak, John Hughes, Simon L. Peyton Jones, Philip Wadler

Proceedings of the Third ACM SIGPLAN History of Programming Languages Conference (HOPL-III), 2007

Lightweight concurrency primitives for GHC.

Peng Li, Simon Marlow, Simon L. Peyton Jones, Andrew P. Tolmach

Proceedings of the ACM SIGPLAN Workshop on Haskell, 2007

Comprehensive comprehensions.

Simon L. Peyton Jones, Philip Wadler

Proceedings of the ACM SIGPLAN Workshop on Haskell, 2007

2006

Boxy types: inference for higher-rank types and impredicativity.

Dimitrios Vytiniotis, Stephanie Weirich, Simon L. Peyton Jones

Proceedings of the 11th ACM SIGPLAN International Conference on Functional Programming, 2006

Simple unification-based type inference for GADTs.

Simon L. Peyton Jones, Dimitrios Vytiniotis, Stephanie Weirich, Geoffrey Washburn

Proceedings of the 11th ACM SIGPLAN International Conference on Functional Programming, 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, Simon L. Peyton Jones, Murali Sitaraman, Douglas R. Smith, Aaron Stump

Proceedings of the Generative Programming and Component Engineering, 2006

Lock Free Data Structures Using STM in Haskell.

Anthony Discolo, Tim Harris, Simon Marlow, Simon L. Peyton Jones, Satnam Singh

Proceedings of the Functional and Logic Programming, 8th International Symposium, 2006

Haskell Is Not Not ML.

Ben Rudiak-Gould, Alan Mycroft, Simon L. Peyton Jones

Proceedings of the Programming Languages and Systems, 2006

2005

Composable memory transactions.

Tim Harris, Simon Marlow, Simon L. Peyton Jones, Maurice Herlihy

Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2005

Associated types with class.

Manuel M. T. Chakravarty, Gabriele Keller, Simon L. Peyton Jones, Simon Marlow

Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2005

Scrap your boilerplate with class: extensible generic functions.

Ralf Lämmel, Simon L. Peyton Jones

Proceedings of the 10th ACM SIGPLAN International Conference on Functional Programming, 2005

Associated type synonyms.

Manuel M. T. Chakravarty, Gabriele Keller, Simon L. Peyton Jones

Proceedings of the 10th ACM SIGPLAN International Conference on Functional Programming, 2005

Haskell on a shared-memory multiprocessor.

Tim Harris, Simon Marlow, Simon L. Peyton Jones

Proceedings of the ACM SIGPLAN Workshop on Haskell, 2005

2004

Constructed product result analysis for Haskell.

Clement A. Baker-Finch, Kevin Glynn, Simon L. Peyton Jones

J. Funct. Program., 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

Proceedings of the 2004 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2004), 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

Proceedings of the 4th International Symposium on Memory Management, 2004

The C - compiler infrastructure.

Norman Ramsey, Simon L. Peyton Jones

Proceedings of the Ninth ACM SIGPLAN International Conference on Functional Programming, 2004

Making a fast curry: push/enter vs. eval/apply for higher-order languages.

Simon Marlow, Simon L. Peyton Jones

Proceedings of the Ninth ACM SIGPLAN International Conference on Functional Programming, 2004

Scrap more boilerplate: reflection, zips, and generalised casts.

Ralf Lämmel, Simon L. Peyton Jones

Proceedings of the Ninth ACM SIGPLAN International Conference on Functional Programming, 2004

Extending the Haskell foreign function interface with concurrency.

Simon Marlow, Simon L. Peyton Jones, Wolfgang Thaller

Proceedings of the ACM SIGPLAN Workshop on Haskell, 2004

Sound and Decidable Type Inference for Functional Dependencies.

Gregory J. Duck, Simon L. Peyton Jones, Peter J. Stuckey, Martin Sulzmann

Proceedings of the Programming Languages and Systems, 2004

2003

The Educational Pearls column.

Simon L. Peyton Jones, Philip Wadler

J. Funct. Program., 2003

Haskell 98 Libraries: Bibliography.

Simon L. Peyton Jones

J. Funct. Program., 2003

Haskell 98 Libraries: Random Numbers.

Simon L. Peyton Jones

J. Funct. Program., 2003

Haskell 98 Libraries: CPU Time.

Simon L. Peyton Jones

J. Funct. Program., 2003

Haskell 98 Libraries: Locales.

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: System Functions.

Simon L. Peyton Jones

J. Funct. Program., 2003

Haskell 98 Libraries: Directory Functions.

Simon L. Peyton Jones

J. Funct. Program., 2003

Haskell 98 Libraries: Input/Output.

Simon L. Peyton Jones

J. Funct. Program., 2003

Haskell 98 Libraries: Monad 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: Maybe Utilities.

Simon L. Peyton Jones

J. Funct. Program., 2003

Haskell 98 Libraries: List Utilities.

Simon L. Peyton Jones

J. Funct. Program., 2003

Haskell 98 Libraries: Arrays.

Simon L. Peyton Jones

J. Funct. Program., 2003

Haskell 98 Libraries: Indexing Operations.

Simon L. Peyton Jones

J. Funct. Program., 2003

Haskell 98 Libraries: Numeric Functions.

Simon L. Peyton Jones

J. Funct. Program., 2003

Haskell 98 Libraries: Complex Numbers.

Simon L. Peyton Jones

J. Funct. Program., 2003

Haskell 98 Libraries: Rational Numbers.

Simon L. Peyton Jones

J. Funct. Program., 2003

Haskell 98: Compiler Pragmas.

Simon L. Peyton Jones

J. Funct. Program., 2003

Haskell 98: Specification of Derived Instances.

Simon L. Peyton Jones

J. Funct. Program., 2003

Haskell 98: Syntax Reference.

Simon L. Peyton Jones

J. Funct. Program., 2003

Haskell 98: Standard Prelude.

Simon L. Peyton Jones

J. Funct. Program., 2003

Haskell 98: Basic Input/Output.

Simon L. Peyton Jones

J. Funct. Program., 2003

Haskell 98: Predefined Types and Classes.

Simon L. Peyton Jones

J. Funct. Program., 2003

Haskell 98: Modules.

Simon L. Peyton Jones

J. Funct. Program., 2003

Haskell 98: Declarations and Bindings.

Simon L. Peyton Jones

J. Funct. Program., 2003

Haskell 98: Expressions.

Simon L. Peyton Jones

J. Funct. Program., 2003

Haskell 98: Lexical Structure.

Simon L. Peyton Jones

J. Funct. Program., 2003

Haskell 98: Introduction.

Simon L. Peyton Jones

J. Funct. Program., 2003

Scrap your boilerplate: a practical design pattern for generic programming.

Ralf Lämmel, Simon L. Peyton Jones

Proceedings of TLDI'03: 2003 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, 2003

A user-centred approach to functions in Excel.

Simon L. Peyton Jones, Alan F. Blackwell, Margaret M. Burnett

Proceedings of the Eighth ACM SIGPLAN International Conference on Functional Programming, 2003

Optimistic evaluation: an adaptive evaluation strategy for non-strict programs.

Robert Ennals, Simon L. Peyton Jones

Proceedings of the Eighth ACM SIGPLAN International Conference on Functional Programming, 2003

HsDebug: debugging lazy programs by not being lazy.

Robert Ennals, Simon L. Peyton Jones

Proceedings of the ACM SIGPLAN Workshop on Haskell, 2003

Scrap Your Boilerplate.

Simon L. Peyton Jones, Ralf Lämmel

Proceedings of the Programming Languages and Systems, First Asian Symposium, 2003

2002

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 Peyton Jones

Proceedings of the 2002 ACM SIGPLAN Workshop on Haskell, 2002

2001

Object-Oriented Style Overloading for Haskell.

Mark Shields, Simon L. Peyton Jones

Proceedings of the First International Workshop on Multi-Language Infrastructure and Interoperability, 2001

Asynchronous Exceptions in Haskell.

Simon Marlow, Simon L. Peyton Jones, Andrew Moran, John H. Reppy

Proceedings of the 2001 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 2001

Composing Contracts: An Adventure in Financial Engineering.

Simon L. Peyton Jones

Proceedings of the FME 2001: Formal Methods for Increasing Software Productivity, 2001

2000

Derivable Type Classes.

Ralf Hinze, Simon L. Peyton Jones

Proceedings of the 2000 ACM SIGPLAN Workshop on Haskell, 2000

Pattern Guards and Transformational Patterns.

Martin Erwig, Simon L. Peyton Jones

Proceedings of the 2000 ACM SIGPLAN Workshop on Haskell, 2000

A single intermediate language that supports multiple implementations of exceptions.

Norman Ramsey, Simon L. Peyton Jones

Proceedings of the 2000 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 2000

Porting the Clean Object I/O Library to Haskell.

Peter Achten, Simon L. Peyton Jones

Proceedings of the Implementation of Functional Languages, 12th International Workshop, 2000

Composing contracts: an adventure in financial engineering, functional pearl.

Simon L. Peyton Jones, Jean-Marc Eber, Julian Seward

Proceedings of the Fifth ACM SIGPLAN International Conference on Functional Programming (ICFP '00), 2000

Non-stop Haskell.

Andrew M. Cheadle, A. J. Field, Simon Marlow, Simon L. Peyton Jones, Ronald Lyndon While

Proceedings of the Fifth ACM SIGPLAN International Conference on Functional Programming (ICFP '00), 2000

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

Proceedings of the Euro-Par 2000, Parallel Processing, 6th International Euro-Par Conference, Munich, Germany, August 29, 2000

1999

Imprecise Exceptions, Co-Inductively.

Andrew Moran, Søren B. Lassen, Simon L. Peyton Jones

Proceedings of the Third Workshop on Higher-Order Operational Techniques in Semantics, 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

C--: A Portable Assembly Language that Supports Garbage Collection.

Simon L. Peyton Jones, Norman Ramsey, Fermin Reig

Proceedings of the Principles and Practice of Declarative Programming, International Conference PPDP'99, Paris, France, September 29, 1999

Once Upon a Polymorphic Type.

Keith Wansbrough, Simon L. Peyton Jones

Proceedings of the POPL '99, 1999

A Semantics for Imprecise Exceptions.

Simon L. Peyton Jones, Alastair Reid, Fergus Henderson, C. A. R. Hoare, Simon Marlow

Proceedings of the 1999 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 1999

Stretching the Storage Manager: Weak Pointers and Stable Names in Haskell.

Simon L. Peyton Jones, Simon Marlow, Conal Elliott

Proceedings of the Implementation of Functional Languages, 11th International Workshop, 1999

Calling Hell From Heaven and Heaven From Hell.

Sigbjørn Finne, Daan Leijen, Erik Meijer, Simon L. Peyton Jones

Proceedings of the fourth ACM SIGPLAN International Conference on Functional Programming (ICFP '99), 1999

Aspect-Oriented Compilers.

Oege de Moor, Simon L. Peyton Jones, Eric Van Wyk

Proceedings of the Generative and Component-Based Software Engineering, 1999

1998

A Transformation-Based Optimiser for Haskell.

Simon L. Peyton Jones, André L. M. Santos

Sci. Comput. Program., 1998

Algorithms + Strategy = Parallelism.

Philip W. Trinder, Kevin Hammond, Hans-Wolfgang Loidl, Simon L. Peyton Jones

J. Funct. Program., 1998

Dynamic Typing as Staged Type Inference.

Mark Shields, Tim Sheard, Simon L. Peyton Jones

Proceedings of the POPL '98, 1998

Bridging the Gulf: A Common Intermediate Language for ML and Haskell.

Simon L. Peyton Jones, Mark Shields, John Launchbury, Andrew P. Tolmach

Proceedings of the POPL '98, 1998

Scripting COM components in Haskell.

Simon Peyton Jones, Erik Meijer, Daan Leijen

Proceedings of the Fifth International Conference on Software Reuse, 1998

H/Direct: A Binary Foreign Language Interface for Haskell.

Sigbjørn Finne, Daan Leijen, Erik Meijer, Simon L. Peyton Jones

Proceedings of the third ACM SIGPLAN International Conference on Functional Programming (ICFP '98), 1998

1997

Formally Based Profiling for Higher-Order Functional Languages.

Patrick M. Sansom, Simon L. Peyton Jones

ACM Trans. Program. Lang. Syst., 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

Proceedings of the Implementation of Functional Languages, 9th International Workshop, 1997

C-: A Portable Assembly Language.

Simon L. Peyton Jones, Thomas Nordin, Dino Oliva

Proceedings of the Implementation of Functional Languages, 9th International Workshop, 1997

1996

Concurrent Haskell.

Simon L. Peyton Jones, Andrew D. Gordon, Sigbjørn Finne

Proceedings of the Conference Record of POPL'96: The 23rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1996

GUM: A Portable Parallel Implementation of Haskell.

Philip W. Trinder, Kevin Hammond, James S. Mattson Jr., Andrew S. Partridge, Simon L. Peyton Jones

Proceedings of the ACM SIGPLAN'96 Conference on Programming Language Design and Implementation (PLDI), 1996

Let-floating: Moving Bindings to Give Faster Programs.

Simon L. Peyton Jones, Will Partain, André L. M. Santos

Proceedings of the 1996 ACM SIGPLAN International Conference on Functional Programming, 1996

Compiling Haskell by Program Transformation: A Report from the Trenches.

Simon L. Peyton Jones

Proceedings of the Programming Languages and Systems, 1996

Composing the User Interface with Haggis.

Sigbjørn Finne, Simon L. Peyton Jones

Proceedings of the Advanced Functional Programming, 1996

1995

State in Haskell.

John Launchbury, Simon L. Peyton Jones

LISP Symb. Comput., 1995

Time and Space Profiling for Non-Strict Higher-Order Functional Languages.

Patrick M. Sansom, Simon L. Peyton Jones

Proceedings of the Conference Record of POPL'95: 22nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1995

Composing Haggis.

Sigbjørn Finne, Simon L. Peyton Jones

Proceedings of the Programming Paradigms in Graphics: Proceedings of the Eurographics Workshop, 1995

Picture: A Simple Structured Graphics Model.

Sigbjørn Finne, Simon L. Peyton Jones

Proceedings of the Functional Programming, Glasgow, UK, 1995, 1995

1994

On the Equivalence Between CMC and TIM.

Rafael Dueire Lins, Simon J. Thompson, Simon L. Peyton Jones

J. Funct. Program., 1994

Lazy Functional State Threads.

John Launchbury, Simon L. Peyton Jones

Proceedings of the ACM SIGPLAN'94 Conference on Programming Language Design and Implementation (PLDI), 1994

Cheap Deforestation in Practice: An Optimizer for Haskell.

Andrew John Gill, Simon L. Peyton Jones

Proceedings of the Technology and Foundations - Information Processing '94, Volume 1, Proceedings of the IFIP 13th World Computer Congress, Hamburg, Germany, 28 August, 1994

Lazy Funtional State Threads: An Abstract.

John Launchbury, Simon L. Peyton Jones

Proceedings of the Logic Programming, 1994

Compilation by Transformation in the Glasgow Haskell Compiler.

Simon Peyton Jones, André L. M. Santos

Proceedings of the 1994 Glasgow Workshop on Functional Programming, 1994

Unboxing using Specialisation.

Cordelia V. Hall, Simon L. Peyton Jones, Patrick M. Sansom

Proceedings of the 1994 Glasgow Workshop on Functional Programming, 1994

Programming Reactive Systems in Haskell.

Sigbjørn Finne, Simon Peyton Jones

Proceedings of the 1994 Glasgow Workshop on Functional Programming, 1994

Type Classes in Haskell.

Cordelia V. Hall, Kevin Hammond, Simon L. Peyton Jones, Philip Wadler

Proceedings of the Programming Languages and Systems, 1994

Automatic Spark Strategies and Granularity for a Parallel Functional Language Reducer.

Kevin Hammond, James S. Mattson Jr., Simon L. Peyton Jones

Proceedings of the Parallel Processing: CONPAR 94, 1994

1993

How to Give a Good Research Talk.

Simon L. Peyton Jones, John Hughes, John Launchbury

ACM SIGPLAN Notices, 1993

Imperative Functional Programming.

Simon L. Peyton Jones, Philip Wadler

Proceedings of the Conference Record of the Twentieth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1993

Processing Transactions on GRIP, a Parallel Graph Reducer.

Gert Akerholt, Kevin Hammond, Simon L. Peyton Jones, Philip W. Trinder

Proceedings of the PARLE '93, 1993

Generational Garbage Collection for Haskell.

Patrick M. Sansom, Simon L. Peyton Jones

Proceedings of the conference on Functional programming languages and computer architecture, 1993

A Short Cut to Deforestation.

Andrew John Gill, John Launchbury, Simon L. Peyton Jones

Proceedings of the conference on Functional programming languages and computer architecture, 1993

Measuring the effectiveness of a simple strictness analyser.

Simon Peyton Jones, Will Partain

Proceedings of the 1993 Glasgow Workshop on Functional Programming, 1993

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, Thomas Johnsson, Richard B. Kieburtz, Rishiyur S. Nikhil, Will Partain, John Peterson

ACM SIGPLAN Notices, 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

Implementing Lazy Functional Languages on Stock Hardware: The Spineless Tagless G-Machine.

Simon L. Peyton Jones

J. Funct. Program., 1992

On Program Transformation in the Glasgow Haskell Compiler.

André L. M. Santos, Simon L. Peyton Jones

Proceedings of the Functional Programming, 1992

Profiling Lazy Functional Programs.

Patrick M. Sansom, Simon L. Peyton Jones

Proceedings of the Functional Programming, 1992

Avoiding Unnecessary Updates.

John Launchbury, Andy Gill, John Hughes, Simon Marlow, Simon L. Peyton Jones, Philip Wadler

Proceedings of the Functional Programming, 1992

The Glasgow Haskell Compiler: A Retrospective.

Cordelia V. Hall, Kevin Hammond, Will Partain, Simon L. Peyton Jones, Philip Wadler

Proceedings of the Functional Programming, 1992

1991

A Modular Fully-lazy Lambda Lifter in HASKELL.

Simon L. Peyton Jones, David R. Lester

Softw. Pract. Exp., 1991

A Futurebus interface from off-the-shelf parts.

Simon L. Peyton Jones, Mark Hardie

IEEE Micro, 1991

Unboxed Values as First Class Citizens in a Non-Strict Functional Language.

Simon L. Peyton Jones, John Launchbury

Proceedings of the Functional Programming Languages and Computer Architecture, 1991

A Parallel Functional Database on GRIP.

Gert Akerholt, Kevin Hammond, Simon L. Peyton Jones, Philip W. Trinder

Proceedings of the Functional Programming, 1991

1989

Parallel Implementations of Functional Programming Languages.

Simon L. Peyton Jones

Comput. J., 1989

High-Performance parallel graph reduction.

Simon L. Peyton Jones, Chris D. Clack, Jon Salkild

Proceedings of the PARLE '89: Parallel Architectures and Languages Europe, 1989

The Spineless Tagless G-Machine.

Simon L. Peyton Jones, Jon Salkild

Proceedings of the fourth international conference on Functional programming languages and computer architecture, 1989

1988

A Safe Approach to Parallel Combinator Reduction.

Chris Hankin, Geoffrey Livingston Burn, Simon L. Peyton Jones

Theor. Comput. Sci., 1988

FLIC - a functional language intermediate code.

Simon L. Peyton Jones

ACM SIGPLAN Notices, 1988

The Spineless G-Machine.

Geoffrey Livingston Burn, Simon L. Peyton Jones, J. D. Robson

Proceedings of the 1988 ACM Conference on LISP and Functional Programming, 1988

1987

GRIP - A high-performance architecture for parallel graph reduction.

Simon L. Peyton Jones, Chris D. Clack, Jon Salkild, Mark Hardie

Proceedings of the Functional Programming Languages and Computer Architecture, 1987

The Implementation of Functional Programming Languages.

Simon L. Peyton Jones

Prentice-Hall, 1987

1986

Using Futurebus in a fifth-generation computer.

Simon Peyton Jones

Microprocess. Microsystems, 1986

Parsing Distfix Operators.

Simon L. Peyton Jones

Commun. ACM, 1986

The Four-Stroke Reduction Engine.

Chris D. Clack, Simon L. Peyton Jones

Proceedings of the 1986 ACM Conference on LISP and Functional Programming, 1986

A Safe Approach to Parallel Combinator Reduction (Extended Abstract).

Chris Hankin, Geoffrey Livingston Burn, Simon L. Peyton Jones

Proceedings of the ESOP 86, 1986

Functional Programming Languages as a Software Engineering Tool.

Simon L. Peyton Jones

Proceedings of the Embedded Systems: New Approaches to Their Formal Description and Design, 1986

1985

Yacc in Sasl-an Exercise in Functional Programming.

Simon L. Peyton Jones

Softw. Pract. Exp., 1985

An Introduction to Fully-Lazy Supercombinators.

Simon L. Peyton Jones

Proceedings of the Combinators and Functional Programming Languages, 1985

Strictness Analysis - A Practical Approach.

Chris D. Clack, Simon L. Peyton Jones

Proceedings of the Functional Programming Languages and Computer Architecture, 1985

1982

An Investigation of the Relative Efficiencies of Combinators and Lambda Expressions.

Simon L. Peyton Jones

Proceedings of the 1982 ACM Symposium on LISP and Functional Programming, 1982

1981

An ADA^TM compatible specification language.

N. C. L. Beale, Simon L. Peyton Jones

Proceedings of the ACM 1981 Annual Conference, Los Angeles, CA, USA, November 9-11, 1981., 1981