Samson Abramsky, Thomas P. Jensen
A Relational Approach to Strictness Analysis for Higher-Order Polymorphic Functions
POPL, 1991.
@inproceedings{POPL-1991-AbramskyJ, author = "Samson Abramsky and Thomas P. Jensen", booktitle = "{Conference Record of the 18th Annual Symposium on Principles of Programming Languages}", doi = "10.1145/99583.99593", editor = "David S. Wise", isbn = "0-89791-419-8", pages = "49--54", publisher = "{ACM Press}", title = "{A Relational Approach to Strictness Analysis for Higher-Order Polymorphic Functions}", year = 1991, }