For those interested in type inference of stack-based languages I have
made a first attempt to explain the type inference algorithm used in
Cat at http://cdiggins.com/2007/05/06/step-by-step-type-inference/
Christopher Diggins
http://www.cat-language.com