Pattern synonyms. - Matthew Pickering; Gergo Érdi; Simon Peyton Jones; Richard A. Eisenberg (Haskell, 2016)

Profunctor Optics: Modular Data Accessors. - Matthew Pickering; Jeremy Gibbons; Nicolas Wu (Art Sci. Eng. Program., 2017)

Generic deriving of generic traversals. - Csongor Kiss; Matthew Pickering; Nicolas Wu (Proc. ACM Program. Lang., 2018)

Multi-stage programs in context. - Matthew Pickering; Nicolas Wu; Csongor Kiss (Haskell@ICFP, 2019)

Working with source plugins. - Matthew Pickering; Nicolas Wu; Boldizsár Németh (Haskell@ICFP, 2019)

Staged sums of products. - Matthew Pickering; Andres Löh; Nicolas Wu (Haskell@ICFP, 2020)

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)

Staged selective parser combinators. - Jamie Willis; Nicolas Wu; Matthew Pickering (Proc. ACM Program. Lang., 2020)

A Specification for Typed Template Haskell. - Matthew Pickering; Andres Löh; Nicolas Wu (CoRR, 2021)

Staging with class: a specification for typed template Haskell. - Ningning Xie; Matthew Pickering; Andres Löh; Nicolas Wu; Jeremy Yallop; Meng Wang 002 (Proc. ACM Program. Lang., 2022)