Coercion as homomorphism: type inference in a system with subtyping and overloading

A. Shafarenko

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    3 Citations (Scopus)
    57 Downloads (Pure)


    A type system with atomic subtyping and a special form of
    operator overloading, which we call oset-homomorphism
    is proposed. A set of operator overloadings is said to be
    oset-homomorphic when for each pair of overloadings the
    coercion function realises a homomorphism of types and at
    the same time certain conditions on the operator type signa-
    ture are satised. We demonstrate that oset-homomorphic
    overloading has sucient power for supporting a compre-
    hensive set of array operations in a declarative language.
    The problem of inferring the least types in our type system
    is proven to be equivalent to the shortest path problem for
    weighted, directed graphs with non-negative cycle weights,
    which has a computationally ecient solution.
    Original languageEnglish
    Title of host publicationIn: Procs of the 4th ACM SIGPLAN Int Conf on Principles and Practice of Declarative Programming
    Subtitle of host publicationPPDP'02
    PublisherACM Press
    ISBN (Electronic)1-58113-528-9
    Publication statusPublished - 2002


    Dive into the research topics of 'Coercion as homomorphism: type inference in a system with subtyping and overloading'. Together they form a unique fingerprint.

    Cite this