Modeller og detaljerede kalkuler for effekter i programmeringssprog

    Project: Research

    Project Details

    StatusFinished
    Effective start/end date01/10/200731/12/2010

    Collaborative partners

    Keywords

    • programming languages
    • computational effects
    • linear logic
    • call by push value

    Fingerprint

    Explore the research topics touched on by this project. These labels are generated based on the underlying awards/grants. Together they form a unique fingerprint.