Efficient inference of partial types (Q1337466)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Efficient inference of partial types
scientific article

    Statements

    Efficient inference of partial types (English)
    0 references
    0 references
    0 references
    6 November 1994
    0 references
    \(\lambda\)-calculus
    0 references
    inference
    0 references
    finite automaton
    0 references

    Identifiers