Close Encounters of the Higher Kind Emulating Constructor Classes in Standard ML
classification
💻 cs.PL
keywords
classesconstructorstandardautomaticclosedefinitionselaborationemulating
read the original abstract
We implement a library for encoding constructor classes in Standard ML, including elaboration from minimal definitions, and automatic instantiation of superclasses.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.