Provably correct, asymptotically efficient, higher-order reverse-mode automatic differentiation
Krawiec, Faustyna, Peyton Jones, Simon, Krishnaswami, Neel, Ellis, Tom, Eisenberg, Richard A., Fitzgibbon, Andrew
Published in Proceedings of ACM on programming languages (01.01.2022)
Published in Proceedings of ACM on programming languages (01.01.2022)
Get full text
Journal Article
OutsideIn(X) Modular type inference with local assumptions
VYTINIOTIS, DIMITRIOS, PEYTON JONES, SIMON, SCHRIJVERS, TOM, SULZMANN, MARTIN
Published in Journal of functional programming (01.09.2011)
Published in Journal of functional programming (01.09.2011)
Get full text
Journal Article
Build systems à la carte
Mokhov, Andrey, Mitchell, Neil, Peyton Jones, Simon
Published in Proceedings of ACM on programming languages (01.09.2018)
Published in Proceedings of ACM on programming languages (01.09.2018)
Get full text
Journal Article
A quick look at impredicativity
Serrano, Alejandro, Hage, Jurriaan, Peyton Jones, Simon, Vytiniotis, Dimitrios
Published in Proceedings of ACM on programming languages (02.08.2020)
Published in Proceedings of ACM on programming languages (02.08.2020)
Get full text
Journal Article
Build systems à la carte: Theory and practice
MOKHOV, ANDREY, MITCHELL, NEIL, PEYTON JONES, SIMON
Published in Journal of functional programming (2020)
Published in Journal of functional programming (2020)
Get full text
Journal Article
The Verse Calculus: A Core Calculus for Deterministic Functional Logic Programming
Augustsson, Lennart, Breitner, Joachim, Claessen, Koen, Jhala, Ranjit, Peyton Jones, Simon, Shivers, Olin, Steele Jr, Guy L., Sweeney, Tim
Published in Proceedings of ACM on programming languages (30.08.2023)
Published in Proceedings of ACM on programming languages (30.08.2023)
Get full text
Journal Article
Safe zero-cost coercions for Haskell
BREITNER, JOACHIM, EISENBERG, RICHARD A., PEYTON JONES, SIMON, WEIRICH, STEPHANIE
Published in Journal of functional programming (01.01.2016)
Published in Journal of functional programming (01.01.2016)
Get full text
Journal Article
Lower your guards: a compositional pattern-match coverage checker
Graf, Sebastian, Peyton Jones, Simon, Scott, Ryan G.
Published in Proceedings of ACM on programming languages (02.08.2020)
Published in Proceedings of ACM on programming languages (02.08.2020)
Get full text
Journal Article
Kinds are calling conventions
Downen, Paul, Ariola, Zena M., Peyton Jones, Simon, Eisenberg, Richard A.
Published in Proceedings of ACM on programming languages (02.08.2020)
Published in Proceedings of ACM on programming languages (02.08.2020)
Get full text
Journal Article
Higher-order type-level programming in Haskell
Kiss, Csongor, Field, Tony, Eisenbach, Susan, Peyton Jones, Simon
Published in Proceedings of ACM on programming languages (01.08.2019)
Published in Proceedings of ACM on programming languages (01.08.2019)
Get full text
Journal Article
Practical type inference for arbitrary-rank types
JONES, SIMON PEYTON, VYTINIOTIS, DIMITRIOS, WEIRICH, STEPHANIE, SHIELDS, MARK
Published in Journal of functional programming (01.01.2007)
Published in Journal of functional programming (01.01.2007)
Get full text
Journal Article
Composable scheduler activations for Haskell
SIVARAMAKRISHNAN, K. C., HARRIS, TIM, MARLOW, SIMON, PEYTON JONES, SIMON
Published in Journal of functional programming (01.01.2016)
Published in Journal of functional programming (01.01.2016)
Get full text
Journal Article
A monadic framework for delimited continuations
Dyvbig, R. KENT, JONES, SIMON PEYTON, SABRY, AMR
Published in Journal of functional programming (01.11.2007)
Published in Journal of functional programming (01.11.2007)
Get full text
Journal Article
Modular, higher order cardinality analysis in theory and practice
SERGEY, ILYA, VYTINIOTIS, DIMITRIOS, JONES, SIMON L. PEYTON, BREITNER, JOACHIM
Published in Journal of functional programming (01.01.2017)
Published in Journal of functional programming (01.01.2017)
Get full text
Journal Article