Welcome to Type Systems Central

This is a wiki to collect information and thoughts on type systems. The target audience is:

• Smart and discerning. Information that's sloppy is likely to be corrected or tightened up. Being picky is not a flaw. Being correct is a goal.
• Non-academic. Type Systems Central is not intended for publishing novel results. Any information is welcome, but it's an explicit goal to keep examples, intuition, and basic information that might be considered pointless in an academic journal.
• Open and accepting. Encountering things you disagree with isn't uncommon. The hope is that this can be worked out by discussing and refining the content until people agree. Barring that, though, both points of view should remain.

Things I should migrate here

• [http://cdsmith.twu.net/types.html]