D. Berry. Lessons from the Design of a Standard ML Library. Journal of Functional Programming, 3(4):527--552, October 1993.  Home/Search   Document Not in Database   Summary   Related Articles   Check

.... has been inspired by previous attempts on building generic computer algebra libraries that were seriously hampered by a lack of appropriate language support [7, 12] Module parameterization as the basic device for building large software systems has been pioneered by the functional language SML [1] and by specialpurpose computer algebra languages [2, 8, 6] Nevertheless, the main stream in software engineering concentrates on the object oriented notion of type inheritance for building reusable software [5] However, it is difficult to model mathematically axiomatized structures by ....

D. Berry. Lessons from the Design of a Standard ML Library. Journal of Functional Programming, 3(4):527--552, October 1993.

....by their utility. The treatment of equality properties (equality kinds) could be generalized and made more sophisticated ( 20] but it would probably be better to simplify the language by eliminating them. See also the comments on the problems that equality types cause for library design in [6]. Overloading has some inconvenient interactions with polymorphism, as noted in [3] because both of them dilute the type information available in different ways. Another problem with overloading is that it is treated in an ad hoc manner in Standard ML. There are a few special identifiers ....

Dave Berry. Lessons from the design of a Standard ML library. Journal of Functional Programming, 1993. In press.

No context found.

Dave Berry. Lessons from the Design of a Standard ML Library. Journal of Functional Programming, 3(4):527--552, October 1993. BIBLIOGRAPHY 82

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