Verifiably Lazy: Verified Compilation of Call-by-Need.

George Stelle Darko Stefanovic

Published in: IFL (2018)

Keyphrases

lazy learning
information retrieval
genetic algorithm
information systems
image processing
multi agent systems
special case
knowledge compilation