A representation of types, type-checker, and compiler are provided for checking consistency in various forms of an intermediate language. Type-checking a programming language in a compiler is accomplished by taking one or more rule sets as input to a type-checker, which selects one or more of the rule...http://www.google.com/patents/US7086041?utm_source=gb-gplus-sharePatent US7086041 - Extensible type system for representing and checking consistency of program components during the process of compilation
Extensible type system for representing and checking consistency of program ...
