CaesarJ is an aspect-oriented language which unifies aspects, classes and packages in a
single powerful construct that helps to solve a set of different problems of both aspect …

Static and dynamic type systems have well-known strengths and weaknesses. In previous
work we developed a gradual type system for a functional calculus named λ^?_→. Gradual …

Software product lines aim to create highly configurable programs from a set of features.
Common belief and recent studies suggest that aspects are well-suited for implementing …

Focusing on path-dependent types, the paper develops foundations for Scala from first
principles. Starting from a simple calculus D _<:<: of dependent functions, it adds records …

Two programming paradigms are gaining attention in the overlapping fields of software
product lines (SPLs) and incremental software development (ISD). Feature-oriented …

Where object-oriented languages deal with objects as described by classes, model-driven
development uses models, as graphs of interconnected objects, described by metamodels …

While type soundness proofs are taught in every graduate PL class, the gap between
realistic languages and what is accessible to formal proofs is large. In the case of Scala, it …

Module systems enable a divide and conquer strategy to software development. To
implement compile-time variability in software product lines, modules can be composed in …

Scala's type system unifies aspects of ML modules, object-oriented, and functional
programming. The Dependent Object Types (DOT) family of calculi has been proposed as a …

The influential pure embedding methodology of embedding domain-specific languages
(DSLs) as libraries into a general-purpose host language forces the DSL designer to commit …