X-Nico

HOAS

Higher-order abstract syntax, representing the abstract syntax of a programming language

see also