@phdthesis{us-5553,
  title = {Type systems for object-oriented intermediate languages},
  author = {Stephen N. Freund},
  year = {2000},
  url = {https://searchworks.stanford.edu/view/4701299},
  researchr = {https://researchr.org/publication/us-5553},
  cites = {0},
  citedby = {0},
  school = {Stanford University, USA},
}