R is a dynamic language for statistical computing that combines lazy functional features and
object-oriented programming. This rather unlikely linguistic cocktail would probably never …

In language-oriented programming and modeling, software developers are largely
concerned with the definition of domain-specific languages (DSLs) and their composition …

As Model-Driven Engineering (MDE) is increasingly applied to larger and more complex
systems, the current generation of modelling and model management technologies are …

The fifth edition delivers up-to-date coverage of every conceivable aspect in modern-day
management of contact dermatitis. Leading experts have thoroughly updated the previous …

We consider the problem of energy minimization for periodic preemptive hard real-time tasks
that are scheduled on an identical multiprocessor platform with dynamic voltage scaling …

PL/SQL integrates an imperative statement-by-statement style of programming with the plan-
based evaluation of SQL queries. The disparity of both leads to friction at runtime, slowing …

Haskell, as implemented in the Glasgow Haskell Compiler (GHC), has been adding new
type-level programming features for some time. Many of these features—generalized …

Existing database systems employ an eager transaction processing scheme---that is, upon
receiving a transaction request, the system executes all the operations entailed in running …

We present instance arguments: an alternative to type classes and related features in the
dependently typed, purely functional programming language/proof assistant Agda. They are …

We discuss the design of a typed lambda calculus for quantum computation. After a brief
discussion of the role of higher-order functions in quantum information theory, we define the …