Profunctor optics: Modular data accessors M Pickering, J Gibbons, N Wu arXiv preprint arXiv:1703.10857, 2017 | 74 | 2017 |
Pattern synonyms M Pickering, G Érdi, S Peyton Jones, RA Eisenberg Proceedings of the 9th International Symposium on Haskell, 80-91, 2016 | 52 | 2016 |
Staged selective parser combinators J Willis, N Wu, M Pickering Proceedings of the ACM on Programming Languages 4 (ICFP), 1-30, 2020 | 21 | 2020 |
Working with source plugins M Pickering, N Wu, B Németh Proceedings of the 12th ACM SIGPLAN International Symposium on Haskell, 85-97, 2019 | 19 | 2019 |
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 | 13 | 2022 |
Multi-stage programs in context M Pickering, N Wu, C Kiss Proceedings of the 12th ACM SIGPLAN International Symposium on Haskell, 71-84, 2019 | 11 | 2019 |
Generic deriving of generic traversals C Kiss, M Pickering, N Wu Proceedings of the ACM on Programming Languages 2 (ICFP), 1-30, 2018 | 10 | 2018 |
Staged sums of products M Pickering, A Löh, N Wu Proceedings of the 13th ACM SIGPLAN International Symposium on Haskell, 122-135, 2020 | 9 | 2020 |
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 | 2 | 2020 |
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 |