Search




Research outputs

Denotational and operational preciseness of subtyping: A roadmap   [2016]

Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia  ; Jakšić, Svetlana ; Pantović, Jovanka  ; Yoshida, Nobuko

Filters

By type