Simon Peyton-Jones
From MaRDI portal
Person:1818317
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Codata in action Programming Languages and Systems | 2023-11-24 | Paper |
| pySecDec: a toolbox for the numerical evaluation of multi-scale integrals Computer Physics Communications | 2023-06-07 | Paper |
| A GPU compatible quasi-Monte Carlo integrator interfaced to pySecDec Computer Physics Communications | 2023-04-14 | Paper |
| Build systems à la carte: theory and practice Journal of Functional Programming | 2020-05-26 | Paper |
| Composable scheduler activations for Haskell Journal of Functional Programming | 2017-10-23 | Paper |
| Safe zero-cost coercions for Haskell Journal of Functional Programming | 2017-10-23 | Paper |
| Modular, higher order cardinality analysis in theory and practice Journal of Functional Programming | 2017-10-23 | Paper |
| Associated types with class Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2017-07-14 | Paper |
| Sequent calculus as a compiler intermediate language Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming | 2017-05-10 | Paper |
| SecDec-3.0: numerical evaluation of multi-scale integrals beyond one loop Computer Physics Communications | 2017-05-05 | Paper |
| Evidence normalization in System FC (invited talk) | 2017-02-01 | Paper |
| Refinement types for Haskell Proceedings of the 19th ACM SIGPLAN international conference on Functional programming | 2016-09-29 | Paper |
| Safe zero-cost coercions for Haskell Proceedings of the 19th ACM SIGPLAN international conference on Functional programming | 2016-09-29 | Paper |
| A reflection on types A List of Successes That Can Change the World | 2016-08-17 | Paper |
| Boxy types, inference for higher-rank types and impredicativity Proceedings of the eleventh ACM SIGPLAN international conference on Functional programming | 2015-08-03 | Paper |
| Static contract checking for Haskell Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2015-07-03 | Paper |
| Optimistic evaluation Proceedings of the eighth ACM SIGPLAN international conference on Functional programming | 2015-07-02 | Paper |
| Exploiting vector instructions with generalized stream fusion Proceedings of the 18th ACM SIGPLAN international conference on Functional programming | 2015-03-30 | Paper |
| Type checking with open type functions Proceedings of the 13th ACM SIGPLAN international conference on Functional programming | 2015-03-16 | Paper |
| FPH: first-class polymorphism for Haskell Proceedings of the 13th ACM SIGPLAN international conference on Functional programming | 2015-03-16 | Paper |
| Scrap more boilerplate: reflection, zips, and generalised casts Proceedings of the ninth ACM SIGPLAN international conference on Functional programming | 2015-03-09 | Paper |
| Making a fast Curry: push/enter vs. eval/apply for higher-order languages Proceedings of the ninth ACM SIGPLAN international conference on Functional programming | 2015-03-09 | Paper |
| Regular, shape-polymorphic, parallel arrays in Haskell Proceedings of the 15th ACM SIGPLAN international conference on Functional programming | 2015-03-05 | Paper |
| Associated type synonyms Proceedings of the tenth ACM SIGPLAN international conference on Functional programming | 2015-01-06 | Paper |
| Complete and decidable type inference for GADTs Proceedings of the 14th ACM SIGPLAN international conference on Functional programming | 2015-01-06 | Paper |
| Scrap your boilerplate with class: extensible generic functions Proceedings of the tenth ACM SIGPLAN international conference on Functional programming | 2015-01-06 | Paper |
| Runtime support for multicore Haskell Proceedings of the 14th ACM SIGPLAN international conference on Functional programming | 2015-01-06 | Paper |
| HALO, Haskell to logic through denotational semantics Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2014-11-27 | Paper |
| Call-pattern specialisation for Haskell programs Proceedings of the 12th ACM SIGPLAN international conference on Functional programming | 2014-07-21 | Paper |
| Work efficient higher-order vectorisation Proceedings of the 17th ACM SIGPLAN international conference on Functional programming | 2014-07-21 | Paper |
| Backpack, retrofitting Haskell with interfaces Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages | 2014-04-10 | Paper |
| Generative type abstraction and type-level computation Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2014-04-10 | Paper |
| Modular, higher-order cardinality analysis in theory and practice Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages | 2014-04-10 | Paper |
| Closed type families with overlapping equations Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages | 2014-04-10 | Paper |
| Derivable type classes Electronic Notes in Theoretical Computer Science | 2013-05-10 | Paper |
| \textsc{OutsideIn(X)}: modular type inference with local assumptions Journal of Functional Programming | 2013-04-24 | Paper |
| Harnessing the multicores: nested data parallelism in Haskell | 2012-10-19 | Paper |
| Fun with type functions Reflections on the Work of C.A.R. Hoare | 2010-10-26 | Paper |
| Implementing lazy functional languages on stock hardware: the Spineless Tagless G-machine Journal of Functional Programming | 2009-05-05 | Paper |
| Scrap Your Type Applications Lecture Notes in Computer Science | 2008-08-28 | Paper |
| A monadic framework for delimited continuations Journal of Functional Programming | 2007-11-22 | Paper |
| Programming Languages and Systems Lecture Notes in Computer Science | 2007-09-28 | Paper |
| Programming Languages and Systems Lecture Notes in Computer Science | 2007-05-02 | Paper |
| Lock Free Data Structures Using STM in Haskell Functional and Logic Programming | 2007-05-02 | Paper |
| Understanding functional dependencies via constraint handling rules Journal of Functional Programming | 2007-02-07 | Paper |
| Practical type inference for arbitrary-rank types Journal of Functional Programming | 2007-02-07 | Paper |
| Making a fast curry: push/enter vs. eval/apply for higher-order languages Journal of Functional Programming | 2006-08-28 | Paper |
| Constructed product result analysis for Haskell Journal of Functional Programming | 2004-09-24 | Paper |
| Tackling the awkward squad: Monadic input/output, concurrency, exceptions, and foreign-language calls in Haskell | 2002-01-30 | Paper |
| scientific article; zbMATH DE number 1693442 (Why is no real title available?) | 2002-01-22 | Paper |
| scientific article; zbMATH DE number 1691463 (Why is no real title available?) | 2002-01-15 | Paper |
| Secrets of the Glasgow Haskell Compiler inliner Journal of Functional Programming | 2002-01-01 | Paper |
| scientific article; zbMATH DE number 1497772 (Why is no real title available?) | 2001-03-06 | Paper |
| A transformation-based optimiser for Haskell Science of Computer Programming | 2000-01-04 | Paper |
| scientific article; zbMATH DE number 194911 (Why is no real title available?) | 1993-06-05 | Paper |
| A safe approach to parallel combinator reduction Theoretical Computer Science | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 3942995 (Why is no real title available?) | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 3976299 (Why is no real title available?) | 1986-01-01 | Paper |
| Yacc in sasl — an exercise in functional programming Software: Practice and Experience | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3907749 (Why is no real title available?) | 1985-01-01 | Paper |
Research outcomes over time
This page was built for person: Simon Peyton-Jones
