Establishing object invariants with delayed types.

Manuel Fhndrich, Songtao Xia

Browse the full OOPSLA paper archive.