Partial evaluation and non-interference for object calculi (1999)

by G Barthe, B Serpette
Venue:In: Proc. FLOPS. Volume 1722 of LNCS., Springer-Verlag