On Polymorphic Sessions and Functions - A Tale of Two (Fully Abstract) Encodings.

Bernardo Toninho Nobuko Yoshida

Published in: ESOP (2018)

Keyphrases

high level
information retrieval
computer vision
databases
real world
artificial intelligence
information systems
image segmentation
reinforcement learning
higher level
orders of magnitude