Formally Deriving an STG Machine

  1. De la Encina, A.
  2. Peña, R.
Actes:
Proceedings of the ACM SIGPLAN Conference on Principles and Practice of Declarative Programming

ISBN: 1581137052

Any de publicació: 2003

Volum: 5

Pàgines: 102-112

Tipus: Aportació congrés