<scp>OutsideIn(X)</scp>Modular type inference with local assumptions (Q4918240)

From MaRDI portal
scientific article; zbMATH DE number 6156953
Language Label Description Also known as
English
<scp>OutsideIn(X)</scp>Modular type inference with local assumptions
scientific article; zbMATH DE number 6156953

    Statements

    Identifiers