The theory of call-by-value solvability.

Beniamino Accattoli Giulio Guerrieri

Published in: Proc. ACM Program. Lang. (2022)

Keyphrases

theoretical basis
theoretical framework
multiresolution
special case
theoretical foundation
conceptual framework
general theory
real time
social networks
e learning
similarity measure
cooperative
expert systems