Matthew Pickering

13 papers C 1Journal 7Unranked 5
YearRankTypeTitle / Venue / Authors
2025 — conf
Explicit Level Imports.
TFP
Matthew Pickering, Rodrigo Mesquita, Adam Gundry
2022 J jnl
Staging with class: a specification for typed template Haskell.
Proc. ACM Program. Lang.
Ningning Xie, Matthew Pickering, Andres Löh, Nicolas Wu, Jeremy Yallop, Meng Wang
2021 J jnl
A Specification for Typed Template Haskell.
CoRR
Matthew Pickering, Andres Löh, Nicolas Wu
2020 — conf
Building an Integrated Development Environment (IDE) on top of a Build System: The tale of a Haskell IDE.
IFL
Neil Mitchell, Moritz Kiefer, Pepe Iborra, Luke Lau, Zubin Duggal, Hannes Siebenhandl, Javier Neira Sanchez, Matthew Pickering, Alan Zimmerman
2020 J jnl
Staged selective parser combinators.
Proc. ACM Program. Lang.
Jamie Willis, Nicolas Wu, Matthew Pickering
2020 — conf
Staged sums of products.
Haskell@ICFP
Matthew Pickering, Andres Löh, Nicolas Wu
2019 — conf
Multi-stage programs in context.
Haskell@ICFP
Matthew Pickering, Nicolas Wu, Csongor Kiss
2019 — conf
Working with source plugins.
Haskell@ICFP
Matthew Pickering, Nicolas Wu, Boldizsár Németh
2018 J jnl
Generic Deriving of Generic Traversals.
CoRR
Csongor Kiss, Matthew Pickering, Nicolas Wu
2018 J jnl
Generic deriving of generic traversals.
Proc. ACM Program. Lang.
Csongor Kiss, Matthew Pickering, Nicolas Wu
2017 J jnl
Profunctor Optics: Modular Data Accessors.
CoRR
Matthew Pickering, Jeremy Gibbons, Nicolas Wu
2017 J jnl
Profunctor Optics: Modular Data Accessors.
Art Sci. Eng. Program.
Matthew Pickering, Jeremy Gibbons, Nicolas Wu
2016 C conf
Pattern synonyms.
Haskell
Matthew Pickering, Gergo Érdi, Simon Peyton Jones, Richard A. Eisenberg