Return to Article Details Delta Lenses over Inductive Types Download Download PDF