You-Chin Fuh. Design and Implementation of a Functional Language with Subtypes. PhD thesis, State University of New York at Stony Brook, 1989.  Home/Search   Document Not in Database   Summary   Related Articles

....Consequently, they lack the uniformity and generality required for soft typing. Finally, many researchers in the area of static type systems have developed extensions to the ML type system that can type a larger fraction of good programs. In the arena, the work of Mitchell[18] Fuh Mishra[11, 12, 13], and, of course R emy[19] is particularly noteworthy and has exerted a strong influence on our work. 9 Conclusions The principal contribution of this research is the introduction of a new paradigm for program typing called soft typing that combines the best features of static and dynamic ....

You-Chin Fuh. Design and Implementation of a Functional Language with Subtypes. PhD thesis, State University of New York at Stony Brook, 1989.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC