The G-machine as a representation of stack semantics

Publisher Website

1 January 1987

book chapter
Published by Springer Nature

p. 46-59
https://doi.org/10.1007/3-540-18317-5_4

Abstract

No abstract available

This publication has 2 references indexed in Scilit:

A theory of type polymorphism in programming
Published by Elsevier ,2003
Some practical methods for rapid combinator reduction
Published by Association for Computing Machinery (ACM) ,1984