From high to low: Simulating nondeterminism and state with state

Detalles Bibliográficos

Publicado en:	Journal of Functional Programming vol. 34 (2024)
Autor principal:	Tang, Wenhao
Otros Autores:	Schrijvers, Tom
Publicado:	Cambridge University Press
Materias:	Simulation Programming languages Semantics Algebra Syntax Copying Optimization techniques Abstract machines
Acceso en línea:	Citation/Abstract Full Text - PDF
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!