Higher-order abstract syntax

From Free net encyclopedia