Linear Type Inference For A Functional Language With Processes

We investigate an interesting combination of functional and concurrent programming. The concurrent part contains processes as first-class objects and allows to pass channels as values. We insist, however, that channels are directed and connect at most two processes. This property is ensured by a type inference system based on linear types. We also show that channels are in some sense universal for implementing linear abstract datatypes