AspectJ™ is a simple and practical aspect-oriented extension to Java.. With just a few new
constructs, AspectJ provides support for modular implementation of a range of crosscutting …

In the last ten years the study of meta-programming systems, as formal systems worthy of
study in their own right, has vastly accelerated. In that time a lot has been accomplished, yet …

Context-dependent behavior is becoming increasingly important for a wide range of
application domains, from pervasive computing to common business applications …

A history of Haskell Page 1 A History of Haskell: Being Lazy With Class Paul Hudak Yale
University paul.hudak@yale.edu John Hughes Chalmers University rjmh@cs.chalmers.se …

It is becoming increasingly important for applications to protect sensitive data. With current
techniques, the programmer bears the burden of ensuring that the application's behavior …

The notion of context in functional languages no longer refers just to variables in scope.
Context can capture additional properties of variables (usage patterns in linear logics; …

Layered architecture in operating system code is often compromised by execution path-
specific customizations such as prefetching, page replacement and scheduling strategies …

Algebraic effect handlers offer a unified approach to expressing control-flow transfer idioms
such as exceptions, iteration, and async/await. Unfortunately, previous attempts to make …

Haskell programmers have been experimenting with dependent types for at least a decade,
using clever encodings that push the limits of the Haskell type system. However, the …

We argue that symmetric (semi) monoidal comonads provide a means to structure context-
dependent notions of computation such as notions of dataflow computation (computation on …