Effect handlers have been gathering momentum as a mechanism for modular programming
with user-defined effects. Effect handlers allow for non-local control flow mechanisms such …

Emerging applications---cloud computing, the internet of things, and augmented/virtual
reality---demand responsive, secure, and scalable datacenter networks. These networks …

Algebraic effects and their handlers have been steadily gaining attention as a programming
language feature for composably expressing user-defined computational effects. While …

OCaml is an industrial-strength, multi-paradigm programming language, widely used in
industry and academia. OCaml is also one of the few modern managed system …

Initially present only in functional languages such as OCaml and Haskell, Algebraic Data
Types (ADTs) have now become pervasive in mainstream languages, providing nice data …

In 1989 when functional programming was still considered a niche topic, Hughes wrote a
visionary paper arguing convincingly 'why functional programming matters'. More than two …

Call graphs have many applications in software engineering, including bug-finding, security
analysis, and code navigation in IDEs. However, the construction of call graphs requires …

Temporal logic is becoming increasingly popular for its application in the analysis and
control of dynamic systems. Time window temporal logic (TWTL) is a rich expressive …

A pluggable type system extends a host programming language with type qualifiers. It lets
programmers write types like unsigned int, secret string, and nonnull object. Typechecking …

An LL (1) parser is a recursive descent algorithm that uses a single token of lookahead to
build a grammatical derivation for an input sequence. We present an LL (1) parser generator …