Generic Point-Free Lenses (2010)

by H Pacheco, A Cunha
Venue:In 10th Int’l Conf. on Mathematics of Program Construction (MPC’10), LNCS 6120