Sobre la equiValencia entre semánticas operacionales y denotacionales para lenguajes funcionales paralelos

Tesis doctoral de Lidia Sánchez Gil Eden es un lenguaje funcional paralelo que extiende haskell con construcciones sintácticas para especificar […]

, , , , ,