16 citations · 19 across the 3 of their papers we have counts for
1 paper · 2 filters
Mitchell Riley
Bidirectional data accessors such as lenses, prisms and traversals are all instances of the same general 'optic' construction. We give a careful account of this construction and sh…