Skip to main content

TS

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,
    author           = {Nagashima, Yutaka and O'Connor, Liam},
    month            = sep,
    year             = {2016},
    keywords         = {the standard ml module system constructor classes automatic instantiation elaboration functor},
    title            = {Close Encounters of the Higher Kind - Emulating Constructor Classes in Standard {ML}},
    type             = {Abstract},
    booktitle        = {ACM SIGPLAN Workshop on ML}
  }

Download