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

Sebastian Hunt, David Sands

Browse the full ESOP paper archive.