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:
“All abstract sciences are nothing but the study of relations between signs.”
—Denis Diderot (1713–1784)
Related Phrases
Related Words