http://www.info.ucl.ac.be/people/PVR/flopsPVRarticle.pdf http://www.info.ucl.ac.be/people/PVR/flopsPVRarticle.pdf Found that in on of the blog posts regarding

http://www.info.ucl.ac.be/people/PVR/flopsPVRarticle.pdf http://www.info.ucl.ac.be/people/PVR/flopsPVRarticle.pdf Found that in on of the blog posts regarding the OP. Basically, there's been a convergance of certain features of abstraction building, and at least some general outlines of what he refers to as "definitive languages".