We implement a library for encoding constructor classes in Standard ML, including elaboration from minimal definitions, and automatic instantiation of superclasses.
Cite
@article{arxiv.1608.03350,
title = {Close Encounters of the Higher Kind Emulating Constructor Classes in Standard ML},
author = {Yutaka Nagashima and Liam O'Connor},
journal= {arXiv preprint arXiv:1608.03350},
year = {2016}
}
Comments
Accepted by ACM SIGPLAN Workshop on ML, September 2016