Type systems for the masses: deriving soundness proofs and efficient checkers.

Sylvia Grewe, Sebastian Erdweg, Pascal Wittmann, Mira Mezini

Browse the full OOPSLA paper archive.