Subtyping and Higher-order Functions

    Project Details

    Description

    The goal of this project is to give a
    proposal for the semantic foundations of algebraic specification languages having subtypes and higher-order functions.
    StatusFinished
    Effective start/end date01/01/199531/12/1999

    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.