Follow
Matthew Pickering
Matthew Pickering
Well-Typed LLP
Verified email at well-typed.com
Title
Cited by
Cited by
Year
Profunctor optics: Modular data accessors
M Pickering, J Gibbons, N Wu
arXiv preprint arXiv:1703.10857, 2017
642017
Pattern synonyms
M Pickering, G Érdi, S Peyton Jones, RA Eisenberg
Proceedings of the 9th International Symposium on Haskell, 80-91, 2016
482016
Staged selective parser combinators
J Willis, N Wu, M Pickering
Proceedings of the ACM on Programming Languages 4 (ICFP), 1-30, 2020
192020
Working with source plugins
M Pickering, N Wu, B Németh
Proceedings of the 12th ACM SIGPLAN International Symposium on Haskell, 85-97, 2019
122019
Multi-stage programs in context
M Pickering, N Wu, C Kiss
Proceedings of the 12th ACM SIGPLAN International Symposium on Haskell, 71-84, 2019
102019
Generic deriving of generic traversals
C Kiss, M Pickering, N Wu
Proceedings of the ACM on Programming Languages 2 (ICFP), 1-30, 2018
102018
Staging with class: a specification for typed Template Haskell
N Xie, M Pickering, A Löh, N Wu, J Yallop, M Wang
Proceedings of the ACM on Programming Languages 6 (POPL), 1-30, 2022
92022
Staged sums of products
M Pickering, A Löh, N Wu
Proceedings of the 13th ACM SIGPLAN International Symposium on Haskell, 122-135, 2020
82020
Building an Integrated Development Environment (IDE) on top of a Build System: The tale of a Haskell IDE
N Mitchell, M Kiefer, P Iborra, L Lau, Z Duggal, H Siebenhandl, ...
Proceedings of the 32nd Symposium on Implementation and Application of …, 2020
22020
A Specification for Typed Template Haskell
M Pickering, A Löh, N Wu
arXiv preprint arXiv:2112.03653, 2021
2021
Understanding the Interaction Between Elaboration and Quotation
MT Pickering
University of Bristol, 2021
2021
Profunctor Optics
M Pickering, J Gibbons, N Wu
2016
The system can't perform the operation now. Try again later.
Articles 1–12