An Automatic Inference of Minimal Security Types.

Dominik Bollmann, Steffen Lortz, Heiko Mantel, Artem Starostin

Browse the full ICISS paper archive.