Hidalgo Herrero, MercedesOrtega Mallén, YolandaOhori, Atsushi2023-06-202023-06-202003978-3-540-20536-410.1007/978-3-540-40018-9_20https://hdl.handle.net/20.500.14352/60591APLAS 2003 (1º. 2003. Pekín)The aim of the present work is to compare, from a formal semantic basis, the different approaches to the parallelization of functional programming languages. For this purpose, we define a continuation semantics model which allows us to deal with side-effects and parallelism. To verify the suitability of our model we have applied it to three programming languages that introduce parallelism in very different ways, but whose common functional kernel is the lazy functional language Haskell.engbook parthttp://www.springerlink.com/content/awgfv2kk67edxmfk/fulltext.pdfhttp://www.springerlink.comopen access004.43Computer ScienceSoftware EngineeringTheory & MethodsLenguajes de programación1203.23 Lenguajes de Programación