A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2004; you can also visit the original URL.
The file type is
The denition of Standard ML provides a form of generic equality which is inferred for certain types, called equality types, on which it is possible to dene an equality relation in ML. However, the standard denition is incomplete in the sense that there are interesting and useful types which are not inferred to be equality types but for which an equality relation can be dened in ML in a uniform manner. In this paper, a renement of the Standard ML system of equality types is introduced and isdoi:10.1006/inco.1993.1070 fatcat:x7os75w4szbppobaul6rnfxckq