A unified view of modalities in type systems.

Andreas Abel Jean-Philippe Bernardy

Published in: Proc. ACM Program. Lang. (2020)

Keyphrases

complex systems
management system
databases
artificial intelligence
intelligent systems
database
data sets
multimedia
multi agent
relational databases
multiresolution
computer systems
learning systems