Categorical Abstract Machine

Categorical Abstract Machine is a Concrete VM, based on the idea of categorical combinators; see Category Theory 101.


This page is linked from: CAM