Matthew Pickering

Publication Activity (10 Years)

Years Active: 2016-2022
Publications (10 Years): 12

Top Topics

Dependency Parser

Tree Adjoining Grammar

Top Venues

Proc. ACM Program. Lang.

Publications

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