Publicaciones en las que colabora con RICARDO VICENTE PEÑA MARÍ (3)

2003

  1. Formally Deriving an STG Machine

    Proceedings of the ACM SIGPLAN Conference on Principles and Practice of Declarative Programming

2002

  1. Proving the correctness of the STG machine

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

2001

  1. A Proof of Correctness for the STG Machine

    Primeras jornadas sobre programación y lenguajes: (Prole 2001) : [celebradas en] Almagro, [el] 23 y 24 de noviembre de 2001