28 citations · 29 across the 3 of their papers we have counts for
4 papers · 1 filter
Structured Handling of Scoped Effects: Extended Version
Zhixuan Yang, Marco Paviotti, Nicolas Wu +2
Algebraic effects offer a versatile framework that covers a wide variety of effects. However, the family of operations that delimit scopes are not algebraic and are usually modelle…
Latent Effects for Reusable Language Components: Extended Version
Birthe van den Berg, Tom Schrijvers, Casper Bach-Poulsen +1
The development of programming languages can be quite complicated and costly. Hence, much effort has been devoted to the modular definition of language features that can be reused…
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…
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…