CORE

🇺🇦   make metadata, not war

    1 research outputs found

    On the Rôle of Minimal Typing Derivations in Type-driven Program Transformation

    Author
    Publication venue
    'Association for Computing Machinery (ACM)'
    Publication date
    Field of study
    No full text
    Heriot Watt Pure
    Crossref
    corecore