Common Type System
Common Type System (CTS) is formal type system implemented by CLR
Designed for Object-Oriented, Procedural, and Functional Languages
- In roughly that order: Is it useful?, Is it important?, Is it necessary?
About 20 languages carefully investigated
About 15 targetting:
- APL, C#, C++, COBOL, Component Pascal, Eiffel, Haskel#/Mondrian, Java™, Mercury, Oberon, Perl, Python, Scheme, Smalltalk, Standard ML, Visual Basic