John Mitchell: Type Inference and Type Containment. Semantics of Data Types 1984: 257-277