Подписаться
Matthew Pickering
Matthew Pickering
Well-Typed LLP
Подтвержден адрес электронной почты в домене well-typed.com
Название
Процитировано
Процитировано
Год
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
562016
Staged selective parser combinators
J Willis, N Wu, M Pickering
Proceedings of the ACM on Programming Languages 4 (ICFP), 1-30, 2020
222020
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
182022
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
Staged sums of products
M Pickering, A Löh, N Wu
Proceedings of the 13th ACM SIGPLAN International Symposium on Haskell, 122-135, 2020
102020
Generic deriving of generic traversals
C Kiss, M Pickering, N Wu
Proceedings of the ACM on Programming Languages 2 (ICFP), 1-30, 2018
102018
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
42020
Understanding the Interaction Between Elaboration and Quotation
MT Pickering
University of Bristol, 2021
12021
A Specification for Typed Template Haskell
M Pickering, A Löh, N Wu
arXiv preprint arXiv:2112.03653, 2021
2021
Profunctor Optics
M Pickering, J Gibbons, N Wu
2016
Explicit Level Imports
M Pickering, R Mesquita, A Gundry
В данный момент система не может выполнить эту операцию. Повторите попытку позднее.
Статьи 1–13