Soft typing (with retrospective)

Robert Cartwright, Mike Fagan

Browse the full PLDI paper archive.