"Freedom before commitment: a lightweight type system for object ..."

Alexander J. Summers, Peter Müller (2011)
a service of Schloss Dagstuhl - Leibniz Center for Informatics