From natural semantics to C: A formal derivation of two STG machines

Guardado en:

Detalles Bibliográficos
Publicado en:	Journal of Functional Programming vol. 19, no. 1 (Jan 2009), p. 47-94
Autor principal:	DE LA ENCINA, ALBERTO
Otros Autores:	PEÑA, RICARDO
Publicado:	Cambridge University Press
Materias:	Semantics
Acceso en línea:	Citation/Abstract Full Text - PDF
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!