Nevin Heintze. Set-Based Analysis of ML Programs. In LISP and Functional Programming. pages 306-317, 1994. [doi]
@inproceedings{Heintze94,
title = {Set-Based Analysis of ML Programs},
author = {Nevin Heintze},
year = {1994},
doi = {10.1145/182409.182495},
url = {http://doi.acm.org/10.1145/182409.182495},
tags = {rule-based, program analysis, analysis},
researchr = {https://researchr.org/publication/Heintze94},
cites = {0},
citedby = {0},
pages = {306-317},
booktitle = {LISP and Functional Programming},
}