@inproceedings{Huang-Yang-reconstruction-2,
  title = "Type Reconstruction for Syntactic Control of Interference, Part 2",
  author = "Howard Huang and Hongseok Yang",
  year = "1998",
  booktitle = "Proceedings of the 1998 International Confererence on Computer Languages",
  month = "May",
  organization = "IEEE",
  pages = "164--173",
  url = "http://www.cs.ox.ac.uk/people/hongseok.yang/paper/final.ps",
}