Why Form, and so Unification of Types, is Important

This presentation looks at why the ‘unification of types’ is pragmatically important (and, more generally, why the ‘innocent’ development environment unification is pragmatically important). It does this by taking an evolutionary perspective that recognises unification as a form adaption for semantic interoperability.