Session Types Go Dynamic or How to Verify Your Python Conversations.

Rumyana Neykova

Published in: PLACES (2013)

Keyphrases

open source
dynamic environments
search engine
programming language
databases
machine learning
digital libraries
web search
multiple types