More dynamic object reclassification: FickleII (0)

by S Drossopoulou, F Damiani, M Dezani-Ciancaglini, P Giannini
Venue:ACM TOPLAS