"A relational model of types-and-effects in higher-order concurrent ..."

Morten Krogh-Jespersen, Kasper Svendsen, Lars Birkedal (2017)
a service of Schloss Dagstuhl - Leibniz Center for Informatics