Skip to main content

Call-by-Value Mixin Modules: Reduction Semantics, Side Effects, Types

Tom Hirschowitz, Xavier Leroy, J. B. Wells

DOI 10.1007/978-3-540-24725-8_6 dblp BibTeX

No abstract available.

Related papers

Mixin Modules ICFP 1996
Mixin modules in a call-by-value setting TOPLAS 2005
Mixin Modules in a Call-by-Value Setting ESOP 2002
Mixin' Up the ML Module System TOPLAS 2013
Modeling abstract types in modules with open existential types POPL 2009
Mixin' up the ML module system ICFP 2008
A calculus of module systems JFP 2002
Type inference, principal typings, and let-polymorphism for first-class mixin modules ICFP 2005