Eugenio Moggi, Amr Sabry. An abstract monadic semantics for value recursion. ITA, 38(4):375-400, 2004. [doi]
@article{MoggiS04, title = {An abstract monadic semantics for value recursion}, author = {Eugenio Moggi and Amr Sabry}, year = {2004}, doi = {10.1051/ita:2004018}, url = {http://dx.doi.org/10.1051/ita:2004018}, tags = {semantics}, researchr = {https://researchr.org/publication/MoggiS04}, cites = {0}, citedby = {0}, journal = {ITA}, volume = {38}, number = {4}, pages = {375-400}, }