Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data.

Donna Malayeri

dblp:35/5662 · DBLP profile ↗
← Back
3ranked-venue papers
3as first author
0since 2021 · last 2009
—ORCID · none

Domains — the database's venue-derived domains; a paper can count in several

Software engineering, systems software and programming languages · 3 · 3 first-author

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Software engineering, system software, and programming languages
1 paper
Programming languages and type systems · 100%

Topics — the 4 heaviest of 4, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Programming languages and type systems › type checking
modular typechecking
0.112009
CZ: multiple inheritance without diamonds · OOPSLA 2009
Programming languages and type systems › object-oriented programming
multiple inheritance
0.112009
CZ: multiple inheritance without diamonds · OOPSLA 2009
Programming languages and type systems
type systems
0.112009
CZ: multiple inheritance without diamonds · OOPSLA 2009
Programming languages and type systems › method dispatch
multiple dispatch
0.012009
CZ: multiple inheritance without diamonds · OOPSLA 2009

Methods — techniques the papers use, named apart from their topics

formal model · 0.1
YearPublicationVenuePosition
2009 Is Structural Subtyping Useful? An Empirical Study
Donna Malayeri, Jonathan Aldrich
ESOP1
2009 CZ: multiple inheritance without diamonds
abstract
Multiple inheritance has long been plagued with the "diamond" inheritance problem, leading to solutions that restrict expressiveness, such as mixins and traits. Instead, we address the diamond problem directly, considering two difficulties it causes: ensuring a correct semantics for object initializers, and typechecking multiple dispatch in a modular fashion-the latter problem arising even with multiple interface inheritance. We show that previous solutions to these problems are either unsatisfactory or cumbersome, and suggest a novel approach: supporting multiple inheritance but forbidding diamond inheritance. Expressiveness is retained through two features: a "requires" construct that provides a form of subtyping without inheritance (inspired by Scala), and a dynamically-dispatched "super" call similar to that found in traits. Through examples, we illustrate that inheritance diamonds can be eliminated via a combination of "requires" and ordinary inheritance. We provide a sound formal model for our language and demonstrate its modularity and expressiveness.
Donna Malayeri, Jonathan Aldrich
OOPSLA1
2008 Integrating Nominal and Structural Subtyping
Donna Malayeri, Jonathan Aldrich
ECOOP1