International audienceMixin modules are a framework for modular programming that supports code parameterization, incremental programming via late binding and redefinitions, and cross-module recursion. In this paper, we develop a language of mixin modules that supports call-by-value evaluation, and formalize a reduction semantics and a sound type system for this language
A mixin is a free-standing class extension function, describing a set of behaviours that may be comb...
We present a simple module calculus where selection and execution of a component is possible on open...
This paper is a contribution to the search for efficient and high-level mathematical tools to specif...
Abstract. Mixin modules are a framework for modular programming that supports code parameterization,...
International audienceMixin modules are a notion of modules that allows cross-module recursion and l...
15 pages, published in ESOP '02International audienceThe ML module system provides powerful paramete...
(eng) Mixin modules are a notion of modules that allows cross-module recursion and late binding, two...
. We present an algebraic formalization of the notion of mixin module, i.e. a module where the defin...
ML modules provide hierarchical namespace management, as well as fine-grained control over the propa...
In object-oriented languages, aspects can be defined by generalizing the idea of a class to that of ...
ML modules provide hierarchical namespace management, as well as fine-grained control over the propa...
The procedure call mechanism has conquered the world of programming, with object-oriented method in...
textThe need to reduce the cost of software development and maintenance has been a constant and ove...
A mixin is a reusable module that provides uniform extensions and modifications to classes. It is an...
The fundamental concepts of mixin, an object oriented language, are discussed. Intended to be combin...
A mixin is a free-standing class extension function, describing a set of behaviours that may be comb...
We present a simple module calculus where selection and execution of a component is possible on open...
This paper is a contribution to the search for efficient and high-level mathematical tools to specif...
Abstract. Mixin modules are a framework for modular programming that supports code parameterization,...
International audienceMixin modules are a notion of modules that allows cross-module recursion and l...
15 pages, published in ESOP '02International audienceThe ML module system provides powerful paramete...
(eng) Mixin modules are a notion of modules that allows cross-module recursion and late binding, two...
. We present an algebraic formalization of the notion of mixin module, i.e. a module where the defin...
ML modules provide hierarchical namespace management, as well as fine-grained control over the propa...
In object-oriented languages, aspects can be defined by generalizing the idea of a class to that of ...
ML modules provide hierarchical namespace management, as well as fine-grained control over the propa...
The procedure call mechanism has conquered the world of programming, with object-oriented method in...
textThe need to reduce the cost of software development and maintenance has been a constant and ove...
A mixin is a reusable module that provides uniform extensions and modifications to classes. It is an...
The fundamental concepts of mixin, an object oriented language, are discussed. Intended to be combin...
A mixin is a free-standing class extension function, describing a set of behaviours that may be comb...
We present a simple module calculus where selection and execution of a component is possible on open...
This paper is a contribution to the search for efficient and high-level mathematical tools to specif...
DOI
Add to ORKG