© University of Kent - Contact | Feedback | Legal | FOI | Cookies
The Categorical Multi-combinator Machine: CMCM
Simon Thompson and Rafael D Lins
The Computer Journal, 35(2):182-196, July 1992.Abstract
This paper introduces an abstract machine, Categorical Multi- Combinator Machine, (CMCM), for the implementation of a functional programming language. It is designed directly to model the structure of categorical multi-combinators, as defined by Lins. In another paper, Laboratory Report 9/92, we discuss in detail the close relationship between the TIM and the CMCM.
This paper is published in The Computer Journal, 35, April 1992.
Download publication
63 kbytes
Bibtex Record
@article{114, author = {Simon Thompson and Rafael D Lins}, title = {{The Categorical Multi-combinator Machine: CMCM}}, month = {July}, year = {1992}, pages = {182-196}, keywords = {determinacy analysis, Craig interpolants}, note = {}, doi = {}, url = {http://www.cs.kent.ac.uk/pubs/1992/114}, journal = {The Computer Journal}, number = {2}, volume = {35}, }