TY  - JOUR
AU  - Hidalgo Herrero, Mercedes
AU  - Ortega Mallén, Yolanda
PY  - 2005
DO  - 10.1016/j.entcs.2005.01.039
SN  - 15710661
UR  - https://hdl.handle.net/20.500.14352/50232
T2  - Electronic Notes in Theoretical Computer Science
AB  - We define a denotational semantics for a kernel-calculus of the parallel functional language Eden.We choose continuations to deal with side-effects (process creation and communication) in a lazy context. The calculus includes streams for...
LA  - eng
M2  - 47
PB  - Elsevier
KW  - Denotational semantics
KW  - Continuation semantics
KW  - Laziness
KW  - parallel programming
KW  - Functional programming
KW  - Eden.
TI  - Dealing Denotationally With Stream-based Communication
TY  - journal article
VL  - 137
ER  -