"From Exponential to Polynomial-Time Security Typing via Principal Types."

Sebastian Hunt, David Sands (2011)
a service of Schloss Dagstuhl - Leibniz Center for Informatics