ABSTRACT

Enhancing the type system of a programming language brings benefits on many fronts. We define and explore a simple concurrent functional language in a linear typing discipline, showing how more powerful types can lead to more controlled interaction between threads.