Publications

Drafts

  • A Specification for Typed Template Haskell. Matthew Pickering, Andres Löh, Nicolas Wu. In limbo 2020 (Rejected ICFP 2020) (PDF)

Publications

Google Scholar

  • Staged Sums of Product. Matthew Pickering, Andres Löh, Nicolas Wu. Haskell 2020 (PDF)
  • Staged Selective Parser Combinators. Jamie Willis, Nicolas Wu, Matthew Pickering. ICFP 2020 (PDF)
  • Multi-Stage Programs in Context. Matthew Pickering, Nicolas Wu, Csongor Kiss. Haskell Symposium 2019 (PDF)
  • Working with Source Plugins. Matthew Pickering, Nicolas Wu, Boldizsár Németh. Haskell Symposium 2019 (PDF)
  • Generic Deriving of Generic Traversals. Csongor Kiss, Matthew Pickering, Nicolas Wu. ICFP 2018 (PDF)
  • Profunctor Optics: Modular Data Accessors. Matthew Pickering, Jeremy Gibbons, Nicolas Wu. The Art‚ Science‚ and Engineering of Programming. Vol. 1. No. 2. 2017 (PDF)
  • Pattern Synonyms. Matthew Pickering, Gergő Érdi, Simon Peyton Jones, Richard A. Eisenberg. Haskell Symposium 2015 (PDF)