Close Encounters of the Higher Kind - Emulating Constructor Classes in Standard ML

Yutaka Nagashima,Liam OConnor

Close Encounters of the Higher Kind - Emulating Constructor Classes in Standard ML

2016

Yutaka Nagashima
Liam OConnor

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

Keywords:

Theoretical computer science
Computer science
Programming language
Elaboration
Standard ML
Encoding (memory)

Correction
Source
Cite
Save
Machine Reading By IdeaReader

References

Citations