Publications

  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)
 

Home page