A strong call-by-need calculus.

Thibaut Balabonski Antoine Lanco Guillaume Melquiond

Published in: Log. Methods Comput. Sci. (2023)

Keyphrases

data mining
database
databases
real world
information retrieval
clustering algorithm
multi agent systems
evolutionary algorithm