Guided Type Debugging (Q5170701)

From MaRDI portal
scientific article; zbMATH DE number 6320253
Language Label Description Also known as
English
Guided Type Debugging
scientific article; zbMATH DE number 6320253

    Statements

    Guided Type Debugging (English)
    0 references
    0 references
    0 references
    24 July 2014
    0 references
    type debugging
    0 references
    type inference
    0 references
    error localization
    0 references
    type error messages
    0 references
    choice types
    0 references
    change suggestions
    0 references

    Identifiers