Stack inspection: theory and variants.

Cdric Fournet, Andrew D. Gordon

Browse the full POPL paper archive.