A Calculus for Constraint-Based Flow Typing

Author(s). David J. Pearce.

Venue. In Workshop on Behavioural Types (BEAT), 2013.