Relating Functional and Imperative Session Types.

Hannes Saffrich Peter Thiemann

Published in: CoRR (2020)

Keyphrases

wide range
real time
databases
neural network
artificial intelligence
website
multiscale
special case