futhark-oopsla24

    Dataset

    Description

    Artifact for the paper AUTOMAP: Inferring Rank-Polymorphic Function Applications with Integer Linear Programming submitted to OOPSLA 24.
    Date made available18 Jul 2024
    PublisherZenodo

    Cite this