I'm currently a PhD student at INRIA Rocquencourt in the Gallium team under the direction of François Pottier.
J. Nathan Foster, Alexandre Pilkiewicz, and Benjamin C. Pierce.
Quotient Lenses.
In ACM SIGPLAN International Conference on Functional
Programming (ICFP), Victoria, BC, pages 383-395, September 2008.
[ bib |
tech report |
conference version ]
Aaron Bohannon, J. Nathan Foster, Benjamin C. Pierce, Alexandre Pilkiewicz, and
Alan Schmitt.
Boomerang: Resourceful Lenses for String Data.
In ACM SIGPLAN-SIGACT Symposium on Principles of
Programming Languages (POPL), San Francisco, CA, pages 407-419,
January 2008.
[ bib |
tech report |
conference version]