Testing Speculative Work in a Lazy/Eager Parallel Functional Language
Submitted to International Workshop on Languages and Compilers for Parallel Computing, LCPC'05
July 2005
| |
Alberto de la Encina, Ismael Rodríguez and Fernando Rubio
Testing Speculative Work in a Lazy/Eager Parallel Functional Language Submitted to International Workshop on Languages and Compilers for Parallel Computing, LCPC'05 July 2005 |
| |
Alberto de la Encina, Luis Llana and Fernando Rubio
Formalizing the Debugging Process in Haskell Submitted to International Colloquium on Theoretical Aspects of Computing, ICTAC'05 May 2005 |
| |
Alberto de la Encina and Ricardo Peña
A Proof of Correctness for the STG Machine Submitted to 13th International Workshop on the Implementation of Functional Languages, IFL'01 September 2001 |
| |
Alberto de la Encina and Ricardo Peña
Formally Deriving and STG Machine with proofs Technical Report nº 130-03, Departamento de Sistemas Informáticos y Programación, Universidad Complutense de Madrid January 2003 |
| |
Alberto de la Encina and Ricardo Peña
A Proof of Correctness for the STG Machine with proofs Technical Report nº 120-01, Departamento de Sistemas Informáticos y Programación, Universidad Complutense de Madrid September 2001 |
| |
Alberto de la Encina Vara
Generación de código para lenguajes funcionales perezosos. Master's Thesis, 2001 (in Spanish) |