Tsung-Min Kuo, Prateek Mishra. Strictness Analysis: A New Perspective Based on Type Inference. In FPCA. pages 260-272, 1989. [doi]
@inproceedings{KuoM89,
title = {Strictness Analysis: A New Perspective Based on Type Inference},
author = {Tsung-Min Kuo and Prateek Mishra},
year = {1989},
doi = {10.1145/99370.99390},
url = {http://doi.acm.org/10.1145/99370.99390},
tags = {type inference, rule-based, analysis},
researchr = {https://researchr.org/publication/KuoM89},
cites = {0},
citedby = {0},
pages = {260-272},
booktitle = {FPCA},
}