Masked types for sound object initialization.

Xin Qi, Andrew C. Myers

Browse the full POPL paper archive.