Flexible Type Analysis

Karl Crary, Stephanie Weirich. Flexible Type Analysis. In ICFP. pages 233-248, 1999. [doi]

@inproceedings{CraryW99,
  title = {Flexible Type Analysis},
  author = {Karl Crary and Stephanie Weirich},
  year = {1999},
  doi = {10.1145/317636.317906},
  url = {http://doi.acm.org/10.1145/317636.317906},
  tags = {analysis},
  researchr = {https://researchr.org/publication/CraryW99},
  cites = {0},
  citedby = {0},
  pages = {233-248},
  booktitle = {ICFP},
}