Bernoulli Types: A Foundation for Approximate and Oblivious Computing

A unified type-theoretic foundation for probabilistic data structures, approximate computing, and oblivious computation with information-theoretic privacy guarantees.