Clement A. Baker-Finch, Kevin Glynn, Simon L. Peyton Jones. Constructed product result analysis for Haskell. Journal of Functional Programming, 14(2):211-245, 2004. [doi]
@article{Baker-FinchGJ04, title = {Constructed product result analysis for Haskell}, author = {Clement A. Baker-Finch and Kevin Glynn and Simon L. Peyton Jones}, year = {2004}, doi = {10.1017/S0956796803004751}, url = {http://dx.doi.org/10.1017/S0956796803004751}, tags = {analysis, Haskell}, researchr = {https://researchr.org/publication/Baker-FinchGJ04}, cites = {0}, citedby = {0}, journal = {Journal of Functional Programming}, volume = {14}, number = {2}, pages = {211-245}, }