Higher-order abstract syntax
From Wikipedia, the free encyclopedia
In computer science, higher-order abstract syntax (abbreviated HOAS) is a technique for the representation of abstract syntax trees for languages with variable binders.
![]() | This article includes a list of general references, but it lacks sufficient corresponding inline citations. (August 2010) |