Fritz Henglein. A Type Inference System for SETL. 19 June 1987
Click here to get the file
This site conforms to the following standards: