%0 Conference Paper %1 conf/fp/DavisW89 %A Davis, Kei %A Wadler, Philip %B Functional Programming %D 1989 %E Davis, Kei %E Hughes, John %I Springer %K dblp %P 12-30 %T Backwards Strictness Analysis: Proved and Improved. %U http://dblp.uni-trier.de/db/conf/fp/fp1989.html#DavisW89 %@ 3-540-19609-9

@inproceedings{conf/fp/DavisW89, added-at = {2003-02-18T00:00:00.000+0100}, author = {Davis, Kei and Wadler, Philip}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2a0ebfb8240ffddba5f73065b0f3b0a90/dblp}, booktitle = {Functional Programming}, crossref = {conf/fp/1989}, editor = {Davis, Kei and Hughes, John}, interhash = {b160765f00412e963c557bb95f0f6992}, intrahash = {a0ebfb8240ffddba5f73065b0f3b0a90}, isbn = {3-540-19609-9}, keywords = {dblp}, pages = {12-30}, publisher = {Springer}, series = {Workshops in Computing}, timestamp = {2016-02-02T14:36:24.000+0100}, title = {Backwards Strictness Analysis: Proved and Improved.}, url = {http://dblp.uni-trier.de/db/conf/fp/fp1989.html#DavisW89}, year = 1989 }