%O Report %F he87b %A Henglein, Fritz %T A Polymorphic Type Model for {SETL} %N 221 %I New York University %8 July %D 1987