1 Answers
In computer science, higher-order abstract syntax is a technique for the representation of abstract syntax trees for languages with variable binders.
4 views
Answered