| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Brent A. Yorgey, Stephanie Weirich, Julien Cretin, Simon L. Peyton Jones, Dimitrios Vytiniotis, José Pedro Magalhães |
Giving Haskell a promotion.  |
TLDI  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Dimitrios Vytiniotis, Simon L. Peyton Jones, Tom Schrijvers, Martin Sulzmann |
OutsideIn(X) Modular type inference with local assumptions. |
J. Funct. Program. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephanie Weirich, Dimitrios Vytiniotis, Simon L. Peyton Jones, Steve Zdancewic |
Generative type abstraction and type-level computation. |
POPL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Simon Marlow, Simon L. Peyton Jones |
Multicore garbage collection with local heaps. |
ISMM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Maximilian C. Bolingbroke, Simon L. Peyton Jones, Dimitrios Vytiniotis |
Termination combinators forever. |
Haskell |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeff Epstein, Andrew P. Black, Simon L. Peyton Jones |
Towards Haskell in the cloud. |
Haskell |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Simon Marlow, Ryan Newton, Simon L. Peyton Jones |
A monad for deterministic parallelism. |
Haskell |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Gabriele Keller, Manuel M. T. Chakravarty, Roman Leshchinskiy, Simon L. Peyton Jones, Ben Lippmeier |
Regular, shape-polymorphic, parallel arrays in Haskell. |
ICFP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Dimitrios Vytiniotis, Simon L. Peyton Jones, Tom Schrijvers |
Let should not be generalized. |
TLDI |
2010 |
DBLP DOI BibTeX RDF |
type families, haskell, type inference, type classes, generalized algebraic data types |
| 1 | Maximilian C. Bolingbroke, Simon L. Peyton Jones |
Supercompilation by evaluation. |
Haskell |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Norman Ramsey, João Dias, Simon L. Peyton Jones |
Hoopl: a modular, reusable library for dataflow analysis and transformation. |
Haskell |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Dana N. Xu, Simon L. Peyton Jones, Koen Claessen |
Static contract checking for Haskell. |
POPL |
2009 |
DBLP DOI BibTeX RDF |
contract satisfaction, static contract checking |
| 1 | Simon Marlow, Simon L. Peyton Jones, Satnam Singh |
Runtime support for multicore Haskell. |
ICFP |
2009 |
DBLP DOI BibTeX RDF |
Haskell parallel runtime |
| 1 | Tom Schrijvers, Simon L. Peyton Jones, Martin Sulzmann, Dimitrios Vytiniotis |
Complete and decidable type inference for GADTs. |
ICFP |
2009 |
DBLP DOI BibTeX RDF |
Haskell, type inference, GADTs |
| 1 | Simon L. Peyton Jones |
Classes, Jim, But Not as We Know Them - Type Classes in Haskell: What, Why, and Whither. |
ECOOP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Maximilian C. Bolingbroke, Simon L. Peyton Jones |
Types are calling conventions. |
Haskell |
2009 |
DBLP DOI BibTeX RDF |
arity, calling conventions, strictness, unboxing, uncurrying, intermediate language |
| 1 | Tristan O. R. Allwood, Simon L. Peyton Jones, Susan Eisenbach |
Finding the needle: stack traces for GHC. |
Haskell |
2009 |
DBLP DOI BibTeX RDF |
stack trace, debugging |
| 1 | Tim Harris, Simon Marlow, Simon L. Peyton Jones, Maurice Herlihy |
Composable memory transactions. |
Commun. ACM |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Simon Marlow, Tim Harris, Roshan P. James, Simon L. Peyton Jones |
Parallel generational-copying garbage collection with a block-structured heap. |
ISMM |
2008 |
DBLP DOI BibTeX RDF |
parallel garbage collection |
| 1 | Dimitrios Vytiniotis, Stephanie Weirich, Simon L. Peyton Jones |
FPH: first-class polymorphism for Haskell. |
ICFP |
2008 |
DBLP DOI BibTeX RDF |
higher-rank types, impredicativity, type inference |
| 1 | Tom Schrijvers, Simon L. Peyton Jones, Manuel M. T. Chakravarty, Martin Sulzmann |
Type checking with open type functions. |
ICFP |
2008 |
DBLP DOI BibTeX RDF |
type families, type functions, Haskell, type checking |
| 1 | Simon L. Peyton Jones, Satnam Singh |
A Tutorial on Parallel and Concurrent Programming in Haskell. |
Advanced Functional Programming |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Simon L. Peyton Jones |
Harnessing the Multicores: Nested Data Parallelism in Haskell. |
APLAS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Barry Jay, Simon L. Peyton Jones |
Scrap Your Type Applications. |
MPC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Simon L. Peyton Jones, Roman Leshchinskiy, Gabriele Keller, Manuel M. T. Chakravarty |
Harnessing the Multicores: Nested Data Parallelism in Haskell. |
FSTTCS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Simon L. Peyton Jones, Dimitrios Vytiniotis, Stephanie Weirich, Mark Shields |
Practical type inference for arbitrary-rank types. |
J. Funct. Program. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | R. Kent Dybvig, Simon L. Peyton Jones, Amr Sabry |
A monadic framework for delimited continuations. |
J. Funct. Program. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Sulzmann, Gregory J. Duck, Simon L. Peyton Jones, Peter J. Stuckey |
Understanding functional dependencies via constraint handling rules. |
J. Funct. Program. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel M. T. Chakravarty, Roman Leshchinskiy, Simon L. Peyton Jones, Gabriele Keller, Simon Marlow |
Data parallel Haskell: a status report. |
DAMP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Simon Marlow, Alexey Rodriguez Yakushev, Simon L. Peyton Jones |
Faster laziness using dynamic pointer tagging. |
ICFP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Simon L. Peyton Jones |
Call-pattern specialisation for haskell programs. |
ICFP |
2007 |
DBLP DOI BibTeX RDF |
compilers, optimisation, haskell, specialisation |
| 1 | Martin Sulzmann, Manuel M. T. Chakravarty, Simon L. Peyton Jones, Kevin Donnelly |
System F with type equality coercions. |
TLDI |
2007 |
DBLP DOI BibTeX RDF |
advanced type features, typed intermediate language |
| 1 | Paul Hudak, John Hughes, Simon L. Peyton Jones, Philip Wadler |
A history of Haskell: being lazy with class. |
HOPL |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Simon L. Peyton Jones, Philip Wadler |
Comprehensive comprehensions. |
Haskell |
2007 |
DBLP DOI BibTeX RDF |
list comprehension, SQL, aggregate, query |
| 1 | Peng Li, Simon Marlow, Simon L. Peyton Jones, Andrew P. Tolmach |
Lightweight concurrency primitives for GHC. |
Haskell |
2007 |
DBLP DOI BibTeX RDF |
concurrency, haskell, transactional memory, thread |
| 1 | Simon Marlow, Simon L. Peyton Jones |
Making a fast curry: push/enter vs. eval/apply for higher-order languages. |
J. Funct. Program. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | J. Gregory Morrisett, Simon L. Peyton Jones (eds.) |
Proceedings of the 33rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2006, Charleston, South Carolina, USA, January 11-13, 2006 |
POPL |
2006 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
verified software grand challenge, verification, annotations, programming languages, tools, specification languages, program generation, correctness by construction |
| 1 | Simon L. Peyton Jones, Dimitrios Vytiniotis, Stephanie Weirich, Geoffrey Washburn |
Simple unification-based type inference for GADTs. |
ICFP |
2006 |
DBLP DOI BibTeX RDF |
type inference, generalized algebraic data types |
| 1 | Dimitrios Vytiniotis, Stephanie Weirich, Simon L. Peyton Jones |
Boxy types: inference for higher-rank types and impredicativity. |
ICFP |
2006 |
DBLP DOI BibTeX RDF |
higher-rank types, impredicativity, type inference |
| 1 | Anthony Discolo, Tim Harris, Simon Marlow, Simon L. Peyton Jones, Satnam Singh |
Lock Free Data Structures Using STM in Haskell. |
FLOPS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Ben Rudiak-Gould, Alan Mycroft, Simon L. Peyton Jones |
Haskell Is Not Not ML. |
ESOP |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel M. T. Chakravarty, Gabriele Keller, Simon L. Peyton Jones, Simon Marlow |
Associated types with class. |
POPL |
2005 |
DBLP DOI BibTeX RDF |
associated types, self-optimising libraries, type-directed translation, type-indexed types, type classes |
| 1 | Manuel M. T. Chakravarty, Gabriele Keller, Simon L. Peyton Jones |
Associated type synonyms. |
ICFP |
2005 |
DBLP DOI BibTeX RDF |
associated types, type functions, type inference, generic programming, type classes |
| 1 | Ralf Lämmel, Simon L. Peyton Jones |
Scrap your boilerplate with class: extensible generic functions. |
ICFP |
2005 |
DBLP DOI BibTeX RDF |
recursive dictionaries, typecase, extensibility, generic programming, type classes |
| 1 | Tim Harris, Simon Marlow, Simon L. Peyton Jones |
Haskell on a shared-memory multiprocessor. |
Haskell |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Tim Harris, Simon Marlow, Simon L. Peyton Jones, Maurice Herlihy |
Composable memory transactions. |
PPOPP |
2005 |
DBLP DOI BibTeX RDF |
transactions, locks, non-blocking algorithms |
| 1 | Clement A. Baker-Finch, Kevin Glynn, Simon L. Peyton Jones |
Constructed product result analysis for Haskell. |
J. Funct. Program. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrew M. Cheadle, A. J. Field, Simon Marlow, Simon L. Peyton Jones, R. Lyndon While |
Exploring the barrier to entry: incremental generational garbage collection for Haskell. |
ISMM |
2004 |
DBLP DOI BibTeX RDF |
non-stop haskell, incremental garbage collection |
| 1 | Simon Marlow, Simon L. Peyton Jones |
Making a fast curry: push/enter vs. eval/apply for higher-order languages. |
ICFP |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Ralf Lämmel, Simon L. Peyton Jones |
Scrap more boilerplate: reflection, zips, and generalised casts. |
ICFP |
2004 |
DBLP DOI BibTeX RDF |
type cast, reflection, generic programming, zippers |
| 1 | Norman Ramsey, Simon L. Peyton Jones |
The C - compiler infrastructure. |
ICFP |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Gregory J. Duck, Simon L. Peyton Jones, Peter J. Stuckey, Martin Sulzmann |
Sound and Decidable Type Inference for Functional Dependencies. |
ESOP |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Simon L. Peyton Jones, Alan F. Blackwell, Margaret M. Burnett |
A user-centred approach to functions in Excel. |
SIGPLAN Notices |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert Ennals, Simon L. Peyton Jones |
Optimistic evaluation: an adaptive evaluation strategy for non-strict programs. |
SIGPLAN Notices |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Simon L. Peyton Jones |
Haskell 98 Libraries: Locales. |
J. Funct. Program. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Simon L. Peyton Jones |
Haskell 98 Libraries: Numeric Functions. |
J. Funct. Program. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Simon L. Peyton Jones |
Haskell 98 Libraries: Complex Numbers. |
J. Funct. Program. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Simon L. Peyton Jones |
Haskell 98: Declarations and Bindings. |
J. Funct. Program. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Simon L. Peyton Jones |
Haskell 98: Predefined Types and Classes. |
J. Funct. Program. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Simon L. Peyton Jones |
Haskell 98: Introduction. |
J. Funct. Program. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Simon L. Peyton Jones |
Haskell 98 Libraries: Indexing Operations. |
J. Funct. Program. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Simon L. Peyton Jones |
Haskell 98 Libraries: CPU Time. |
J. Funct. Program. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Simon L. Peyton Jones, Philip Wadler |
The Educational Pearls column. |
J. Funct. Program. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Simon L. Peyton Jones |
Haskell 98: Standard Prelude. |
J. Funct. Program. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Simon L. Peyton Jones |
Haskell 98: Compiler Pragmas. |
J. Funct. Program. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Simon L. Peyton Jones |
Haskell 98 Libraries: Directory Functions. |
J. Funct. Program. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Simon L. Peyton Jones |
Haskell 98: Lexical Structure. |
J. Funct. Program. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Simon L. Peyton Jones |
Haskell 98: Expressions. |
J. Funct. Program. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Simon L. Peyton Jones |
Haskell 98 Libraries: Random Numbers. |
J. Funct. Program. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Simon L. Peyton Jones |
Haskell 98: Specification of Derived Instances. |
J. Funct. Program. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Simon L. Peyton Jones |
Haskell 98 Libraries: Dates and Times. |
J. Funct. Program. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Simon L. Peyton Jones |
Haskell 98 Libraries: System Functions. |
J. Funct. Program. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Simon L. Peyton Jones |
Haskell 98 Libraries: Rational Numbers. |
J. Funct. Program. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Simon L. Peyton Jones |
Haskell 98 Libraries: Maybe Utilities. |
J. Funct. Program. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Simon L. Peyton Jones |
Haskell 98 Libraries: Character Utilities. |
J. Funct. Program. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Simon L. Peyton Jones |
Haskell 98 Libraries: List Utilities. |
J. Funct. Program. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Simon L. Peyton Jones |
Haskell 98 Libraries: Arrays. |
J. Funct. Program. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Simon L. Peyton Jones |
Haskell 98 Libraries: Bibliography. |
J. Funct. Program. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Simon L. Peyton Jones |
Haskell 98: Syntax Reference. |
J. Funct. Program. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Simon L. Peyton Jones |
Haskell 98: Modules. |
J. Funct. Program. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Simon L. Peyton Jones |
Haskell 98 Libraries: Monad Utilities. |
J. Funct. Program. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Simon L. Peyton Jones |
Haskell 98: Basic Input/Output. |
J. Funct. Program. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Simon L. Peyton Jones |
Haskell 98 Libraries: Input/Output. |
J. Funct. Program. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Simon L. Peyton Jones, Alan F. Blackwell, Margaret M. Burnett |
A user-centred approach to functions in Excel. |
ICFP |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert Ennals, Simon L. Peyton Jones |
Optimistic evaluation: an adaptive evaluation strategy for non-strict programs. |
ICFP |
2003 |
DBLP DOI BibTeX RDF |
haskell, lazy evaluation, online profiling |
| 1 | Ralf Lämmel, Simon L. Peyton Jones |
Scrap your boilerplate: a practical design pattern for generic programming. |
TLDI |
2003 |
DBLP DOI BibTeX RDF |
rank-2 types, type cast, generic programming, traversal |
| 1 | Johan Jeuring, Simon L. Peyton Jones (eds.) |
Advanced Functional Programming, 4th International School, AFP 2002, Oxford, UK, August 19-24, 2002, Revised Lectures |
Advanced Functional Programming |
2003 |
DBLP BibTeX RDF |
|
| 1 | Simon L. Peyton Jones, Ralf Lämmel |
Scrap Your Boilerplate. |
APLAS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Tim Sheard, Simon L. Peyton Jones |
Template meta-programming for Haskell. |
SIGPLAN Notices |
2002 |
DBLP DOI BibTeX RDF |
templates, Meta programming |
| 1 | Simon L. Peyton Jones, Simon Marlow |
Secrets of the Glasgow Haskell Compiler inliner. |
J. Funct. Program. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Mitchell Wand, Simon L. Peyton Jones (eds.) |
Proceedings of the Seventh ACM SIGPLAN International Conference on Functional Programming (ICFP '02), Pittsburgh, Pennsylvania, USA, October 4-6, 2002. |
ICFP |
2002 |
DBLP BibTeX RDF |
|
| 1 | Mark Shields, Simon L. Peyton Jones |
Object-Oriented Style Overloading for Haskell. |
Electr. Notes Theor. Comput. Sci. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Simon Marlow, Simon L. Peyton Jones, Andrew Moran, John H. Reppy |
Asynchronous Exceptions in Haskell. |
PLDI |
2001 |
DBLP DOI BibTeX RDF |
Haskell |
| 1 | Simon L. Peyton Jones |
Composing Contracts: An Adventure in Financial Engineering. |
FME |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Erwig, Simon L. Peyton Jones |
Pattern Guards and Transformational Patterns. |
Electr. Notes Theor. Comput. Sci. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Ralf Hinze, Simon L. Peyton Jones |
Derivable Type Classes. |
Electr. Notes Theor. Comput. Sci. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Norman Ramsey, Simon L. Peyton Jones |
A single intermediate language that supports multiple implementations of exceptions. |
PLDI |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Philip W. Trinder, Hans-Wolfgang Loidl, Ed. Barry Jr., Kei Davis, Kevin Hammond, Ulrike Klusik, Simon L. Peyton Jones, Álvaro J. Rebón Portillo |
The Multi-architecture Performance of the Parallel Functional Language GP H (Research Note). |
Euro-Par |
2000 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")