Sebastian Hunt, David Sands
From Exponential to Polynomial-Time Security Typing via Principal Types
ESOP, 2011.
@inproceedings{ESOP-2011-HuntS, author = "Sebastian Hunt and David Sands", booktitle = "{Proceedings of the 20th European Symposium on Programming}", doi = "10.1007/978-3-642-19718-5_16", editor = "Gilles Barthe", isbn = "978-3-642-19717-8", pages = "297--316", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{From Exponential to Polynomial-Time Security Typing via Principal Types}", volume = 6602, year = 2011, }