Matthew Pickering

According to our database, Matthew Pickering authored at least 11 papers between 2016 and 2025.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2025

Explicit Level Imports.

Matthew Pickering, Rodrigo Mesquita, Adam Gundry

Proceedings of the Trends in Functional Programming - 26th International Symposium, 2025

2022

Staging with class: a specification for typed template Haskell.

Ningning Xie, Matthew Pickering, Andres Löh, Nicolas Wu, Jeremy Yallop, Meng Wang

Proc. ACM Program. Lang., 2022

2021

A Specification for Typed Template Haskell.

Matthew Pickering, Andres Löh, Nicolas Wu

CoRR, 2021

2020

Staged selective parser combinators.

Jamie Willis, Nicolas Wu, Matthew Pickering

Proc. ACM Program. Lang., 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

Proceedings of the IFL 2020: 32nd Symposium on Implementation and Application of Functional Languages, 2020

Staged sums of products.

Matthew Pickering, Andres Löh, Nicolas Wu

Proceedings of the 13th ACM SIGPLAN International Symposium on Haskell, 2020

2019

Working with source plugins.

Matthew Pickering, Nicolas Wu, Boldizsár Németh

Proceedings of the 12th ACM SIGPLAN International Symposium on Haskell, 2019

Multi-stage programs in context.

Matthew Pickering, Nicolas Wu, Csongor Kiss

Proceedings of the 12th ACM SIGPLAN International Symposium on Haskell, 2019

2018

Generic deriving of generic traversals.

Csongor Kiss, Matthew Pickering, Nicolas Wu

Proc. ACM Program. Lang., 2018

2017

Profunctor Optics: Modular Data Accessors.

Matthew Pickering, Jeremy Gibbons, Nicolas Wu

Art Sci. Eng. Program., 2017

2016

Pattern synonyms.

Matthew Pickering, Gergo Érdi, Simon Peyton Jones, Richard A. Eisenberg

Proceedings of the 9th International Symposium on Haskell, 2016