A Proof of Correctness for the STG Machine

  1. Encina Vara, Alberto de la
  2. Peña Marí, Ricardo
Liburua:
Primeras jornadas sobre programación y lenguajes: (Prole 2001) : [celebradas en] Almagro, [el] 23 y 24 de noviembre de 2001
  1. Orejas Valdés, Fernando (ed. lit.)
  2. Cuartero Gómez, Fernando (ed. lit.)
  3. Cazorla López, Diego (ed. lit.)

Argitaletxea: Universidad de Castilla-La Mancha

Argitalpen urtea: 2001

Orrialdeak: 33-48

Biltzarra: Jornadas sobre Programación y Lenguajes (1. 2001. Almagro)

Mota: Biltzar ekarpena

DIALNET GOOGLE SCHOLAR
Datuen iturria: Dialnet