Simon Peyton Jones

Publication Activity (10 Years)

Years Active: 1986-2024
Publications (10 Years): 47

Top Topics

Sequent Calculus

Draw Conclusions

Functional Language

Memory Management

Top Venues

Proc. ACM Program. Lang.

J. Funct. Program.

Publications

Sebastian Graf, Simon Peyton Jones, Sven Keidel
Abstracting Denotational Interpreters. CoRR (2024)
Simon Peyton Jones, Sebastian Graf
Triemaps that match. CoRR (2023)
Lennart Augustsson, Joachim Breitner, Koen Claessen, Ranjit Jhala, Simon Peyton Jones, Olin Shivers, Guy L. Steele Jr., Tim Sweeney
The Verse Calculus: A Core Calculus for Deterministic Functional Logic Programming. Proc. ACM Program. Lang. 7 (ICFP) (2023)
Pablo Morales-Alvarez, Wenbo Gong, Angus Lamb, Simon Woodhead, Simon Peyton Jones, Nick Pawlowski, Miltiadis Allamanis, Cheng Zhang
Simultaneous Missing Value Imputation and Structure Learning with Groups. NeurIPS (2022)
Amir Shaikhha, Mathieu Huot, Shabnam Ghasemirad, Andrew W. Fitzgibbon, Simon Peyton Jones, Dimitrios Vytiniotis
Efficient and Sound Differentiable Programming in a Functional Array-Processing Language. CoRR (2022)
Jooyeon Kim, Angus Lamb, Simon Woodhead, Simon Peyton Jones, Cheng Zhang, Miltiadis Allamanis
CoRGi: Content-Rich Graph Neural Networks with Attention. KDD (2022)
Faustyna Krawiec, Simon Peyton Jones, Neel Krishnaswami, Tom Ellis, Richard A. Eisenberg, Andrew W. Fitzgibbon
Provably correct, asymptotically efficient, higher-order reverse-mode automatic differentiation. Proc. ACM Program. Lang. 6 (POPL) (2022)
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
Results and Insights from Diagnostic Questions: The NeurIPS 2020 Education Challenge. CoRR (2021)
Jooyeon Kim, Angus Lamb, Simon Woodhead, Simon Peyton Jones, Cheng Zheng, Miltiadis Allamanis
CoRGi: Content-Rich Graph Neural Networks with Attention. CoRR (2021)
Zichao Wang, Sebastian Tschiatschek, Simon Woodhead, José Miguel Hernández-Lobato, Simon Peyton Jones, Richard G. Baraniuk, Cheng Zhang
Educational Question Mining At Scale: Prediction, Analysis and Personalization. AAAI (2021)
Pablo Morales-Alvarez, Angus Lamb, Simon Woodhead, Simon Peyton Jones, Miltiadis Allamanis, Cheng Zhang
VICause: Simultaneous Missing Value Imputation and Causal Discovery with Groups. CoRR (2021)
Krzysztof Maziarz, Tom Ellis, Alan Lawrence, Andrew W. Fitzgibbon, Simon Peyton Jones
Hashing modulo alpha-equivalence. PLDI (2021)
Krzysztof Maziarz, Tom Ellis, Alan Lawrence, Andrew W. Fitzgibbon, Simon Peyton Jones
Hashing Modulo Alpha-Equivalence. CoRR (2021)
Andrey Mokhov, Neil Mitchell, Simon Peyton Jones
Build systems à la carte: Theory and practice. J. Funct. Program. 30 (2020)
Sebastian Graf, Simon Peyton Jones, Ryan G. Scott
Lower your guards: a compositional pattern-match coverage checker. Proc. ACM Program. Lang. 4 (ICFP) (2020)
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
Diagnostic Questions: The NeurIPS 2020 Education Challenge. CoRR (2020)
Matt McCutchen, Judith Borghouts, Andrew D. Gordon, Simon Peyton Jones, Advait Sarkar
Elastic sheet-defined functions: Generalising spreadsheet functions to variable-size input arrays. J. Funct. Program. 30 (2020)
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
Results and Insights from Diagnostic Questions: The NeurIPS 2020 Education Challenge. NeurIPS (Competition and Demos) (2020)
Alejandro Serrano, Jurriaan Hage, Simon Peyton Jones, Dimitrios Vytiniotis
A quick look at impredicativity. Proc. ACM Program. Lang. 4 (ICFP) (2020)
Zichao Wang, Sebastian Tschiatschek, Simon Woodhead, José Miguel Hernández-Lobato, Simon Peyton Jones, Cheng Zhang
Large-Scale Educational Question Analysis with Partial Variational Auto-encoders. CoRR (2020)
Paul Downen, Zena M. Ariola, Simon Peyton Jones, Richard A. Eisenberg
Kinds are calling conventions. Proc. ACM Program. Lang. 4 (ICFP) (2020)
Amir Shaikhha, Andrew W. Fitzgibbon, Dimitrios Vytiniotis, Simon Peyton Jones
Efficient differentiable programming in a functional array-processing language. Proc. ACM Program. Lang. 3 (ICFP) (2019)
Paul Downen, Zachary Sullivan, Zena M. Ariola, Simon Peyton Jones
Codata in Action. ESOP (2019)
Paul Downen, Zachary Sullivan, Zena M. Ariola, Simon Peyton Jones
Making a faster Curry with extensional types. Haskell@ICFP (2019)
Sebastian Graf, Simon Peyton Jones
Selective Lambda Lifting. CoRR (2019)
Csongor Kiss, Tony Field, Susan Eisenbach, Simon Peyton Jones
Higher-order type-level programming in Haskell. Proc. ACM Program. Lang. 3 (ICFP) (2019)
Richard A. Eisenberg, Joachim Breitner, Simon Peyton Jones
Type variables in patterns. Haskell@ICFP (2018)
Andrey Mokhov, Neil Mitchell, Simon Peyton Jones
Build systems à la carte. Proc. ACM Program. Lang. 2 (ICFP) (2018)
Richard A. Eisenberg, Joachim Breitner, Simon Peyton Jones
Type variables in patterns. CoRR (2018)
Alejandro Serrano, Jurriaan Hage, Dimitrios Vytiniotis, Simon Peyton Jones
Guarded impredicative polymorphism. PLDI (2018)
Advait Sarkar, Andrew D. Gordon, Simon Peyton Jones, Neil Toronto
Calculation View: multiple-representation editing in spreadsheets. VL/HCC (2018)
Jean-Philippe Bernardy, Mathieu Boespflug, Ryan R. Newton, Simon Peyton Jones, Arnaud Spiwack
Linear Haskell: practical linearity in a higher-order polymorphic language. Proc. ACM Program. Lang. 2 (POPL) (2018)
Amir Shaikhha, Andrew W. Fitzgibbon, Dimitrios Vytiniotis, Simon Peyton Jones, Christoph Koch
Efficient Differentiable Programming in a Functional Array-Processing Language. CoRR (2018)
Amir Shaikhha, Andrew W. Fitzgibbon, Simon Peyton Jones, Dimitrios Vytiniotis
Destination-passing style for efficient memory management. FHPC@ICFP (2017)
Jean-Philippe Bernardy, Mathieu Boespflug, Ryan R. Newton, Simon Peyton Jones, Arnaud Spiwack
Linear Haskell: practical linearity in a higher-order polymorphic language. CoRR (2017)
Richard A. Eisenberg, Simon Peyton Jones
Levity polymorphism. PLDI (2017)
Shayan Najd, Simon Peyton Jones
Trees that Grow. J. Univers. Comput. Sci. 23 (1) (2017)
Geoffrey Mainland, Roman Leshchinskiy, Simon Peyton Jones
Exploiting vector instructions with generalized stream fusion. Commun. ACM 60 (5) (2017)
Simon Peyton Jones
How to Write a Great Research Paper. ICCSW (2017)
Simon Marlow, Simon Peyton Jones, Edward Kmett, Andrey Mokhov
Desugaring Haskell's do-notation into applicative operations. Haskell (2016)
Joachim Breitner, Richard A. Eisenberg, Simon Peyton Jones, Stephanie Weirich
Safe zero-cost coercions for Haskell. J. Funct. Program. 26 (2016)
Andrey Mokhov, Neil Mitchell, Simon Peyton Jones, Simon Marlow
Non-recursive make considered harmful: build systems at scale. Haskell (2016)
Paul Downen, Luke Maurer, Zena M. Ariola, Simon Peyton Jones
Sequent calculus as a compiler intermediate language. ICFP (2016)
K. C. Sivaramakrishnan, Tim Harris, Simon Marlow, Simon Peyton Jones
Composable scheduler activations for Haskell. J. Funct. Program. 26 (2016)
Simon Peyton Jones, Stephanie Weirich, Richard A. Eisenberg, Dimitrios Vytiniotis
A Reflection on Types. A List of Successes That Can Change the World (2016)
Shayan Najd, Simon Peyton Jones
Trees That Grow. CoRR (2016)
Matthew Pickering, Gergo Érdi, Simon Peyton Jones, Richard A. Eisenberg
Pattern synonyms. Haskell (2016)
Simon Peyton Jones
The dream of a lifetime: an opportunity to shape how our children learn computing. PPIG (2015)
Tim Sheard, Simon Peyton Jones
Template meta-programming for Haskell. Haskell (2002)
Simon Peyton Jones, Erik Meijer, Daan Leijen
Scripting COM components in Haskell. ICSR (1998)
Sigbjørn Finne, Simon Peyton Jones
Programming Reactive Systems in Haskell. Functional Programming (1994)
Simon Peyton Jones, André L. M. Santos
Compilation by Transformation in the Glasgow Haskell Compiler. Functional Programming (1994)
Simon Peyton Jones, Will Partain
Measuring the effectiveness of a simple strictness analyser. Functional Programming (1993)
Simon Peyton Jones
Using Futurebus in a fifth-generation computer. Microprocess. Microsystems 10 (2) (1986)