The neutron longitudinal and transverse asymmetries A 1 n and A 2 n have been extracted
from deep inelastic scattering of polarized electrons by a polarized He 3 target at incident …

This paper describes Kilim, a framework that employs a combination of techniques to help
create robust, massively concurrent systems in mainstream languages such as Java:(i) ultra …

Gradual type systems offer a smooth continuum between static and dynamic ty** by
permitting the free mixture of typed and untyped code. The runtime systems for these …

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 …

The evaluation function of a reduction semantics (ie, a small-step operational semantics with
an explicit representation of the reduction context) is canonically defined as the transitive …

" Move your computation close to the data" is decades-old advice that is hard to follow if your
code exhibits complex control flow. The runtime of such applications suffers from a continual …

We materialize the common understanding that calculi with explicit substitutions provide an
intermediate step between an abstract specification of substitution in the lambda-calculus …

Effect handlers are a program structuring paradigm with rising popularity in the functional
programming language community and can express many advanced control flow …

First-class control operators provide programmers with an expressive and efficient means for
manipulating control through reification of the current control state as a first-class object …

The event-driven programming style is pervasive as an efficient method for interacting with
the environment. Unfortunately, the event-driven style severely complicates program …