Polymorphic Typestate for Session Types.

Hannes Saffrich Peter Thiemann

Published in: PPDP (2023)

Keyphrases

data structure
real time
databases
neural network
search engine
information systems
database systems
multi agent
natural language
control system