Comment by instruction-ptr

The course that uses C0 goes on later to C, and is literally titled “Principles Of Imperative Computation”. We use Standard ML for “Introduction to Functional Programming”.

- source: I’m a TA for this course