Type inference system and method
Type partitioned dataflow analyses
Typed intermediate language support for existing compilers
Typed intermediate language support for languages with...
Typed intermediate language support for languages with...
Typed-data translation for platform independence