%0 Journal Article
%A Erkök, Levent
%A Launchbury, John
%A Moran, Andrew
%T Semantics of value recursion for monadic input/output
%J RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
%D 2002
%P 155-180
%V 36
%N 2
%I EDP-Sciences
%U http://archive.numdam.org/articles/10.1051/ita:2002008/
%R 10.1051/ita:2002008
%G en
%F ITA_2002__36_2_155_0