
@conference {inp:FennellThiemann2014,
	title = {Gradual Typing for Annotated Type Systems},
	booktitle = {Proceedings of the 23rd European Symposium on Programming (ESOP 2014)},
	year = {2014},
	author = {L. Fennell and P. Thiemann}
}
@conference {inp:FennellThiemann2013,
	title = {Gradual Security Typing with References},
	booktitle = {Proceedings of the 26th IEEE Computer Security Foundations Symposium (CSF 2013)},
	year = {2013},
	pages = {224-239},
	keywords = {conference},
	author = {L. Fennell and P. Thiemann}
}
@conference {inp:FennellThiemann2012,
	title = {The Blame Theorem for a Linear Lambda Calculus with Type Dynamic},
	booktitle = {Proceedings of the Symposium on Trends in Functional Programming (TFP 2012)},
	year = {2012},
	author = {L. Fennell and P. Thiemann}
}
