The Categorical Abstract Machine (bibtex)
by Guy Cousineau, Pierre-Louis Curien, Michel Mauny
Reference:
G. Cousineau, P. Curien and M. Mauny, "The Categorical Abstract Machine", in Proceedings of the ACM Conference on Functional Programming Languages and Computer Architecture, Springer Verlag, 1985, pp. 50-64.
Bibtex Entry:
@inproceedings{Cousineau-Curien-Mauny-1985a,
	author = {Guy Cousineau and Pierre-Louis Curien and Michel Mauny},
	title = {The Categorical Abstract Machine},
	booktitle = {Proceedings of the ACM Conference on Functional
                Programming Languages and Computer Architecture},
        publisher = {Springer Verlag},
        series = {Lecture Notes in Computer Science},
        number = 201,
	year = 1985,
        pages = {50-64}
}
Powered by bibtexbrowser