%0 Conference Paper %1 conf/popl/AriolaS98 %A Ariola, Zena M. %A Sabry, Amr %B POPL %D 1998 %E MacQueen, David B. %E Cardelli, Luca %I ACM %K dblp %P 62-74 %T Correctness of Monadic State: An Imperative Call-by-Need Calculus. %U http://dblp.uni-trier.de/db/conf/popl/popl98.html#AriolaS98 %@ 0-89791-979-3

@inproceedings{conf/popl/AriolaS98, added-at = {2020-09-05T00:00:00.000+0200}, author = {Ariola, Zena M. and Sabry, Amr}, biburl = {https://www.bibsonomy.org/bibtex/2243daba4aa921b1cf3e57b158a274949/dblp}, booktitle = {POPL}, crossref = {conf/popl/1998}, editor = {MacQueen, David B. and Cardelli, Luca}, ee = {https://doi.org/10.1145/268946.268952}, interhash = {fc04ccceb09a20c633ca1c888b5e8c76}, intrahash = {243daba4aa921b1cf3e57b158a274949}, isbn = {0-89791-979-3}, keywords = {dblp}, pages = {62-74}, publisher = {ACM}, timestamp = {2020-09-09T14:45:16.000+0200}, title = {Correctness of Monadic State: An Imperative Call-by-Need Calculus.}, url = {http://dblp.uni-trier.de/db/conf/popl/popl98.html#AriolaS98}, year = 1998 }