Partial evaluation and noninterference for object calculi (1999)

by G Barthe, B Serpette
Venue:in Proc. FLOPS, vol. LNCS 1722