Categorical abstract machine
From Wikipedia, the free encyclopedia
The categorical abstract machine (CAM) is a model of computation for programs[1] that preserves the abilities of applicative, functional, or compositional style. It is based on the techniques of applicative computing.
This article needs additional citations for verification. (December 2012) |