Taype: A Policy-Agnostic Language for Oblivious Computation.

Qianchuan Ye Benjamin Delaware

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

Keyphrases

natural language
optimal policy
general purpose
programming language
search engine
specification language
natural language processing
description logics
efficient computation
english language
private information retrieval