[stack] Cat Type Inference Algorithm Technical Report

"Christopher Diggins" <[email protected]> Sun, 20 Apr 2008 02:52:06 -0400

Newsgroups	gmane.comp.lang.concatenative
Message-ID	<[email protected]>

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

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.