Categorical Abstract Machine
Categorical Abstract Machine is a Concrete VM, based on the idea of categorical combinators; see Category Theory 101.- CAM-2 -- The New Categorical Abstract Machine(s).
- A brief history of Caml (as I remember it) (Caml is originally an acronym for Categorical Abstract Machine Language).
This page is linked from: CAM