A Type System for Reachability and Acyclicity.

Yi Lu, John Potter

Browse the full ECOOP paper archive.