Typing References by Effect Inference

@inproceedings{Wright1992TypingRB,
  title={Typing References by Effect Inference},
  author={Andrew K. Wright},
  booktitle={ESOP},
  year={1992}
}
Highly Cited
This paper has 43 citations. REVIEW CITATIONS