Previous Up Next

Chapter 3  Core Types


1
In Standard ML, no abstract type admits equality; this restriction is lifted in HimML.

Previous Up Next