Stack Inspection: Theory and Variants (0)

by C Fournet, A D Gordon
Venue:In POPL 2002