Types in Program Analysis

@inproceedings{Jensen2002TypesIP,
  title={Types in Program Analysis},
  author={Thomas P. Jensen},
  booktitle={The Essence of Computation},
  year={2002}
}