Suivre
Matthew Pickering
Matthew Pickering
Well-Typed LLP
Adresse e-mail validée de well-typed.com
Titre
Citée par
Citée par
Année
Profunctor optics: Modular data accessors
M Pickering, J Gibbons, N Wu
arXiv preprint arXiv:1703.10857, 2017
742017
Pattern synonyms
M Pickering, G Érdi, S Peyton Jones, RA Eisenberg
Proceedings of the 9th International Symposium on Haskell, 80-91, 2016
522016
Staged selective parser combinators
J Willis, N Wu, M Pickering
Proceedings of the ACM on Programming Languages 4 (ICFP), 1-30, 2020
212020
Working with source plugins
M Pickering, N Wu, B Németh
Proceedings of the 12th ACM SIGPLAN International Symposium on Haskell, 85-97, 2019
192019
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
132022
Multi-stage programs in context
M Pickering, N Wu, C Kiss
Proceedings of the 12th ACM SIGPLAN International Symposium on Haskell, 71-84, 2019
112019
Generic deriving of generic traversals
C Kiss, M Pickering, N Wu
Proceedings of the ACM on Programming Languages 2 (ICFP), 1-30, 2018
102018
Staged sums of products
M Pickering, A Löh, N Wu
Proceedings of the 13th ACM SIGPLAN International Symposium on Haskell, 122-135, 2020
92020
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
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–12