Formal Methods in Computing(Most of the papers antecedent to 1995are not included in the list) FRAMES  NO FRAME

 dLC14 (Unpublished) Author(s) Ugo de' Liguoro and Tzu-Chun Chen Title « Semantic Types for Classes and Mixins »
 Abstract We consider a formalization of mixin composition and class linearization yielding a class in mixin-based inheritance. We provide an interpretation of the mixin calculus into a $\lambda$-calculus extended with records and a record merge operator. After extending the BCD intersection type assignment to such calculus showing that types are preserved by subject expansion and reduction, we naturally interpret mixin terms as the sets of the types that can be deduced of their translations. It turns out that the class obtained from a composition of mixins and the composition itself have the same logical meaning.

 BibTeX code

@unpublished{dLC14,
tag = {ITRS14},
localfile = {http://www.di.unito.it/~deligu/papers/UdLTC14.pdf},
abstract = {We consider a formalization of mixin composition and class
linearization yielding a class in mixin-based inheritance. We
provide an interpretation of the mixin calculus into a
$\lambda$-calculus extended with records and a record merge
operator. After extending the BCD intersection type assignment to
such calculus showing that types are preserved by subject
expansion and reduction, we naturally interpret mixin terms as the
sets of the types that can be deduced of their translations. It
turns out that the class obtained from a composition of mixins and
the composition itself have the same logical meaning.},
title = {{Semantic Types for Classes and Mixins}},
author = {Ugo de' Liguoro and Tzu-chun Chen},
year = {2014},
}

 Formal Methods in Computing(Most of the papers antecedent to 1995are not included in the list) FRAMES  NO FRAME

This document was generated by bib2html 3.3.
(Modified by Luca Paolini, under the GNU General Public License)