A relational theory of effects and coeffects.

Ugo Dal Lago Francesco Gavazzo

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

Keyphrases

relational databases
relational data
data model
theoretical framework
formal theory
database
databases
expert systems
general theory
database language
real time
information technology
query language
information theory
theoretical basis