Foundations of strong call by need.

Thibaut Balabonski Pablo Barenbaum Eduardo Bonelli Delia Kesner

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

Keyphrases

artificial intelligence
high level
training data
information retrieval
data structure
computational complexity
feature space
cost function
domain knowledge
co occurrence