Matching lenses: alignment and view update. - Davi M. J. Barbosa; Julien Cretin; Nate Foster; Michael Greenberg 002; Benjamin C. Pierce (ICFP, 2010)