Parallelism is often required for performance. In these situations an excess of non-
determinism is harmful as it means the program can have several different behaviours or …

Links is a programming language for web applications that generates code for all three tiers
of a web application from a single source, compiling into JavaScript to run on the client and …

We present the semantics and proof system for an object-oriented language with active
objects, asynchronous method calls, and futures. The language, based on Creol …

Concurrency in object-oriented languages is still waiting for a satisfactory solution. For many
application areas, standard mechanisms like threads and locks are too low level and have …

We develop an account of dependent session protocols in concurrent separation logic for a
functional language with message-passing. Inspired by minimalistic session calculi, we …

Serverless computing, also known as Functions-as-a-Service, is a recent paradigm aimed at
simplifying the programming of cloud applications. The idea is that developers design …

Channel-and actor-based programming languages are both used in practice, but the two are
often confused. Languages such as Go provide anonymous processes which communicate …

Session types are a type discipline for communication channel endpoints which allow
conformance to protocols to be checked statically. Safely implementing session types …

Efficiently distributing synchronous programs is a challenging and long-standing subject.
This paper introduces the use of futures in a LUSTRE-like language, giving the programmer …

We study call-by-need from the point of view of the duality between call-by-name and call-by-
value. We develop sequent-calculus style versions of call-by-need both in the minimal and …