A calculus of expandable stores: Continuation-and-environment-passing style translations.

Hugo Herbelin Étienne Miquey

Published in: LICS (2020)

Keyphrases

dynamic environments
complex environments
mobile robotics
real time
search engine
information systems
knowledge base