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 whole body of what is now called moral or ethical truth existed in the golden age as abstract science. Or, if we prefer, we may say that the laws of Nature are the purest morality.”
    —Henry David Thoreau (1817–1862)