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 …

Recent research on parallel functional programming has culminated in a provably efficient
(in work and space) parallel memory manager, which has been incorporated into the MPL …

Although functional programming languages simplify writing safe parallel programs by
helping programmers to avoid data races, they have traditionally delivered poor …

Because of its many desirable properties, such as its ability to control effects and thus
potentially disastrous race conditions, functional programming offers a viable approach to …

High-level parallel languages (HLPLs) make it easier to write correct parallel programs.
Disciplined memory usage in these languages enables new optimizations for hardware …

Theories and tools based on multiparty session types offer correctness guarantees for
concurrent programs that communicate using message-passing. These guarantees usually …

Recent work showed that compiling functional programs to use dense, serialized memory
representations for recursive algebraic datatypes can yield significant constant-factor …

An important aspect of building robust systems that execute on dedicated hardware and
perhaps in constrained environments is to control and manage the effects performed by …

The recently introduced _Perceus_ algorithm can automatically insert reference count
instructions such that the resulting (cycle-free) program is _garbage free_: objects are freed …

Region inference is a type-based program analysis that takes a non-annotated program as
input and constructs a program that explicitly manages memory allocation and deallocation …