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:
““If our minds could get hold of one abstract truth, they would be immortal so far as that truth is concerned. My trouble is to find out how we can get hold of the truth at all.””
—Henry Brooks Adams (1838–1918)