Typed operational semantics for higher order subtyping (1997)

by Adriana Compagnoni , Healfdene Goguen
Citations:13 - 4 self