Luminous Fennell. Gradual security typing. PhD thesis, University of Freiburg, Freiburg im Breisgau, Germany, 2017. [doi]
@phdthesis{dnb-21560,
title = {Gradual security typing},
author = {Luminous Fennell},
year = {2017},
url = {http://d-nb.info/1174142367},
researchr = {https://researchr.org/publication/dnb-21560},
cites = {0},
citedby = {0},
school = {University of Freiburg, Freiburg im Breisgau, Germany},
}