Polymorphic Typestate for Session Types.

Hannes Saffrich Peter Thiemann

Published in: CoRR (2022)

Keyphrases

database
neural network
machine learning
knowledge base
multimedia
bayesian networks
feature space
information technology
relational databases
artificial neural networks
multiresolution
static analysis