Overlapping and Order-Independent Patterns (Q5410695)

From MaRDI portal
scientific article; zbMATH DE number 6286381
Language Label Description Also known as
English
Overlapping and Order-Independent Patterns
scientific article; zbMATH DE number 6286381

    Statements

    Overlapping and Order-Independent Patterns (English)
    0 references
    0 references
    0 references
    0 references
    16 April 2014
    0 references
    type theory
    0 references
    dependent pattern matching
    0 references
    overlapping patterns
    0 references
    confluence
    0 references
    Agda
    0 references

    Identifiers