Publications

Explicit Level Imports Matthew Pickering, Rodrigo Mesquita, Adam Gundry. TFP 2025 (PDF)
Staging with class: a specification for Typed Template Haskell. Ningning Xie, Matthew Pickering, Andres Löh, Nicolas Wu, Jeremy Yallop, Meng Wang. POPL 2022 (PDF)
Understanding the Interaction Between Elaboration and Quotation Matthew Pickering PhD Thesis
Building an Integrated Development Environment (IDE) on top of a Build System: The tale of a Haskell IDE Neil Mitchell, Moritz Kiefer, Pepe Iborra, Luke Lau, Zubin Duggal, Hannes Siebenhandl, Javier Neira Sanchez, Matthew Pickering, Alan Zimmerman. IFL 2020 (PDF)
Staged Sums of Product. Matthew Pickering, Andres Löh, Nicolas Wu. Haskell 2020 (PDF)
Staged Selective Parser Combinators. Jamie Willis, Nicolas Wu, Matthew Pickering. ICFP 2020 (PDF)
Multi-Stage Programs in Context. Matthew Pickering, Nicolas Wu, Csongor Kiss. Haskell Symposium 2019 (PDF)
Working with Source Plugins. Matthew Pickering, Nicolas Wu, Boldizsár Németh. Haskell Symposium 2019 (PDF)
Generic Deriving of Generic Traversals. Csongor Kiss, Matthew Pickering, Nicolas Wu. ICFP 2018 (PDF)
Profunctor Optics: Modular Data Accessors. Matthew Pickering, Jeremy Gibbons, Nicolas Wu. The Art‚ Science‚ and Engineering of Programming. Vol. 1. No. 2. 2017 (PDF)
Pattern Synonyms. Matthew Pickering, Gergő Érdi, Simon Peyton Jones, Richard A. Eisenberg. Haskell Symposium 2015 (PDF)