A theory of indirection via approximation.

Aquinas Hobor, Robert Dockins, Andrew W. Appel

Browse the full POPL paper archive.