Intersection type matching with subtyping

Boris Düdder, Moritz Martens, Jakob Rehof

    2 Citations (Scopus)

    Fingerprint

    Dive into the research topics of 'Intersection type matching with subtyping'. Together they form a unique fingerprint.

    Computer Science

    Keyphrases