Coherence

Coherence is an experimental programming language.

It is the continuation of Subtext using other means.

I introduced it in a talk at OOPSLA Onward '09 [paper] [full version].

I discussed some formalities in this talk at NEPLS'09 [Powerpoint].

Update: I discovered that co-action is non-deterministic, and have abandoned it. I described an alternative approach in my talk at the Emerging Languages Camp[Powerpoint, PDF].

Further discussion is at Alarming Development.

— May you program in clarity.