Eike Ritter. Categorical Abstract Machines for Higher-Order Typed lambda-Calculi. Theoretical Computer Science, 136(1):125-162, 1994.
@article{Ritter94:0, title = {Categorical Abstract Machines for Higher-Order Typed lambda-Calculi}, author = {Eike Ritter}, year = {1994}, tags = {abstract machine}, researchr = {https://researchr.org/publication/Ritter94%3A0}, cites = {0}, citedby = {0}, journal = {Theoretical Computer Science}, volume = {136}, number = {1}, pages = {125-162}, }