A core calculus of higher-order mixins and classes
Lorenzo Bettini, Viviana Bono, Silvia Likavec · 2004
We present an object-oriented calculus based on higher-order mixin construction via mixin composition, where some software engineering requirements are modelled in a formal setting, allowing to prove the absence of message-not-understood run-time errors.