Formally Deriving an STG Machine
Actas:
Proceedings of the ACM SIGPLAN Conference on Principles and Practice of Declarative Programming
ISBN: 1581137052
Año de publicación: 2003
Volumen: 5
Páginas: 102-112
Tipo: Aportación congreso