Stack Inspection: Theory and Variants (2001)

by Cédric Fournet, Andrew D. Gordon
Venue:ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS