Data61
CSIRO
UNSW
We implement a library for encoding constructor classes in Standard ML, including elaboration from minimal definitions, and automatic instantiation of superclasses.
@misc{Nagashima_OConnor_16, title = {Close Encounters of the Higher Kind --- Emulating Constructor Classes in Standard {ML}}, month = sep, paperurl = {https://trustworthy.systems/publications/nicta_full_text/9426.pdf}, booktitle = {ACM SIGPLAN Workshop on ML}, author = {Nagashima, Yutaka and O'Connor, Liam}, year = {2016}, keywords = {the standard ml module system constructor classes automatic instantiation elaboration functor} }