Formally Deriving an STG Machine
Aktak:
Proceedings of the ACM SIGPLAN Conference on Principles and Practice of Declarative Programming
ISBN: 1581137052
Argitalpen urtea: 2003
Alea: 5
Orrialdeak: 102-112
Mota: Biltzar ekarpena