Generalizing Shape Analysis with Gradual Types.

Zeina Migeed, James Reed, Jason Ansel, Jens Palsberg

Browse the full ECOOP paper archive.