Types for Safe Locking (1999)

by C Flanagan, M Abadi
Venue:In ESOP