Categorical Abstract Machine is an *(Abstract VM), based on the idea of categorical combinators. See _(Category Theory 101).

_("CAM-2 -- The New Categorical Abstract Machine(s)" | http://www.uwm.edu/~whopkins/functional/cam2.txt).

_("A brief history of Caml (as I remember it)" | http://pauillac.inria.fr/~weis/caml_history.html) (Caml is originally an acronym for Categorical Abstract Machine Language).
