Jonathan Edwards Subtext: uncovering the simplicity of programming. 505-518 2005 conf/oopsla/2005 OOPSLA http://doi.acm.org/10.1145/1094811.1094851 db/conf/oopsla/oopsla2005.html#Edwards05