A Bounded Polymorphic Session Type System with Delegation.

Tiantian Song Farong Zhong

Published in: DASC (2013)

Keyphrases

type checking
conflict resolution
multimedia
access control
databases
artificial intelligence
social networks
computer vision
three dimensional
similarity measure
search algorithm
web search engines
security policies