Diseño y análisis formal de sistemas de software
FADOSS
University of St Andrews
Saint Andrews, Reino UnidoPublicaciones en colaboración con investigadores/as de University of St Andrews (1)
2003
-
Comparing Parallel Functional Languages: Programming and Performance
Higher-Order and Symbolic Computation, Vol. 16, Núm. 3, pp. 203-251