Subtyping on Nested Polymorphic Session Types.

Ankush Das Henry DeYoung Andreia Mordido Frank Pfenning

Published in: CoRR (2021)

Keyphrases

databases
neural network
information systems
image processing
special case
static analysis