Typed Concurrent Programming with Logic Variables

Autor: Martin Müller and Joachim Niehren and Gert Smolka

Herausgeber:

We present a concurrent higher-order programming language called Plain and a concomitant static type system. Plain is based on logic variables and computes with possibly partial data structures. The data structures of Plain are procedures, cells, and records. Plain's type system features record-based subtyping, bounded existential polymorphism, and access modalities distinguishing between reading and writing.