Scala fuses object-oriented and functional programming in a statically typed programming
language. It is aimed at the construction of components and component systems. This paper …

The idea for this book arose from a series of lectures on modern programming paradigms,
feature-oriented programming, and software product lines that are continuously held at the …

Coq is an interactive proof assistant for the development of mathematical theories and
formally certified software. It is based on a theory called the calculus of inductive …

This text develops a comprehensive theory of programming languages based on type
systems and structural operational semantics. Language concepts are precisely defined by …

Assertions play an important role in the construction of robust software. Their use in
programming languages dates back to the 1970s. Eiffel, an object-oriented programming …

The FLINT project at Yale aims to build a state-of-the-art systems environment for modern
typesafe languages. One important component of the FLINT system is a high-performance …

Many important applications must run continuously and without interruption, yet must be
changed to fix bugs or upgrade functionality. No prior general-purpose methodology for …

We identify three programming language abstractions for the construction of reusable
components: abstract type members, explicit selftypes, and modular mixin composition …

We are investigating a new approach to compiling Standard ML (SML) based on four key
technologies: interwional polymorphism [23], nearlg tag-free garbage collection[12, 46, 34] …

The design of a module system for constructing and maintaining large programs is a difficult
task that raises a number of theoretical and practical issues. A fundamental issue is the …