Gradual security typing

Luminous Fennell. Gradual security typing. PhD thesis, University of Freiburg, Freiburg im Breisgau, Germany, 2017. [doi]

Possibly Related Publications

The following publications are possibly variants of this publication: