Stack-based Access Control and Secure Information Flow (0)

by Anindya Banerjee, David A Naumann
Venue:Journal of Functional Programming