TY - RPRT TI - Close Encounters of the Higher Kind Emulating Constructor Classes in Standard ML AU - Yutaka Nagashima AU - Liam O'Connor PY - 2016 UR - https://arxiv.org/abs/1608.03350 ID - 1608.03350 ER -