We implement a library for encoding constructor classes in Standard ML, including elaboration from minimal definitions, and automatic instantiation of superclasses.
['Yutaka Nagashima', "Liam O'Connor"]
Close encounters of the higher kind - emulating constructor classes in standard ML