https://simon.peytonjones.org/publications-1980/ 1980-01-01T00:00:00+00:00 https://simon.peytonjones.org/publications-1999/ 1990-01-01T00:00:00+00:00 https://simon.peytonjones.org/publications-2000/ 2000-01-01T00:00:00+00:00 https://simon.peytonjones.org/Tackling-the-awkward-squad/ 2001-01-01T00:00:00+00:00 https://simon.peytonjones.org/wearing-the-hair-shirt/ 2003-01-01T00:00:00+00:00 https://simon.peytonjones.org/history-of-haskell/ 2007-06-01T00:00:00+00:00 https://simon.peytonjones.org/hoopl/ 2010-01-01T00:00:00+00:00 https://simon.peytonjones.org/let-generalised/ 2010-01-01T00:00:00+00:00 https://simon.peytonjones.org/parallel-arrays/ 2010-01-01T00:00:00+00:00 https://simon.peytonjones.org/supercompilation-evaluation/ 2010-01-01T00:00:00+00:00 https://simon.peytonjones.org/deterministic-parallelism/ 2011-01-01T00:00:00+00:00 https://simon.peytonjones.org/generative-type-abstraction/ 2011-01-01T00:00:00+00:00 https://simon.peytonjones.org/improving-supercompilation/ 2011-01-01T00:00:00+00:00 https://simon.peytonjones.org/stencil-convolution/ 2011-01-01T00:00:00+00:00 https://simon.peytonjones.org/transactional-memory/ 2011-03-01T00:00:00+00:00 https://simon.peytonjones.org/system-fc/ 2011-03-01T00:00:00+00:00 https://simon.peytonjones.org/multicore-garbage/ 2011-06-01T00:00:00+00:00 https://simon.peytonjones.org/haskell-cloud/ 2011-09-01T00:00:00+00:00 https://simon.peytonjones.org/outsideinx/ 2011-09-01T00:00:00+00:00 https://simon.peytonjones.org/termination-combinators/ 2011-09-01T00:00:00+00:00 https://simon.peytonjones.org/haskell-promotion/ 2012-01-01T00:00:00+00:00 https://simon.peytonjones.org/glasgow-haskell-compiler/ 2012-01-01T00:00:00+00:00 https://simon.peytonjones.org/equality-proofs/ 2012-09-01T00:00:00+00:00 https://simon.peytonjones.org/higher-order-vectorisation/ 2012-09-01T00:00:00+00:00 https://simon.peytonjones.org/parallel-array-fusion/ 2012-09-01T00:00:00+00:00 https://simon.peytonjones.org/safe-haskell/ 2012-09-01T00:00:00+00:00 https://simon.peytonjones.org/vectorisation-avoidance/ 2012-09-01T00:00:00+00:00 https://simon.peytonjones.org/halo-haskell-to-logic/ 2013-01-01T00:00:00+00:00 https://simon.peytonjones.org/bringing-computer-science-back/ 2013-03-01T00:00:00+00:00 https://simon.peytonjones.org/bolingbroke-thesis/ 2013-04-01T00:00:00+00:00 https://simon.peytonjones.org/computing-at-school/ 2013-05-01T00:00:00+00:00 https://simon.peytonjones.org/evidence-normalization/ 2013-06-01T00:00:00+00:00 https://simon.peytonjones.org/exploiting-vector-instructions/ 2013-09-01T00:00:00+00:00 https://simon.peytonjones.org/backpack-retrofitting-haskell/ 2014-01-01T00:00:00+00:00 https://simon.peytonjones.org/closed-type-families/ 2014-01-01T00:00:00+00:00 https://simon.peytonjones.org/cas-informatics-europe/ 2014-01-01T00:00:00+00:00 https://simon.peytonjones.org/modular-higher-order-cardinality/ 2014-01-01T00:00:00+00:00 https://simon.peytonjones.org/safe-coercions/ 2014-06-01T00:00:00+00:00 https://simon.peytonjones.org/theory-and-practice/ 2014-06-01T00:00:00+00:00 https://simon.peytonjones.org/refinement-types-for-haskell/ 2014-09-01T00:00:00+00:00 https://simon.peytonjones.org/diagnosing-type-errors/ 2015-06-01T00:00:00+00:00 https://simon.peytonjones.org/gadts-meet-their-match/ 2015-08-01T00:00:00+00:00 https://simon.peytonjones.org/injective-type-families/ 2015-08-01T00:00:00+00:00 https://simon.peytonjones.org/backpack-to-work/ 2016-03-01T00:00:00+00:00 https://simon.peytonjones.org/typed-reflection/ 2016-04-01T00:00:00+00:00 https://simon.peytonjones.org/composable-scheduler/ 2016-06-01T00:00:00+00:00 https://simon.peytonjones.org/safe-coercions-2016/ 2016-07-01T00:00:00+00:00 https://simon.peytonjones.org/desugaring-haskell/ 2016-09-01T00:00:00+00:00 https://simon.peytonjones.org/non-recursive-make/ 2016-09-01T00:00:00+00:00 https://simon.peytonjones.org/pattern-synonyms/ 2016-09-01T00:00:00+00:00 https://simon.peytonjones.org/sequent-calculus/ 2016-09-01T00:00:00+00:00 https://simon.peytonjones.org/modular-higher-order-cardinality-2016/ 2016-12-01T00:00:00+00:00 https://simon.peytonjones.org/trees-that-grow/ 2017-01-01T00:00:00+00:00 https://simon.peytonjones.org/compiling-without-continuations/ 2017-06-01T00:00:00+00:00 https://simon.peytonjones.org/levity-polymorphism/ 2017-06-01T00:00:00+00:00 https://simon.peytonjones.org/sherrloc/ 2017-08-01T00:00:00+00:00 https://simon.peytonjones.org/destination-passing-style/ 2017-09-01T00:00:00+00:00 https://simon.peytonjones.org/linear-haskell/ 2018-01-01T00:00:00+00:00 https://simon.peytonjones.org/guarded-impredicative-polymorphism/ 2018-06-01T00:00:00+00:00 https://simon.peytonjones.org/build-systems-a-la-carte/ 2018-09-01T00:00:00+00:00 https://simon.peytonjones.org/type-variables-in-patterns/ 2018-09-01T00:00:00+00:00 https://simon.peytonjones.org/calculation-view/ 2018-10-01T00:00:00+00:00 https://simon.peytonjones.org/codata-in-action/ 2019-04-01T00:00:00+00:00 https://simon.peytonjones.org/type-inference/ 2019-06-01T00:00:00+00:00 https://simon.peytonjones.org/efficient-differenetiable/ 2019-07-01T00:00:00+00:00 https://simon.peytonjones.org/higher-order-type/ 2019-08-01T00:00:00+00:00 https://simon.peytonjones.org/making-a-faster-curry-with-extensional-types/ 2019-08-01T00:00:00+00:00 https://simon.peytonjones.org/build-systems-a-la-carte-theory-and-practice/ 2020-04-01T00:00:00+00:00 https://simon.peytonjones.org/diagnostic-questions/ 2020-07-01T00:00:00+00:00 https://simon.peytonjones.org/quick-look/ 2020-08-01T00:00:00+00:00 https://simon.peytonjones.org/kinds-are-calling-conventions/ 2020-08-01T00:00:00+00:00 https://simon.peytonjones.org/lower-your-guards/ 2020-08-01T00:00:00+00:00 https://simon.peytonjones.org/elastic-sdfs/ 2020-08-21T00:00:00+00:00 https://simon.peytonjones.org/results-and-insights/ 2021-04-01T00:00:00+00:00 https://simon.peytonjones.org/hashing-modulo-alpha/ 2021-06-01T00:00:00+00:00 https://simon.peytonjones.org/triemaps-that-match/ 2021-07-01T00:00:00+00:00 https://simon.peytonjones.org/vicause-simultaneous-missing-value-imputation-and-causal-discovery/ 2021-07-01T00:00:00+00:00 https://simon.peytonjones.org/provably-correct/ 2021-08-01T00:00:00+00:00 https://simon.peytonjones.org/secrets-of-typechecker/ 2023-06-01T00:00:00+00:00 https://simon.peytonjones.org/verse-calculus/ 2023-07-01T00:00:00+00:00 https://simon.peytonjones.org/abs-den/ 2024-03-01T00:00:00+00:00 https://simon.peytonjones.org/abs-den/ 2024-12-12T00:00:00+00:00 https://simon.peytonjones.org/darwin-codes/ 2025-01-24T00:00:00+00:00 https://simon.peytonjones.org/ad-arrays/ 2025-07-18T00:00:00+00:00 https://simon.peytonjones.org/hollenbeck-inlining/ 2025-07-25T00:00:00+00:00 https://simon.peytonjones.org/join-points-hs/ 2025-10-16T00:00:00+00:00 https://simon.peytonjones.org/awards/ https://simon.peytonjones.org/bio-and-pictures/ https://simon.peytonjones.org/great-grant-proposal/ https://simon.peytonjones.org/great-research-paper/ https://simon.peytonjones.org/great-research-talk/ https://simon.peytonjones.org/haskell/ https://simon.peytonjones.org/ https://simon.peytonjones.org/podcasts/ https://simon.peytonjones.org/publications/ https://simon.peytonjones.org/research-skills/ https://simon.peytonjones.org/slpj-book-1987/ https://simon.peytonjones.org/tags/ https://simon.peytonjones.org/taste-of-haskell/ https://simon.peytonjones.org/assets/pages/LLM-copilot-in-action.htm 2026-01-06T13:39:34+00:00 https://simon.peytonjones.org/assets/pages/LLM-copilot-in-action_files/prompt.htm 2026-01-06T13:39:34+00:00 https://simon.peytonjones.org/assets/pdfs/AD-arrays-Jul25.pdf 2026-01-06T13:39:34+00:00 https://simon.peytonjones.org/assets/pdfs/STMTokyoApr10.pdf 2026-01-06T13:39:34+00:00 https://simon.peytonjones.org/assets/pdfs/TrieMaps-Nov-24.pdf 2026-01-06T13:39:34+00:00 https://simon.peytonjones.org/assets/pdfs/abs-den.pdf 2026-01-06T13:39:34+00:00 https://simon.peytonjones.org/assets/pdfs/backpack-appendix.pdf 2026-01-06T13:39:34+00:00 https://simon.peytonjones.org/assets/pdfs/backpack-retrofitting-haskell.pdf 2026-01-06T13:39:34+00:00 https://simon.peytonjones.org/assets/pdfs/backpack-to-work.pdf 2026-01-06T13:39:34+00:00 https://simon.peytonjones.org/assets/pdfs/bolingbroke-thesis-2013.pdf 2026-01-06T13:39:34+00:00 https://simon.peytonjones.org/assets/pdfs/bringing-computer-science-back.pdf 2026-01-06T13:39:34+00:00 https://simon.peytonjones.org/assets/pdfs/build-systems-jfp.pdf 2026-01-06T13:39:34+00:00 https://simon.peytonjones.org/assets/pdfs/build-systems-original.pdf 2026-01-06T13:39:34+00:00 https://simon.peytonjones.org/assets/pdfs/calculation-view.pdf 2026-01-06T13:39:34+00:00 https://simon.peytonjones.org/assets/pdfs/cas-informatics-europe-2014.pdf 2026-01-06T13:39:34+00:00 https://simon.peytonjones.org/assets/pdfs/closed-type-families-ext.pdf 2026-01-06T13:39:34+00:00 https://simon.peytonjones.org/assets/pdfs/closed-type-families.pdf 2026-01-06T13:39:34+00:00 https://simon.peytonjones.org/assets/pdfs/codata-in-action.pdf 2026-01-06T13:39:34+00:00 https://simon.peytonjones.org/assets/pdfs/compiling-without-continuations.pdf 2026-01-06T13:39:34+00:00 https://simon.peytonjones.org/assets/pdfs/composable-scheduler-earlier.pdf 2026-01-06T13:39:34+00:00 https://simon.peytonjones.org/assets/pdfs/composable-scheduler.pdf 2026-01-06T13:39:34+00:00 https://simon.peytonjones.org/assets/pdfs/computing-at-school.pdf 2026-01-06T13:39:34+00:00 https://simon.peytonjones.org/assets/pdfs/design-space.pdf 2026-01-06T13:39:34+00:00 https://simon.peytonjones.org/assets/pdfs/destination-passing-style.pdf 2026-01-06T13:39:34+00:00 https://simon.peytonjones.org/assets/pdfs/desugaring-haskell.pdf 2026-01-06T13:39:34+00:00 https://simon.peytonjones.org/assets/pdfs/diagnosing-type-errors.pdf 2026-01-06T13:39:34+00:00 https://simon.peytonjones.org/assets/pdfs/diagnostic-questions.pdf 2026-01-06T13:39:34+00:00 https://simon.peytonjones.org/assets/pdfs/dianostic-neurips-2020.pdf 2026-01-06T13:39:34+00:00 https://simon.peytonjones.org/assets/pdfs/efficient-differentiable.pdf 2026-01-06T13:39:34+00:00 https://simon.peytonjones.org/assets/pdfs/elastic-sdfs.pdf 2026-01-06T13:39:34+00:00 https://simon.peytonjones.org/assets/pdfs/equality-proofs-and-deferred-type-errors.pdf 2026-01-06T13:39:34+00:00 https://simon.peytonjones.org/assets/pdfs/evidence-normalization.pdf 2026-01-06T13:39:34+00:00 https://simon.peytonjones.org/assets/pdfs/exploiting-vector-instructions.pdf 2026-01-06T13:39:34+00:00 https://simon.peytonjones.org/assets/pdfs/fc-new-tyco.pdf 2026-01-06T13:39:34+00:00 https://simon.peytonjones.org/assets/pdfs/gadts-meet-their-match.pdf 2026-01-06T13:39:34+00:00 https://simon.peytonjones.org/assets/pdfs/giving-a-talk.pdf 2026-01-06T13:39:34+00:00 https://simon.peytonjones.org/assets/pdfs/giving-haskell-a-promotion.pdf 2026-01-06T13:39:34+00:00 https://simon.peytonjones.org/assets/pdfs/glasgow-haskell-compiler.pdf 2026-01-06T13:39:34+00:00 https://simon.peytonjones.org/assets/pdfs/graf-thesis-2024.pdf 2026-01-06T13:39:34+00:00 https://simon.peytonjones.org/assets/pdfs/great-research-proposal.pdf 2026-01-06T13:39:34+00:00 https://simon.peytonjones.org/assets/pdfs/guarded-impredicative.pdf 2026-01-06T13:39:34+00:00 https://simon.peytonjones.org/assets/pdfs/guiding-parallel-array-fusion-with-index-types.pdf 2026-01-06T13:39:34+00:00 https://simon.peytonjones.org/assets/pdfs/halo-haskell-to-logic.pdf 2026-01-06T13:39:34+00:00 https://simon.peytonjones.org/assets/pdfs/hashing-modulo-alpha.pdf 2026-01-06T13:39:34+00:00 https://simon.peytonjones.org/assets/pdfs/haskell-being-lazy-with-class.pdf 2026-01-06T13:39:34+00:00 https://simon.peytonjones.org/assets/pdfs/haskell-exchange-22.pdf 2026-01-06T13:39:34+00:00 https://simon.peytonjones.org/assets/pdfs/haskell-in-the-cloud.pdf 2026-01-06T13:39:34+00:00 https://simon.peytonjones.org/assets/pdfs/higher-order-ad.pdf 2026-01-06T13:39:34+00:00 https://simon.peytonjones.org/assets/pdfs/higher-order-type.pdf 2026-01-06T13:39:34+00:00 https://simon.peytonjones.org/assets/pdfs/hollenbeck-thesis-2025.pdf 2026-01-06T13:39:34+00:00 https://simon.peytonjones.org/assets/pdfs/hoopl-earlier.pdf 2026-01-06T13:39:34+00:00 https://simon.peytonjones.org/assets/pdfs/hoopl-haskell10.pdf 2026-01-06T13:39:34+00:00 https://simon.peytonjones.org/assets/pdfs/impredicativity.pdf 2026-01-06T13:39:34+00:00 https://simon.peytonjones.org/assets/pdfs/injective-type-families.pdf 2026-01-06T13:39:34+00:00 https://simon.peytonjones.org/assets/pdfs/kinds-are-calling-conventions.pdf 2026-01-06T13:39:34+00:00 https://simon.peytonjones.org/assets/pdfs/levity-polymorphism.pdf 2026-01-06T13:39:34+00:00 https://simon.peytonjones.org/assets/pdfs/linear-haskell.pdf 2026-01-06T13:39:34+00:00 https://simon.peytonjones.org/assets/pdfs/local-gc.pdf 2026-01-06T13:39:34+00:00 https://simon.peytonjones.org/assets/pdfs/lower-your-guards.pdf 2026-01-06T13:39:34+00:00 https://simon.peytonjones.org/assets/pdfs/making-a-faster-curry.pdf 2026-01-06T13:39:34+00:00 https://simon.peytonjones.org/assets/pdfs/modular-higher-order-cardinality-2016.pdf 2026-01-06T13:39:34+00:00 https://simon.peytonjones.org/assets/pdfs/modular-higher-order-cardinality-ext.pdf 2026-01-06T13:39:34+00:00 https://simon.peytonjones.org/assets/pdfs/modular-higher-order-cardinality.pdf 2026-01-06T13:39:34+00:00 https://simon.peytonjones.org/assets/pdfs/monad-par.pdf 2026-01-06T13:39:34+00:00 https://simon.peytonjones.org/assets/pdfs/neurips-2020-preprint.pdf 2026-01-06T13:39:34+00:00 https://simon.peytonjones.org/assets/pdfs/non-recursive-make.pdf 2026-01-06T13:39:34+00:00 https://simon.peytonjones.org/assets/pdfs/outsideinx.pdf 2026-01-06T13:39:34+00:00 https://simon.peytonjones.org/assets/pdfs/parallel-arrays-in-haskell.pdf 2026-01-06T13:39:34+00:00 https://simon.peytonjones.org/assets/pdfs/pattern-synonyms.pdf 2026-01-06T13:39:34+00:00 https://simon.peytonjones.org/assets/pdfs/popl163af-weirich.pdf 2026-01-06T13:39:34+00:00 https://simon.peytonjones.org/assets/pdfs/refinement-types-for-haskell.pdf 2026-01-06T13:39:34+00:00 https://simon.peytonjones.org/assets/pdfs/safe-coercions-2016.pdf 2026-01-06T13:39:34+00:00 https://simon.peytonjones.org/assets/pdfs/safe-coercions-ext.pdf 2026-01-06T13:39:34+00:00 https://simon.peytonjones.org/assets/pdfs/safe-coercions.pdf 2026-01-06T13:39:34+00:00 https://simon.peytonjones.org/assets/pdfs/safe-haskell.pdf 2026-01-06T13:39:34+00:00 https://simon.peytonjones.org/assets/pdfs/sequent-calculus.pdf 2026-01-06T13:39:34+00:00 https://simon.peytonjones.org/assets/pdfs/sherrloc-static-holistic-error-locator.pdf 2026-01-06T13:39:34+00:00 https://simon.peytonjones.org/assets/pdfs/slpj-book-1987-2up-searchable.pdf 2026-01-06T13:39:34+00:00 https://simon.peytonjones.org/assets/pdfs/slpj-book-1987-full.pdf 2026-01-06T13:39:34+00:00 https://simon.peytonjones.org/assets/pdfs/slpj-book-1987-searchable.pdf 2026-01-06T13:39:34+00:00 https://simon.peytonjones.org/assets/pdfs/stencil.pdf 2026-01-06T13:39:34+00:00 https://simon.peytonjones.org/assets/pdfs/supercompilation-by-evaluation.pdf 2026-01-06T13:39:34+00:00 https://simon.peytonjones.org/assets/pdfs/tackling-awkward-squad.pdf 2026-01-06T13:39:34+00:00 https://simon.peytonjones.org/assets/pdfs/taste-of-haskell-pt1.pdf 2026-01-06T13:39:34+00:00 https://simon.peytonjones.org/assets/pdfs/termination-combinators.pdf 2026-01-06T13:39:34+00:00 https://simon.peytonjones.org/assets/pdfs/theory-and-practice.pdf 2026-01-06T13:39:34+00:00 https://simon.peytonjones.org/assets/pdfs/tldi10-vytiniotis.pdf 2026-01-06T13:39:34+00:00 https://simon.peytonjones.org/assets/pdfs/trees-that-grow.pdf 2026-01-06T13:39:34+00:00 https://simon.peytonjones.org/assets/pdfs/triemaps-2023.pdf 2026-01-06T13:39:34+00:00 https://simon.peytonjones.org/assets/pdfs/type-classes.pdf 2026-01-06T13:39:34+00:00 https://simon.peytonjones.org/assets/pdfs/type-variables.pdf 2026-01-06T13:39:34+00:00 https://simon.peytonjones.org/assets/pdfs/typed-reflection.pdf 2026-01-06T13:39:34+00:00 https://simon.peytonjones.org/assets/pdfs/vectorisation-avoidance.pdf 2026-01-06T13:39:34+00:00 https://simon.peytonjones.org/assets/pdfs/verse-March23.pdf 2026-01-06T13:39:34+00:00 https://simon.peytonjones.org/assets/pdfs/verse-conf.pdf 2026-01-06T13:39:34+00:00 https://simon.peytonjones.org/assets/pdfs/verse-icfp23.pdf 2026-01-06T13:39:34+00:00 https://simon.peytonjones.org/assets/pdfs/vicause-simultaneous-missing-value-imputation-and-causal-discovery.pdf 2026-01-06T13:39:34+00:00 https://simon.peytonjones.org/assets/pdfs/vicause-simultaneous-missing-value.pdf 2026-01-06T13:39:34+00:00 https://simon.peytonjones.org/assets/pdfs/wansbrough-phd.pdf 2026-01-06T13:39:34+00:00 https://simon.peytonjones.org/assets/pdfs/work-efficient-higher-order-vectorisation.pdf 2026-01-06T13:39:34+00:00 https://simon.peytonjones.org/assets/pdfs/writing-a-proposal-mar23.pdf 2026-01-06T13:39:34+00:00