  |
Typed Concurrent Programming with Logic Variables
Author: Martin Müller and Joachim Niehren and Gert SmolkaEditor:
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.
|