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:
“Rights! There are no rights whatever without corresponding duties. Look at the history of the growth of our constitution, and you will see that our ancestors never upon any occasion stated, as a ground for claiming any of their privileges, an abstract right inherent in themselves; you will nowhere in our parliamentary records find the miserable sophism of the Rights of Man.”
—Samuel Taylor Coleridge (1772–1834)
Related Phrases
Related Words