Sign in
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