Stack Inspection: theory and variants (2002)

by C Fournet, A D Gordon
Venue:Symposium on Principles of Programming Languages