A Type System for Reachability and Acyclicity

@inproceedings{Lu2005ATS,
  title={A Type System for Reachability and Acyclicity},
  author={Yi Lu and John Potter},
  booktitle={ECOOP},
  year={2005}
}