A Strong Call-By-Need Calculus.

Thibaut Balabonski Antoine Lanco Guillaume Melquiond

Published in: FSCD (2021)

Keyphrases

data mining
learning algorithm
social networks
image processing
image sequences
similarity measure
reinforcement learning
automated deduction
database query languages