John Launchbury
Strictness and Binding-Time Analyses: Two for the Price of One
PLDI, 1991.
@inproceedings{PLDI-1991-Launchbury, author = "John Launchbury", booktitle = "{Proceedings of the 12th Conference on Programming Language Design and Implementation}", doi = "10.1145/113445.113453", editor = "David S. Wise", isbn = "0-89791-428-7", pages = "80--91", publisher = "{ACM}", title = "{Strictness and Binding-Time Analyses: Two for the Price of One}", year = 1991, }