Geodesic
Semantics of value recursion for monadic input/output
Erkök, Levent ; Launchbury, John  ; Moran, Andrew1
1 Galois Connections, Inc.
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 36 (2002) no. 2, pp. 155-180

Voir la notice de l'article provenant de la source Numdam

Monads have been employed in programming languages for modeling various language features, most importantly those that involve side effects. In particular, Haskell's IO monad provides access to I/O operations and mutable variables, without compromising referential transparency. Cyclic definitions that involve monadic computations give rise to the concept of value-recursion, where the fixed-point computation takes place only over the values, without repeating or losing effects. In this paper, we describe a semantics for a lazy language based on Haskell, supporting monadic I/O, mutable variables, usual recursive definitions, and value recursion. Our semantics is composed of two layers: a natural semantics for the functional layer, and a labeled transition semantics for the IO layer.

DOI : 10.1051/ita:2002008
Classification : 68N18, 68Q55, 18C15

Erkök, Levent  ; Launchbury, John  ; Moran, Andrew 1

1 Galois Connections, Inc. 
@article{ITA_2002__36_2_155_0,
     author = {Erk\"ok, Levent and Launchbury, John and Moran, Andrew},
     title = {Semantics of value recursion for monadic input/output},
     journal = {RAIRO - Theoretical Informatics and Applications - Informatique Th\'eorique et Applications},
     pages = {155--180},
     publisher = {EDP-Sciences},
     volume = {36},
     number = {2},
     year = {2002},
     doi = {10.1051/ita:2002008},
     mrnumber = {1948767},
     zbl = {1011.68017},
     language = {en},
     url = {http://geodesic.mathdoc.fr/articles/10.1051/ita:2002008/}
}
TY  - JOUR
AU  - Erkök, Levent
AU  - Launchbury, John
AU  - Moran, Andrew
TI  - Semantics of value recursion for monadic input/output
JO  - RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
PY  - 2002
SP  - 155
EP  - 180
VL  - 36
IS  - 2
PB  - EDP-Sciences
UR  - http://geodesic.mathdoc.fr/articles/10.1051/ita:2002008/
DO  - 10.1051/ita:2002008
LA  - en
ID  - ITA_2002__36_2_155_0
ER  - 
%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://geodesic.mathdoc.fr/articles/10.1051/ita:2002008/
%R 10.1051/ita:2002008
%G en
%F ITA_2002__36_2_155_0
Erkök, Levent; Launchbury, John; Moran, Andrew. Semantics of value recursion for monadic input/output. RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 36 (2002) no. 2, pp. 155-180. doi: 10.1051/ita:2002008

Cité par Sources :