CLiki for the TUNES project
Type Systems Varieties
A Systematic Approach in Type System Design based on Constraint Handling Rules (CHRs)
Type Systems for Modularity
Polynomial Time Complexity as a Type: see
for the theory, and
for more information.
Behavioral Contracts and Behavioral Subtyping
: typing for behavior, for object-oriented systems.