22 citations · 103 across the 26 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 (…