Dynamic multirole session types.

Pierre-Malo Deniélou Nobuko Yoshida

Published in: POPL (2011)

Keyphrases

dynamic environments
database
real time
neural network
social networks
metadata
website
learning environment
digital libraries
xml documents
scheduling problem
dynamically updated