Mixin modules

Dominic Duggan, Constantinos Sourelis

Research output: Contribution to journalArticlepeer-review

11 Scopus citations

Abstract

Mixin modules are proposed as a new construct for module languages, allowing recursive definitions to span module boundaries. Mixin modules are proposed specifically for the Standard ML language. Several applications are described, including the resolution of cycles in module import dependency graphs, as well as functionality related to Haskell type classes and CLOS generic functions, though without any complications to the core language semantics. Mixin modules require no changes to the core ML type system, and only a very minor change to its run-time semantics. A type system and reduction semantics are provided, and the former is verified to be sound relative to the latter.

Original languageEnglish
Pages (from-to)262-273
Number of pages12
JournalSIGPLAN Notices (ACM Special Interest Group on Programming Languages)
Volume31
Issue number6
DOIs
StatePublished - Jun 1996

Fingerprint

Dive into the research topics of 'Mixin modules'. Together they form a unique fingerprint.

Cite this