John Mitchell Type Inference and Type Containment. 257-277 1984 conf/sdt/1984 Semantics of Data Types db/conf/sdt/sdt1984.html#Mitchell84