Subtyping in F ! is decidable. Draft technical report (1994)

by Adriana B Compagnoni