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:

    “But the abstract conception
    Of private experience at its greatest intensity
    Becoming universal, which we call “poetry,”
    May be affirmed in verse.”
    —T.S. (Thomas Stearns)