CallƐ: an effect system for method calls.

Isaac Oscar Gariano, James Noble, Marco Servetto

Browse the full OOPSLA paper archive.