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 …

A comprehensive introduction to type systems and programming languages. A type system
is a syntactic method for automatically checking the absence of certain erroneous behaviors …

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

T $'e describe a refinement of ML's type system allowing the specification of recursively
defined subtypes of user-defined datatypes. The resulting system of rejirzemeni f, ypes …

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 …

First published in 1998, this textbook is a broad but rigourous survey of the theoretical basis
for the design, definition and implementation of programming languages and of systems for …

Classical phantom types are datatypes in which type constraints are expressed using type
variables that do not appear in the datatype cases themselves. They can be used to embed …

Milner, Parrow, and Walker's π-calculus [MPW92, Mil91] generalizes the channel-based
communication of CCS and its relatives by allowing channels to be passed as data along …

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 …