Fritz Henglein. On Polymorphic Type Inference and Semi-Unication: Algebraic, Computational, and Conceptual Results (Technical Summary). 26 Jul 1989.
Fritz Henglein. On Polymorphic Type Inference and Semi-Unication: Algebraic, Computational, and Conceptual Results (Technical Summary). 26 Jul 1989.
Size 280.6 kB - File type application/pdf