I have uploaded a rough draft of a technical report describing the type inference algorithm used in Cat at http://www.cat-language.com/paper.html Any comments, suggestions, or criticisms would be much appreciated - Christopher Diggins