higher-order abstract syntax

Из Википедии, свободной энциклопедии