Close Encounters of the Higher Kind Emulating Constructor Classes in Standard ML
arXiv:1608.03350
Abstract
We implement a library for encoding constructor classes in Standard ML, including elaboration from minimal definitions, and automatic instantiation of superclasses.
Accepted by ACM SIGPLAN Workshop on ML, September 2016