Objects as session-typed processes.

Stephanie Balzer Frank Pfenning

Published in: AGERE!@SPLASH (2015)

Keyphrases

data objects
d objects
moving objects
digital objects
spatial relationships
multiple objects
database
artificial intelligence
object recognition
digital libraries
higher order
spatial information
object segmentation
object models