A typed intermediate language for compiling multiple inheritance.

Juan Chen

Browse the full POPL paper archive.