Generic Point-free Lenses

Pacheco, H.; Cunha, A.

by H. Pacheco, A. Cunha

Reference:

H. Pacheco, A. Cunha, Generic Point-free Lenses, In Proceedings of the 10th International Conference on Mathematics of Program Construction (MPC 2010), Springer-Verlag, vol. 6120, pp. 331-352, 2010. [slides]

Bibtex Entry:

@inproceedings{PachecoCunha:10,
   author = {H. Pacheco and A. Cunha},
   title = {Generic Point-free Lenses},
   booktitle = {Proceedings of the 10th International Conference on Mathematics of Program Construction (MPC 2010)},
   series = {Lecture Notes in Computer Science},
   publisher = {Springer-Verlag},
   pages = {331-352},
   volume = {6120},
   year = {2010},
   url = {publications/mpc10.pdf},
   comment = {<a href="publications/mpc10-slides.pdf">[slides]</a>}
}