Small-step and big-step semantics for call-by-need.

Keiko Nakata Masahito Hasegawa

Published in: J. Funct. Program. (2009)

Keyphrases

database
information systems
website
post processing
preprocessing step
machine learning
information retrieval
genetic algorithm
decision trees
case study
bayesian networks
multiscale
programming language
multi step