@masterthesis{dyluslenses, title={Lenses and Bidirectional Programming in Curry}, author={Dylus, Sandra and Hanus, Michael} }