Unifying theories of programming | lit.salon