A tail-recursive semantics for stack inspections (1999)

by John Clements , Matthias Felleisen
Venue:In ESOP 2003, volume 2618 of LNCS
Citations:15 - 0 self