Thomas P. Jensen. Inference of Polymorphic and Conditional Strictness Properties. In Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages. pages 209-221, ACM, New York, NY, USA, 1998. [doi]
@inproceedings{Jensen98:0,
title = {Inference of Polymorphic and Conditional Strictness Properties},
author = {Thomas P. Jensen},
year = {1998},
doi = {10.1145/268946.268964},
url = {http://doi.acm.org/10.1145/268946.268964},
researchr = {https://researchr.org/publication/Jensen98%3A0},
cites = {0},
citedby = {0},
pages = {209-221},
booktitle = {Proceedings of the 25th {ACM SIGPLAN-SIGACT} symposium on Principles of programming languages},
address = {New York, NY, USA},
publisher = {ACM},
}