My new project
I'm going to work on implementing c0 in a distributed context. The source language c0 will look very similar to c in its grammar but we will add extra distributed semantics. The parser and the typechecker will be written in SML and we hope we could compile this code to a Go backend. The link to the project proposal is listed here.