CTO CLiki for the TUNES project

Home About CLiki Text Formatting

Type Systems Varieties

Type Systems Varieties:

• Hindley-Milner;
• constraints-based:
  • A Systematic Approach in Type System Design based on Constraint Handling Rules (CHRs).
  • Wallace.
• Type Systems for Modularity.
• Polynomial Time Complexity as a Type: see this paper for the theory, and this pre-print for more information.
• Behavioral Contracts and Behavioral Subtyping: typing for behavior, for object-oriented systems.