Lenses and view update translation. Manuscript; available at http:// www.cis.upenn.edu/~bcpierce/harmony (2003)

by B C Pierce, A Schmitt