A strong call-by-need calculus.

Thibaut Balabonski Antoine Lanco Guillaume Melquiond

Published in: CoRR (2021)

Keyphrases

computer algebra
databases
high level
data model
data mining
machine learning
feature selection
image processing
case study
data structure
knowledge representation
proof procedure