Publications by Year

2024

Abstracting denotational interpreter

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

Back to top ↑

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...

Back to top ↑

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

Back to top ↑

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

Back to top ↑

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...

Back to top ↑

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

Back to top ↑

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

Back to top ↑

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 ...

Back to top ↑

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...

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

Back to top ↑

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...

Back to top ↑

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...

Back to top ↑

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...