Title: Subtyping in F (omega,lambda) is decidable
First published: 1994
Subjects: Object-oriented programming (Computer science)