Matthew Pickering
where else to find them
no profile links on file
what they talk about
where they keep going back
no series more than once — all 4 in the filters
on a stage with
- Nicolas Wu2×
- Andres Löhonce
- Ellis Kestertononce
all 7 in the filters
who talks about the same things
- Andres Löh7 talks
- Ningning Xie21 talks
- Tiark Rompf24 talks
- Nicolas Wu25 talks
- Guannan Wei21 talks
- Jeremy Yallop12 talks
| title | conference | date |
|---|---|---|
| Intensional Analysis of Typed Template Haskell Quotations | 2025 Haskell Implementors' Workshop | 2025-06-06 |
A system desugars Typed Template Haskell quotations into a well-typed PHOAS AST so quoted expressions become inspectable and transformable rather than opaque… | ||
| Explicit Level Imports | 2025 Haskell Implementors' Workshop | 2025-06-06 |
Extension changes GHC so imports are annotated with levels instead of being available at all stages, disabling no implicit stage persistence and adding… | ||
| What we have learned about memory profiling in the last 5 years | 2025 Haskell Ecosystem Workshop | 2025-06-05 |
Retrospective lists concrete tooling and workflows: collect runtime events with +RTS -l, visualize heap bands and per-closure counts with eventlog2html, and… | ||
| Staging with Class: A Specification for Typed Template Haskell | POPL 2022 | 2022-01-16 |
Shows that Template Haskell’s interaction with overloading is unsound: splicing well-typed code can produce missing-dictionary errors. Proposes staged type… | ||
| Staged Selective Parser Combinators | ICFP 2020 | 2020-08-23 |
Compiler for parser combinators that converts typed combinator trees into a CPS-style instruction machine and partially evaluates it with typed staging… | ||
| nothing matches | ||