CORE

🇺🇦   make metadata, not war

    8 research outputs found

    Intensional Refinement Datatypes:With Application to Scalable Verification of Pattern-Match Safety

    Author
    Publication venue
    'Association for Computing Machinery (ACM)'
    Publication date
    Field of study
    Get PDF
    Explore Bristol Research

    Sound, complete and scalable path-sensitive analysis

    Author
    Publication venue
    'Association for Computing Machinery (ACM)'
    Publication date
    Field of study
    Full text link
    Crossref

    Optimal representations of polymorphic types with subtyping (Extended abstract)

    Author
    Publication venue
    'Springer Science and Business Media LLC'
    Publication date
    Field of study
    No full text
    Crossref
    corecore