Relating Functional and Imperative Session Types.

Hannes Saffrich Peter Thiemann

Published in: COORDINATION (2021)

Keyphrases

real world
case study
real time
three dimensional
search algorithm
preprocessing
neural network
genetic algorithm
artificial intelligence
social networks
information systems
image segmentation