Typed operational semantics for higher order subtyping (1997)

by Adriana Compagnoni , Healfdene Goguen
Citations:15 - 5 self