A Proof of Correctness for the STG Machine

• Autores: Alberto de la Encina Vara, Ricardo Peña Marí
• Localización: Primeras jornadas sobre programación y lenguajes: (Prole 2001) : [celebradas en] Almagro, [el] 23 y 24 de noviembre de 2001 / Fernando Orejas Valdés (ed. lit.) , Fernando Cuartero Gómez (ed. lit.) , Diego Cazorla López (ed. lit.) , 2001, págs. 33-48
• Idioma: inglés
• Texto completo no disponible (Saber más ...)