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]

Further discussion is at Alarming Development.

— May you program in clarity.