DMCA

Intersection types for unbind and rebind (Extended Abstract)

by Mariangiola Dezani-Ciancaglini , Paola Giannini , Elena Zucca