[stack] Type Inference in Cat

"Christopher Diggins" <[email protected]>
Newsgroups gmane.comp.lang.concatenative
Message-ID <[email protected]> 
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
lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.