Bits with soul
Simon Peyton Jones Darwin College Lecture Series, January 2025 Video Slides
2025
2024
Functional abstract interpretation
Sebastian Graf PhD thesis, Karlsruhe University, Dec 2024. View PDF
Abstracting denotational interpreters
Sebastian Graf, Simon Peyton Jones, and Sven Keidel Under submission. View PDF
2023
The Verse Calculus: a core calculus for functional logic programming
Lennart Augustsson, Joachim Breitner, Koen Claessen, Ranjit Jhala, Simon Peyton Jones, Olin Shivers, Tim Sweeney, Epic Games Proc. International Conference ...
Secrets of the GHC Typechecker in 100 Type Declarations
Simon Peyton Jones Video of talk at the GHC Contributors Workshop, June 2023 Video Slides
2021
Provably Correct, Asymptotically Efficient, Higher-Order Reverse-Mode Automatic Differentiation
Faustyna Krawiec, Neel Krishnaswami, Simon Peyton Jones, Tom Ellis, Andrew Fitzgibbon, and Richard Eisenberg Published in POPL 2022 View PDF Download Bib...
VICAUSE: Simultaneous Missing Value Imputation and Causal Discovery
Pablo Morales-Alvarez, Angus Lamb, Simon Woodhead, Simon Peyton Jones, Miltos Allamanis, Cheng Zhang (2021). Published in ICML 2021 workshop on The Neglecte...
Triemaps that match
Simon Peyton Jones, Richard Eisenberg, Sebastian Graf Technical report View PDF Download BibTex
Hashing Modulo Alpha-Equivalence
Krzysztof Maziarz, Tom Ellis, Alan Lawrence, Andrew Fitzgibbon, Simon Peyton Jones Published in ACM SIGPLAN Conference on Programming Language Design and Im...
Results and Insights from Diagnostic Questions: The NeurIPS 2020 Education Challenge
Zichao Wang, Angus Lamb, Evgeny Saveliev, Yordan Zaykov, Pashmina Cameron, Jose Miguel Hernandez-Lobato, Richard E. Turner, Richard G. Baraniuk, Simon Peyton...
2020
Elastic Sheet-Defined Functions: Generalising Spreadsheet Functions to Variable-Size Input Arrays
Matt McCutchen, Judith Borghouts, Andy Gordon, Simon Peyton Jones, Advait Sarkar Published in Journal of Functional Programming View PDF Download BibTex
Lower your guards: a compositional pattern-match coverage checker
Simon Peyton Jones, Sebastian Graf, Ryan Scott Published in International Conference on Functional Programming (ICFP’20) View PDF Download BibTex
Kinds Are Calling Conventions
Paul Downen, Zena Ariola, Simon Peyton Jones, Richard Eisenberg. (2020). Published in International Conference on Functional Programming (ICFP’20) by ACM V...
A quick look at impredicativity
Alejandro Serrano, Jurriaan Hage, Simon Peyton Jones, Dimitrios Vytiniotis Published in International Conference on Functional Programming (ICFP’20) by ACM ...
Diagnostic Questions: The NeurIPS 2020 Education Challenge
Zichao Wang, Angus Lamb, Evgeny Saveliev, Pashmina Cameron, Yordan Zaykov, Jose Miguel Hernandez Lobato, Richard Turner, Richard Baraniuk, Craig Barton, Simo...
Build systems a la carte: theory and practice
Andrey Mokhov, Neil Mitchell, Simon Peyton Jones Published in Journal of Functional Programming, Vol 30(E11) View PDF Download BibTex
2019
Making a faster curry with extensional types
Paul Downen, Zachary Sullivan, Zena Ariola, Simon Peyton Jones Published in Haskell Symposium by ACM View PDF Download BibTex
Higher-order type-level programming in Haskell
Csongor Kiss, Susan Eisenbach, Tony Field, Simon Peyton Jones Published in International Conference on Functional Programming (ICFP’19) by ACM View PDF Dow...
Efficient differentiable programming in a functional array-processing language
Amir Shaikhha, Andrew Fitzgibbon, Dimitrios Vytiniotis, Simon Peyton Jones Published in International Conference on Functional Programming (ICFP’19) by ACM ...
Type inference as constraint solving: how GHC’s type inference engine actually works
Simon Peyton Jones Keynote talk for Zurihac View Slides Download BibTex
Codata in action
Paul Downen, Zachary Sullivan, Zena Ariola, Simon Peyton Jones Published in European Symposium on Programming (ESOP’19) by Springer View PDF Download BibTex
2018
Calculation View: multiple-representation editing in spreadsheets
Advait Sarkar, Andy Gordon, Simon Peyton Jones, Neil Toronto Published in EEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC) by IEEE Vi...
Type variables in patterns
Richard Eisenberg, Joachim Breitner, Simon Peyton Jones Published in Proc ACM Haskell Symposium (Haskell ‘18) by ACM View PDF Download BibTex
Build systems a la carte
Andrey Mokhov, Neil Mitchell, Simon Peyton Jones Published in Proc International Conference on Functional Programming (ICFP’18) by ACM View PDF Download Bi...
Guarded impredicative polymorphism
Alejandro Serrano, Jurriaan Hage, Dimitrios Vytiniotis, Simon Peyton Jones Published in Proc ACM SIGPLAN Conference on Programming Languages Design and Impl...
Linear Haskell: practical linearity in a higher-order polymorphic language
Jean-Philippe Bernardy, Mathieu Boespflug, Ryan R. Newton, Simon Peyton Jones, Arnaud Spiwack Published in Principles of Programming Languages 2018 (POPL 20...
2017
Using Destination-Passing Style to Compile a Functional Language into Efficient Low-Level Code
Amir Shaikhha, Andrew Fitzgibbon, Simon Peyton Jones, Dimitrios Vytiniotis Published in Workshop on Functional High-Performance Computing by ACM View PDF D...
SHErrLoc: a static holistic error locator
Danfeng Zhang, Andrew C Myers, Simon Peyton Jones, Dimitrios Vytiniotis Published in Transactions on Programming Languages and Systems, Vol 34(4) View PDF ...
Levity polymorphism
Richard Eisenberg, Simon Peyton Jones Published in ACM Conference on Programming Language Design and Implementation (PLDI’17) by ACM View PDF Download BibTex
Compiling without continuations
Luke Maurer, Zena Ariola, Paul Downen, Simon Peyton Jones Published in ACM Conference on Programming Languages Design and Implementation (PLDI’17) by ACM V...
Trees that grow
Shayan Najd, Simon Peyton Jones Published in Journal of Universal Computer Science (JUCS) , Vol 23: pp. 47-62 View PDF Download BibTex
2016
Modular, higher-order cardinality analysis in theory and practice
Ilya Sergey, Dimitrios Vytiniotis, Joachim Breitner, Simon Peyton Jones Published in Journal of Functional Programming View PDF Download BibTex
Sequent calculus as a compiler intermediate language
Paul Downen, Luke Maurer, Zena Ariola, Simon Peyton Jones Published in International Conference on Functional Programming (ICFP’16) by ACM View PDF Downloa...
Pattern Synonyms
Matthew Pickering, Gerg˝o Érdi, Simon Peyton Jones, Richard A. Eisenberg Published in Haskell’16 View PDF Download BibTex
Non-recursive Make Considered Harmful
Andrey Mokhov, Neil Mitchell, Simon Peyton Jones, Simon Marlow Published in Proceedings of the 9th International Symposium on Haskell View PDF Download Bib...
Desugaring Haskell’s do-notation Into Applicative Operations
Simon Marlow, Simon Peyton Jones, Edward Kmett, Andrey Mokhov Published in Haskell Symposium View PDF Download BibTex
Safe zero-cost coercions for Haskell
Joachim Breitner, Richard Eisenberg, Simon Peyton Jones, Stephanie Weirich Published in Journal of Functional Programming View PDF Download BibTex
Composable Scheduler Activations for Haskell
KC Sivaramakrishnan, Tim Harris, Simon Marlow, Simon Peyton Jones Published in Journal of Functional Programming View PDF Download BibTex
Typed reflection in Haskell
Simon Peyton Jones, Stephanie Weirich, Richard A. Eisenberg, Dimitrios Vytiniotis Proc Philip Wadler’s 60th birthday Festschrift, Edinburgh, April 2016 Vie...
Backpack to work: towards practical mixin linking for Haskell
Simon Peyton Jones, Edward Yang, Scott Kilpatrick, Derek Dreyer In submission View PDF Download BibTex
2015
Injective type families for Haskell
Jan Stolarek, Richard Eisenberg, Simon Peyton Jones Published in ACM Haskell Symposium 2015 by ACM View PDF Download BibTex
GADTs meet their match: pattern-matching warnings that account for GADTs, guards, and laziness
Georgios Karachalias, Tom Schrijvers, Dimitrios Vytiniotis, Simon Peyton Jones Published in ACM International Conference on Functional Programming 2015 (ICF...
Diagnosing type errors with class
Danfeng Zhang, Andrew C Myers, Dimitrios Vytiniotis, Simon Peyton Jones Published in Programming Languages Design and Implementation (PLDI’15) by ACN PLDI ...
2014
Refinement Types for Haskell
Niki Vazou, Eric L. Seidel, Ranjit Jhala, Dimitrios Vytiniotis, Simon Peyton Jones Published in Proceedings of the 19th ACM SIGPLAN International Conference...
Theory and practice of demand analysis in Haskell
Ilya Sergey, Simon Peyton Jones, Dimitrios Vytiniotis Unpublished draft View PDF Download BibTex
Safe, zero-cost coercions for Haskell
Joachin Breitner, Richard Eisenberg, Simon Peyton Jones, Stephanie Weirich Published in ICFP 2014 View PDF Download BibTex
Modular, Higher-order Cardinality Analysis in Theory and Practice
Ilya Sergey, Dimitrios Vytiniotis, Simon Peyton Jones Published in Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languag...
Computing at School: Informatics Europe Best Practices in Education Award
Simon Peyton Jones, Sue Sentance, Submission to Informatics Europe Best Practices in Education Award, 2014 View PDF
Closed Type Families with Overlapping Equations
Richard A. Eisenberg, Dimitrios Vytiniotis, Simon Peyton Jones, Stephanie Weirich Published in Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Princ...
Backpack: retrofitting Haskell with interfaces
Scott Kilpatrick, Derek Dreyer, Simon Peyton Jones, Simon Marlow Published in POPL ‘14 by ACM View PDF Download BibTex
2013
Exploiting vector instructions with generalized stream fusion
Simon Peyton Jones, Geoff Mainland, Simon Marlow, Roman Leshchinskiy Published in ACM SIGPLAN International Conference on Functional Programming (ICFP ‘13) ...
Evidence normalization in System FC
Dimitrios Vytiniotis, Simon Peyton Jones Published in 24th International Conference on Rewriting Techniques and Applications (RTA’13) by LIPICS, Schloss Dag...
Computing at school in the UK: from guerrilla to gorilla
Simon Peyton Jones, Simon Humphreys, Bill MitchellSubmitted to CACM View PDF Download BibTex
Supercompilation for call by need languages
Max Bolingbroke PhD thesis, University of Cambridge, April 2013 View PDF
Bringing Computer Science Back Into Schools: Lessons from the UK
Michael Kolling, Tom Crick, Simon Peyton Jones, Simon Humphreys, Sue Sentance Published in SIGCSE’13 by ACM View PDF Download BibTex
HALO: Haskell to Logic Through Denotational Semantics
Dimitrios Vytiniotis, Simon Peyton Jones, Koen Claessen, Dan Rosén Published in Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of...
2012
Vectorisation avoidance
Gabriele Keller, Manuel Chakravarty, Roman Leshchinskiy, Ben Lippmeier, Simon Peyton Jones Published in Haskell Symposium by ACM View PDF Download BibTex
Safe Haskell
Simon Peyton Jones Published in Haskell ‘12: Proceedings of the Fifth ACM SIGPLAN Symposium on Haskell by ACM View PDF Download BibTex
Guiding parallel array fusion with index types
Ben Lippmeier, Manuel Chakravarty, Gabriele Keller, Simon Peyton Jones Published in Haskell Symposium, Copenhagen by ACM View PDF Download BibTex
Work Efficient Higher-Order Vectorisation
Ben Lippmeier, Manuel Chakravarty, Gabriele Keller, Roman Leshchinskiy, Simon Peyton Jones Published in ICFP’12 by ACM View PDF Download BibTex
Equality proofs and deferred type errors
Dimitrios Vytiniotis, Simon Peyton Jones, Jose Pedro Magalhaes Published in International Conference on Functional Programming (ICFP’12) by ACM View PDF Do...
The Glasgow Haskell Compiler
Simon Marlow, Simon Peyton Jones Published in The Architecture of Open Source Applications, Volume 2 by Lulu View PDF Download BibTex
Giving Haskell a Promotion
Brent Yorgey, Stephanie Weirich, Julien Cretin, Simon Peyton Jones, Dimitrios Vytiniotis, Jose Pedro Magalhaes Published in Proceedings of TLDI’12 by ACM V...
2011
Termination Combinators Forever
Maximilian Bolingbroke, Simon Peyton Jones, Dimitrios Vytiniotis Published in ACM Haskell Symposium, 2011 by ACM (Tokyo) View PDF Download BibTex
OutsideIn(X): Modular type inference with local assumptions
Dimitrios Vytiniotis, Simon Peyton Jones, Tom Schrijvers, Martin Sulzmann Journal of Functional Programming, Vol 21: pp. 333-412 View PDF Download BibTex
Towards Haskell in the cloud
Jeff Epstein, Andrew Black, Simon Peyton Jones Haskell Symposium View PDF Download BibTex
Multicore Garbage Collection with Local Heaps
Simon Peyton Jones Published in ISMM ‘11: Proceedings of the 10th International Symposium on Memory Management by ACM View PDF Download BibTex
Practical aspects of evidence-based compilation in System FC
Dimitrios Vytiniotis, Simon Peyton Jones View PDF Download BibTex
Haskell and transactional memory
Dimitrios Vytiniotis, Simon Peyton Jones View PDF Download BibTex Slides (Japanese)
Efficient Parallel Stencil Convolution in Haskell
Simon Peyton Jones, Ben Lippmeier, Gabriele Keller Submitted to ICFP 2011 View PDF Download BibTex
Improving supercompilation: tag-bags, rollback, speculation, normalisation, and generalisation
Max Bolingbroke, Simon Peyton Jones Published in ICFP View PDF Download BibTex
Generative type abstraction and type-level computation
Stephanie Weirich , Dimitrios Vytiniotis, Simon Peyton Jones, Steve Zdancewic Published in Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on P...
A Monad for Deterministic Parallelism
Simon Peyton Jones Published in Haskell ‘11: Proceedings of the Fourth ACM SIGPLAN Symposium on Haskell by ACM View PDF Download BibTex
2010
Supercompilation by evaluation
Max Bolingbroke, Simon Peyton Jones Published in Haskell Symposium 2010 View PDF Download BibTex
Regular, shape-polymorphic, parallel arrays in Haskell
Gabriele Keller, Manuel Chakravarty, Roman Leshchinskiy, Simon Peyton Jones To appear at ICFP’10 View PDF Download BibTex
Let Should Not Be Generalised
Dimitrios Vytiniotis, Simon Peyton Jones, Tom Schrijvers Published in Proceedings of the 5th ACM SIGPLAN Workshop on Types in Language Design and Implementat...
Hoopl: A Modular, Reusable Library for Dataflow Analysis and Transformation
Norman Ramsey, John Dias, Simon Peyton Jones ACM Haskell Symposium 2010 View PDF Download BibTex
2000
Papers Published 2000-2009
Simon Peyton Jones
1990
Papers Published 1990-1999
Simon Peyton Jones
1980
Papers Published 1980-1989
Simon Peyton Jones