4 citations · 10 across the 6 of their papers we have counts for
1 paper · 2 filters
Jules Hedges
Bimorphic lenses are a simplification of polymorphic lenses that (like polymorphic lenses) have a type defined by 4 parameters, but which are defined in a monomorphic type system (…