Kei Davis, Philip Wadler. Backwards Strictness Analysis: Proved and Improved. In Kei Davis, John Hughes, editors, Functional Programming, Proceedings of the 1989 Glasgow Workshop, 21-23 August 1989, Fraserburgh, Scotland, UK. Workshops in Computing, pages 12-30, Springer, 1989.
@inproceedings{DavisW89,
title = {Backwards Strictness Analysis: Proved and Improved},
author = {Kei Davis and Philip Wadler},
year = {1989},
tags = {analysis},
researchr = {https://researchr.org/publication/DavisW89},
cites = {0},
citedby = {0},
pages = {12-30},
booktitle = {Functional Programming, Proceedings of the 1989 Glasgow Workshop, 21-23 August 1989, Fraserburgh, Scotland, UK},
editor = {Kei Davis and John Hughes},
series = {Workshops in Computing},
publisher = {Springer},
isbn = {3-540-19609-9},
}