Higher-Order Dynamic Pattern Unification for Dependent Types and Records (Q3007654)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Higher-Order Dynamic Pattern Unification for Dependent Types and Records
scientific article

    Statements