View of Distinguishing coercion and underspecification in Type Composition Logic

Return to Issue Details Distinguishing coercion and underspecification in Type Composition Logic Download Download PDF