Existential Types for Relaxed Noninterference.

Raimil Cruz Éric Tanter

Published in: CoRR (2019)

Keyphrases

neural network
databases
artificial intelligence
search engine
high level
multiscale