Dec 29, 2011 · Tweet · December 2011 Type systems are the Semantic Web of programming. Type systems are the Semantic Web of programming. ➛