Higher-order demand-driven symbolic evaluation.

Zachary Palmer Theodore Park Scott F. Smith Shiwei Weng

Published in: Proc. ACM Program. Lang. (2020)

Keyphrases

demand driven
higher order
high order
pairwise
evaluation method
high level
markov random field
natural images
lower order
lambda calculus