Bernoulli Types: A New Foundation for Approximate and Oblivious Computing

Introducing Bernoulli types as a unified type-theoretic foundation for probabilistic data structures, approximate computing, and oblivious computation with information-theoretic privacy guarantees.