Simon L. Peyton Jones

Publication Activity (10 Years)

Years Active: 1981-2017
Publications (10 Years): 3

Top Venues

ICFP

POPL

Haskell

PLDI

Publications

Luke Maurer, Paul Downen, Zena M. Ariola, Simon L. Peyton Jones
Compiling without continuations. PLDI (2017)
Ilya Sergey, Dimitrios Vytiniotis, Simon L. Peyton Jones, Joachim Breitner
Modular, higher order cardinality analysis in theory and practice. J. Funct. Program. 27 (2017)
Danfeng Zhang, Andrew C. Myers, Dimitrios Vytiniotis, Simon L. Peyton Jones
SHErrLoc: A Static Holistic Error Locator. ACM Trans. Program. Lang. Syst. 39 (4) (2017)
Georgios Karachalias, Tom Schrijvers, Dimitrios Vytiniotis, Simon L. Peyton Jones
GADTs meet their match: pattern-matching warnings that account for GADTs, guards, and laziness. ICFP (2015)
Danfeng Zhang, Andrew C. Myers, Dimitrios Vytiniotis, Simon L. Peyton Jones
Diagnosing type errors with class. PLDI (2015)
Ralf Lämmel, Simon L. Peyton Jones
ICFP 2004: Scrap More Boilerplate: Reflection, Zips, and Generalised Casts. ACM SIGPLAN Notices 50 (8s) (2015)
Jan Stolarek, Simon L. Peyton Jones, Richard A. Eisenberg
Injective type families for Haskell. Haskell (2015)
Richard A. Eisenberg, Dimitrios Vytiniotis, Simon L. Peyton Jones, Stephanie Weirich
Closed type families with overlapping equations. POPL (2014)
Scott Kilpatrick, Derek Dreyer, Simon L. Peyton Jones, Simon Marlow
Backpack: retrofitting Haskell with interfaces. POPL (2014)
Joachim Breitner, Richard A. Eisenberg, Simon L. Peyton Jones, Stephanie Weirich
Safe zero-cost coercions for Haskell. ICFP (2014)
Ilya Sergey, Dimitrios Vytiniotis, Simon L. Peyton Jones
Modular, higher-order cardinality analysis in theory and practice. POPL (2014)
Niki Vazou, Eric L. Seidel, Ranjit Jhala, Dimitrios Vytiniotis, Simon L. Peyton Jones
Refinement types for Haskell. ICFP (2014)
Simon L. Peyton Jones
The computing at school working group. ITiCSE (2013)
Neil Christopher Charles Brown, Michael Kölling, Tom Crick, Simon L. Peyton Jones, Simon Humphreys, Sue Sentance
Bringing computer science back into schools: lessons from the UK. SIGCSE (2013)
Dimitrios Vytiniotis, Simon L. Peyton Jones
Evidence Normalization in System FC (Invited Talk). RTA (2013)
Simon L. Peyton Jones
Type-Directed Compilation in the Wild: Haskell and Core. TLCA (2013)
Simon L. Peyton Jones
Computer science as a school subject. ICFP (2013)
Geoffrey Mainland, Roman Leshchinskiy, Simon L. Peyton Jones
Exploiting vector instructions with generalized stream fusio. ICFP (2013)
Dimitrios Vytiniotis, Simon L. Peyton Jones, Koen Claessen, Dan Rosén
HALO: haskell to logic through denotational semantics. POPL (2013)
Ben Lippmeier, Manuel M. T. Chakravarty, Gabriele Keller, Simon L. Peyton Jones
Guiding parallel array fusion with indexed types. Haskell (2012)
Ben Lippmeier, Manuel M. T. Chakravarty, Gabriele Keller, Roman Leshchinskiy, Simon L. Peyton Jones
Work efficient higher-order vectorisation. ICFP (2012)
David Terei, Simon Marlow, Simon L. Peyton Jones, David Mazières
Safe haskell. Haskell (2012)
Brent A. Yorgey, Stephanie Weirich, Julien Cretin, Simon L. Peyton Jones, Dimitrios Vytiniotis, José Pedro Magalhães
Giving Haskell a promotion. TLDI (2012)
Gabriele Keller, Manuel M. T. Chakravarty, Roman Leshchinskiy, Ben Lippmeier, Simon L. Peyton Jones
Vectorisation avoidance. Haskell (2012)
Oleg Kiselyov, Simon L. Peyton Jones, Amr Sabry
Lazy v. Yield: Incremental, Linear Pretty-Printing. APLAS (2012)
David Terei, Simon Marlow, Simon L. Peyton Jones, David Mazières
Safe Haskell. Tiny Trans. Comput. Sci. 1 (2012)
Dimitrios Vytiniotis, Simon L. Peyton Jones, José Pedro Magalhães
Equality proofs and deferred type errors: a compiler pearl. ICFP (2012)
Simon Marlow, Simon L. Peyton Jones
Multicore garbage collection with local heaps. ISMM (2011)
Jeff Epstein, Andrew P. Black, Simon L. Peyton Jones
Towards Haskell in the cloud. Haskell (2011)
Dimitrios Vytiniotis, Simon L. Peyton Jones, Tom Schrijvers, Martin Sulzmann
OutsideIn(X) Modular type inference with local assumptions. J. Funct. Program. 21 (4-5) (2011)
Stephanie Weirich, Dimitrios Vytiniotis, Simon L. Peyton Jones, Steve Zdancewic
Generative type abstraction and type-level computation. POPL (2011)
Maximilian C. Bolingbroke, Simon L. Peyton Jones, Dimitrios Vytiniotis
Termination combinators forever. Haskell (2011)
Simon Marlow, Ryan Newton, Simon L. Peyton Jones
A monad for deterministic parallelism. Haskell (2011)
Gabriele Keller, Manuel M. T. Chakravarty, Roman Leshchinskiy, Simon L. Peyton Jones, Ben Lippmeier
Regular, shape-polymorphic, parallel arrays in Haskell. ICFP (2010)
Maximilian C. Bolingbroke, Simon L. Peyton Jones
Supercompilation by evaluation. Haskell (2010)
Norman Ramsey, João Dias, Simon L. Peyton Jones
Hoopl: a modular, reusable library for dataflow analysis and transformation. Haskell (2010)
Dimitrios Vytiniotis, Simon L. Peyton Jones, Tom Schrijvers
Let should not be generalized. TLDI (2010)
Simon Marlow, Simon L. Peyton Jones, Satnam Singh
Runtime support for multicore Haskell. ICFP (2009)
Tom Schrijvers, Simon L. Peyton Jones, Martin Sulzmann, Dimitrios Vytiniotis
Complete and decidable type inference for GADTs. ICFP (2009)
Maximilian C. Bolingbroke, Simon L. Peyton Jones
Types are calling conventions. Haskell (2009)
Dana N. Xu, Simon L. Peyton Jones, Koen Claessen
Static contract checking for Haskell. POPL (2009)
Tristan Oliver Richard Allwood, Simon L. Peyton Jones, Susan Eisenbach
Finding the needle: stack traces for GHC. Haskell (2009)
Simon L. Peyton Jones
Classes, Jim, But Not as We Know Them - Type Classes in Haskell: What, Why, and Whither. ECOOP (2009)
Simon Marlow, Tim Harris, Roshan P. James, Simon L. Peyton Jones
Parallel generational-copying garbage collection with a block-structured heap. ISMM (2008)
Simon L. Peyton Jones, Roman Leshchinskiy, Gabriele Keller, Manuel M. T. Chakravarty
Harnessing the Multicores: Nested Data Parallelism in Haskell. FSTTCS (2008)
Tom Schrijvers, Simon L. Peyton Jones, Manuel M. T. Chakravarty, Martin Sulzmann
Type checking with open type functions. ICFP (2008)
Dimitrios Vytiniotis, Stephanie Weirich, Simon L. Peyton Jones
FPH: first-class polymorphism for Haskell. ICFP (2008)
Tim Harris, Simon Marlow, Simon L. Peyton Jones, Maurice Herlihy
Composable memory transactions. Commun. ACM 51 (8) (2008)
Barry Jay, Simon L. Peyton Jones
Scrap Your Type Applications. MPC (2008)
Simon L. Peyton Jones, Satnam Singh
A Tutorial on Parallel and Concurrent Programming in Haskell. Advanced Functional Programming (2008)
Simon L. Peyton Jones
Harnessing the Multicores: Nested Data Parallelism in Haskell. APLAS (2008)
Manuel M. T. Chakravarty, Roman Leshchinskiy, Simon L. Peyton Jones, Gabriele Keller, Simon Marlow
Data parallel Haskell: a status report. DAMP (2007)
Simon L. Peyton Jones
Call-pattern specialisation for haskell programs. ICFP (2007)
Martin Sulzmann, Manuel M. T. Chakravarty, Simon L. Peyton Jones, Kevin Donnelly
System F with type equality coercions. TLDI (2007)
Simon Marlow, Alexey Rodriguez Yakushev, Simon L. Peyton Jones
Faster laziness using dynamic pointer tagging. ICFP (2007)
Simon L. Peyton Jones, Dimitrios Vytiniotis, Stephanie Weirich, Mark Shields
Practical type inference for arbitrary-rank types. J. Funct. Program. 17 (1) (2007)
Simon L. Peyton Jones, Philip Wadler
Comprehensive comprehensions. Haskell (2007)
R. Kent Dybvig, Simon L. Peyton Jones, Amr Sabry
A monadic framework for delimited continuations. J. Funct. Program. 17 (6) (2007)
Martin Sulzmann, Gregory J. Duck, Simon L. Peyton Jones, Peter J. Stuckey
Understanding functional dependencies via constraint handling rules. J. Funct. Program. 17 (1) (2007)
Paul Hudak, John Hughes, Simon L. Peyton Jones, Philip Wadler
A history of Haskell: being lazy with class. HOPL (2007)
Peng Li, Simon Marlow, Simon L. Peyton Jones, Andrew P. Tolmach
Lightweight concurrency primitives for GHC. Haskell (2007)
Simon Marlow, Simon L. Peyton Jones
Making a fast curry: push/enter vs. eval/apply for higher-order languages. J. Funct. Program. 16 (4-5) (2006)
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
Roadmap for enhanced languages and methods to aid verification. GPCE (2006)
Ben Rudiak-Gould, Alan Mycroft, Simon L. Peyton Jones
Haskell Is Not Not ML. ESOP (2006)
Dimitrios Vytiniotis, Stephanie Weirich, Simon L. Peyton Jones
Boxy types: inference for higher-rank types and impredicativity. ICFP (2006)
Simon L. Peyton Jones, Dimitrios Vytiniotis, Stephanie Weirich, Geoffrey Washburn
Simple unification-based type inference for GADTs. ICFP (2006)
Anthony Discolo, Tim Harris, Simon Marlow, Simon L. Peyton Jones, Satnam Singh
Lock Free Data Structures Using STM in Haskell. FLOPS (2006)
Tim Harris, Simon Marlow, Simon L. Peyton Jones, Maurice Herlihy
Composable memory transactions. PPOPP (2005)
Manuel M. T. Chakravarty, Gabriele Keller, Simon L. Peyton Jones
Associated type synonyms. ICFP (2005)
Manuel M. T. Chakravarty, Gabriele Keller, Simon L. Peyton Jones, Simon Marlow
Associated types with class. POPL (2005)
Tim Harris, Simon Marlow, Simon L. Peyton Jones
Haskell on a shared-memory multiprocessor. Haskell (2005)
Ralf Lämmel, Simon L. Peyton Jones
Scrap your boilerplate with class: extensible generic functions. ICFP (2005)
Andrew M. Cheadle, A. J. Field, Simon Marlow, Simon L. Peyton Jones, Ronald Lyndon While
Exploring the barrier to entry: incremental generational garbage collection for Haskell. ISMM (2004)
Gregory J. Duck, Simon L. Peyton Jones, Peter J. Stuckey, Martin Sulzmann
Sound and Decidable Type Inference for Functional Dependencies. ESOP (2004)
Simon Marlow, Simon L. Peyton Jones
Making a fast curry: push/enter vs. eval/apply for higher-order languages. ICFP (2004)
Ralf Lämmel, Simon L. Peyton Jones
Scrap more boilerplate: reflection, zips, and generalised casts. ICFP (2004)
Clement A. Baker-Finch, Kevin Glynn, Simon L. Peyton Jones
Constructed product result analysis for Haskell. J. Funct. Program. 14 (2) (2004)
Alan F. Blackwell, Margaret M. Burnett, Simon L. Peyton Jones
Champagne Prototyping: A Research Technique for Early Evaluation of Complex End-User Programming Systems. VL/HCC (2004)
Simon Marlow, Simon L. Peyton Jones, Wolfgang Thaller
Extending the Haskell foreign function interface with concurrency. Haskell (2004)
Norman Ramsey, Simon L. Peyton Jones
The C - compiler infrastructure. ICFP (2004)
Simon L. Peyton Jones
Haskell 98: Basic Input/Output. J. Funct. Program. 13 (1) (2003)
Simon L. Peyton Jones
Haskell 98 Libraries: List Utilities. J. Funct. Program. 13 (1) (2003)
Simon L. Peyton Jones
Haskell 98 Libraries: Monad Utilities. J. Funct. Program. 13 (1) (2003)
Simon L. Peyton Jones
Haskell 98 Libraries: Numeric Functions. J. Funct. Program. 13 (1) (2003)
Robert Ennals, Simon L. Peyton Jones
Optimistic evaluation: an adaptive evaluation strategy for non-strict programs. SIGPLAN Notices (2003)
Simon L. Peyton Jones
Haskell 98 Libraries: Maybe Utilities. J. Funct. Program. 13 (1) (2003)
Simon L. Peyton Jones
Haskell 98: Syntax Reference. J. Funct. Program. 13 (1) (2003)
Simon L. Peyton Jones
Haskell 98 Libraries: Rational Numbers. J. Funct. Program. 13 (1) (2003)
Simon L. Peyton Jones
Haskell 98: Specification of Derived Instances. J. Funct. Program. 13 (1) (2003)
Robert Ennals, Simon L. Peyton Jones
HsDebug: debugging lazy programs by not being lazy. Haskell (2003)
Margaret M. Burnett, Alan F. Blackwell, Simon L. Peyton Jones
A user-centred approach to functions in Excel. SIGPLAN Notices (2003)
Simon L. Peyton Jones
Haskell 98: Lexical Structure. J. Funct. Program. 13 (1) (2003)
Simon L. Peyton Jones, Alan F. Blackwell, Margaret M. Burnett
A user-centred approach to functions in Excel. ICFP (2003)
Simon L. Peyton Jones
Haskell 98 Libraries: Character Utilities. J. Funct. Program. 13 (1) (2003)
Simon L. Peyton Jones
Haskell 98: Modules. J. Funct. Program. 13 (1) (2003)
Simon L. Peyton Jones
Haskell 98: Declarations and Bindings. J. Funct. Program. 13 (1) (2003)
Ralf Lämmel, Simon L. Peyton Jones
Scrap your boilerplate: a practical design pattern for generic programming. TLDI (2003)
Simon L. Peyton Jones
Haskell 98: Standard Prelude. J. Funct. Program. 13 (1) (2003)
Simon L. Peyton Jones
Haskell 98: Introduction. J. Funct. Program. 13 (1) (2003)
Simon L. Peyton Jones
Haskell 98: Compiler Pragmas. J. Funct. Program. 13 (1) (2003)

Simon L. Peyton Jones.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Simon L. Peyton Jones