Monadic Intersection Types, Relationally.

Francesco Gavazzo Riccardo Treglia Gabriele Vanoni

Published in: ESOP (1) (2024)

Keyphrases

datalog queries
multiple types
databases
real world
machine learning
image processing
website
three dimensional
face recognition
evolutionary algorithm
deductive databases