Implementations of the C-calculus