Higher-order Abstract Syntax

In computer science, higher-order abstract syntax (abbreviated HOAS) is a technique for the representation of abstract syntax trees for languages with variable binders.

Read more about Higher-order Abstract Syntax:  Relation To First-order Abstract Syntax, Implementation, Use in Logical Frameworks

Famous quotes containing the word abstract:

    “The Germans are always too late. They are late, like music, which is always the last of the arts to express a world condition,—when that world condition is already in its final stages. They are abstract and mystical.”
    —Thomas Mann (1875–1955)