Guaranteeing privacy policies using lightweight type systems Adams, Robin Schulz, Wolfgang Schupp, Sibylle Wittner, Florian 2019 - TUHH Open Research