Chronological Overview 
 Type-Hierarchical Overview 
Formal Methods in Computing
(Most of the papers antecedent to 1995
are 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 λ-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.

Download the complete article: UdLTC14.pdf

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},
}


 Chronological Overview 
 Type-Hierarchical Overview 
Formal Methods in Computing
(Most of the papers antecedent to 1995
are 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)

Valid HTML 4.01!