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

Alexander J. Summers, Peter Mller

Browse the full OOPSLA paper archive.