Simon Peyton Jones
where else to find them
what they talk about
all 10 in the filters
where they keep going back
all 13 in the filters
on a stage with
all 26 in the filters
who talks about the same things
- Lennart Augustsson10 talks
- Philip Wadler14 talks
- Alejandro Serrano Mena14 talks
- Paul Snively6 talks
- Pawel Szulc28 talks
- Tony Morris16 talks
| title | conference | date |
|---|---|---|
| Another Taste of Verse | ZuriHac 2026 | 2026-06-06 |
Verse treats every expression as able to produce zero, one, or many values, with built‑in choice and failure composing into sequencing, comprehension‑style for… | ||
| Join points in practice | Haskell 2025 | 2025-10-16 |
Join points are a small extension to GHC Core (tagging some let-binders) that the compiler infers with the Occurrence Analyser and treats specially in the… | ||
| Type inference for application spines | WITS 2024 | 2024-01-20 |
Argues that typechecking whole application spines — head plus all arguments — yields concrete wins: clearer error locations (e.g. “third argument of f”)… | ||
| Solving constraints during type inference | WITS 2024 | 2024-01-20 |
GHC implements Pottier and Rémy’s generate-and-solve architecture: a constraint generator that walks the syntax tree and a smaller, subtler solver that… | ||
| GHC status report | HIW 2023 | 2023-09-04 |
GHC moves on a six‑month cadence with six minor fixes since 9.4.1, 9.6 in March and 9.8 due around October, 9.10 forking in January; notable additions include… | ||
| How to Write a Great Research Paper | PLMW @ ICFP 2023 | 2023-09-04 |
Start writing the paper as soon as an idea appears so writing drives the research rather than waiting for finished results; state a single key idea early, give… | ||
| The Verse Calculus: A Core Calculus for Deterministic Functional Logic Programmi... | ICFP 2023 | 2023-09-04 |
A new core calculus (VC) gives a small-step rewrite semantics for a deterministic functional logic language and implements unification and logical variables as… | ||
| Beyond Functional Programming: A Taste of Verse | ZuriHac 2023 | 2023-06-10 |
Verse is a new declarative functional‑logic language being specified for Epic Games to run persistent metaverse code that must scale to millions of independent… | ||
| Secrets of the GHC Typechecker in 100 Type Declarations | 2023 GHC Contributors' Workshop | 2023-06-07 |
Deep tour of GHC’s typechecker anchored in actual source: 50,000 lines of Haskell, modules like GHC.Tc.Gen (≈11k LOC), GHC.Tc.Solver (≈6k), GHC.Tc.Errors… | ||
| State of GHC | HIW 2022 | 2022-09-11 |
Release notes and road map for GHC: 9.2 adds the GHC2021 flag, predictivity for polymorphism and record dot selection; 9.4 adds improved profiling with… | ||
| Into the Core Squeezing Haskell into nine Constructors | ZuriHac 2022 | 2022-06-15 |
GHC Core is a tiny explicitly-typed intermediate language (about nine expression constructors) where explicit types on every binder and System F big-lambdas… | ||
| Provably Correct, Asymptotically Efficient, Higher-Order Reverse-Mode Automatic | POPL 2022 | 2022-01-16 |
Claims a source to source transformation that produces dual numbers then generalizes to multi dual numbers and a compact symbolic delta representation… | ||
| Hashing Modulo Alpha Equivalence | YOW! 2021 | 2021-11-30 |
Presents an algorithm that hashes lambda terms modulo alpha‑equivalence by summarizing each node into a structure + free‑variable map and then hashing those… | ||
| Elastic Sheet-Defined Functions: Generalising Spreadsheet Functions to Variable-Size ... | ICFP 2020 | 2020-08-23 |
Automatic algorithm generalises sheet-defined functions to variable-size inputs by inferring length variables, emitting constraints and solving them like type… | ||
| A Quick Look at Impredicativity | ICFP 2020 | 2020-08-23 |
A design called Quick Look phase adds a localized instantiation pass to GHC that discovers impredicative instantiations by peeking at arguments and nested… | ||
| Lower Your Guards: A Compositional Pattern-Match Coverage Checker | ICFP 2020 | 2020-08-23 |
Pattern-match coverage checking becomes a desugaring to guard trees that reduce all patterns to three constructs, with two simple processors A and U producing… | ||
| Kinds are Calling Conventions | ICFP 2020 | 2020-08-23 |
An intermediate language encodes runtime representation, arity and evaluation strategy inside kinds so multi-argument calls compile statically even under… | ||
| Ask Me Anything with Simon Peyton Jones | PLDI 2020 | 2020-06-15 |
A wide-ranging AMA covers Haskell tradeoffs and real projects: GHC uses a GHC Core typed intermediate language to keep transformations type-safe, experiments… | ||
| Revolution in computing education at school: opportunity & challenge | Code Mesh LDN 2019 | 2019-11-07 |
England mandates a two‑page computing curriculum that teaches fundamental CS from age 6, backed by a £100 million National Centre delivering training, a… | ||
| Revisiting pattern match overlap checks in Haskell | Code Mesh LDN 2019 | 2019-11-07 |
GHC pattern-match coverage and overlap checks get refactored by desugaring complex patterns into a linear sequence of simple guards and building a fact base… | ||
| Code Mesh LDN 2019 Highlights | Code Mesh LDN 2019 | 2019-11-07 |
Keynotes argue that schools must teach computer science at an early age and that coding can help address social problems, while a session frames AI as… | ||
| Shaping our children's education in computing | Strange Loop 2018 | 2018-09-26 |
England rewrites its school computing curriculum onto two sides of A4, yet only about one in ten students takes GCSE computer science and teachers lack… | ||
| Into the Core - Squeezing Haskell into Nine Constructors | Erlang User Conference 2016 | 2016-09-08 |
GHC compiles Haskell into a tiny statically typed intermediate language based on System F and ultimately expressed with only nine constructors, letting the… | ||
| nothing matches | ||