Cat Type Inference Algorithm Technical Report

View: New views

1 Messages — Rating Filter: Alert me

Cat Type Inference Algorithm Technical Report

by Christopher Diggins :: Rate this Message:

Reply to Author | View Threaded | Show Only this Message

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