16 citations · 19 across the 3 of their papers we have counts for
1 paper · 1 filter
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…