Componential Set-Based Analysis.

Cormac Flanagan, Matthias Felleisen

Browse the full PLDI paper archive.