Secure calling contexts for stack inspection. - Frédéric Besson; Thomas de Grenier de Latour; Thomas P. Jensen (PPDP, 2002)

Interfaces for stack inspection. - Frédéric Besson; Thomas de Grenier de Latour; Thomas P. Jensen (J. Funct. Program., 2005)