Guy Cousineau, Pierre-Louis Curien, Michel Mauny. The Categorical Abstract Machine. In Functional Programming Languages and Computer Architecture. Volume 201 of Lecture Notes in Computer Science, pages 50-64, Springer-Verlag, Nancy, France, 1985.
@inproceedings{CousineauCM85,
title = {The Categorical Abstract Machine},
author = {Guy Cousineau and Pierre-Louis Curien and Michel Mauny},
year = {1985},
tags = {abstract machine},
researchr = {https://researchr.org/publication/CousineauCM85},
cites = {0},
citedby = {0},
pages = {50-64},
booktitle = {Functional Programming Languages and Computer Architecture},
volume = {201},
series = {Lecture Notes in Computer Science},
address = {Nancy, France},
publisher = {Springer-Verlag},
}