© 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},
}