Trustworthy Systems

Close encounters of the higher kind — emulating constructor classes in standard ML

Authors

Yutaka Nagashima and Liam O'Connor

Data61
CSIRO

UNSW

Abstract

We implement a library for encoding constructor classes in Standard ML, including elaboration from minimal definitions, and automatic instantiation of superclasses.

BibTeX Entry

  @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}
  }

Download