TY  - THES
AU  - Sánchez Gil, Lidia
A3  - Hidalgo Herrero, Mercedes
A3  - Ortega Mallén, Yolanda
PY  - 2015
UR  - https://hdl.handle.net/20.500.14352/26327
AB  - Eden es un lenguaje funcional paralelo que extiende Haskell con construcciones sintácticas para especificar la creación de procesos. En Eden se distinguen dos partes: un lambda cálculo perezoso y expresiones de coordinación. El lenguaje Jauja es una...
LA  - spa
PB  - Universidad Complutense de Madrid
KW  - Lenguajes de programación
KW  - Lenguajes de programación funcional
KW  - Programming languages
KW  - Functional Programming Languages
TI  - Sobre la equivalencia entre semánticas operacionales y denotacionales para lenguajes funcionales paralelos
T2  - On the equivalence of operational and denotational semantics for parallel functional languages
M3  - doctoral thesis
ER  -