28 citations · 28 across the 3 of their papers we have counts for
3 papers
cs.PL2021
A Specification for Typed Template Haskell
Matthew Pickering, Andres Löh, Nicolas Wu
Multi-stage programming is a proven technique that provides predictable performance characteristics by controlling code generation. We propose a core semantics for Typed Template H…
cs.PL2018
Generic Deriving of Generic Traversals
Csongor Kiss, Matthew Pickering, Nicolas Wu
Functional programmers have an established tradition of using traversals as a design pattern to work with recursive data structures. The technique is so prolific that a whole host…
cs.PL2017★ 28 cited
Profunctor Optics: Modular Data Accessors
Matthew Pickering, Jeremy Gibbons, Nicolas Wu
CONTEXT: Data accessors allow one to read and write components of a data structure, such as the fields of a record, the variants of a union, or the elements of a container. These d…