A simple typed intermediate language for object-oriented languages.

Juan Chen, David Tarditi

Browse the full POPL paper archive.