%0 Journal Article %1 journals/jfp/Schmidt-SchaussSS08 %A Schmidt-Schauß, Manfred %A Sabel, David %A Schütz, Marko %D 2008 %J J. Funct. Program. %K %N 4 %P 503-551 %T Safety of Nöcker's strictness analysis. %U http://dblp.uni-trier.de/db/journals/jfp/jfp18.html#Schmidt-SchaussSS08 %V 18

@article{journals/jfp/Schmidt-SchaussSS08, added-at = {2023-12-13T07:56:27.000+0100}, author = {Schmidt-Schauß, Manfred and Sabel, David and Schütz, Marko}, biburl = {https://www.bibsonomy.org/bibtex/25c03c8dc43b2552a3b76bb71f2346c38/admin}, ee = {https://doi.org/10.1017/S0956796807006624}, interhash = {bf1406f86a1844ef410f88ff72501c50}, intrahash = {5c03c8dc43b2552a3b76bb71f2346c38}, journal = {J. Funct. Program.}, keywords = {}, number = 4, pages = {503-551}, timestamp = {2023-12-13T07:56:27.000+0100}, title = {Safety of Nöcker's strictness analysis.}, url = {http://dblp.uni-trier.de/db/journals/jfp/jfp18.html#Schmidt-SchaussSS08}, volume = 18, year = 2008 }