Mixin modules

  • Tom Hirschowitz | UMR 5668 CNRS/INRIA/ENS Lyon/UCBL

Mixin modules are a framework for modular programming that supports code parameterization, incremental programming via late binding and redefinitions, and cross-module recursion. We present a language of mixin modules, together with its reduction semantics and a sound simple type system. Then, we describe a method for efficiently compiling this language. inally, we review the issues raised by the

integration of mixin modules into a real programming language, and sketch possible solutions

Speaker Details

Bio to follow

    • Portrait of Jeff Running

      Jeff Running