Login / Signup

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

Morten Krogh-JespersenKasper SvendsenLars Birkedal
Published in: POPL (2017)
Keyphrases