Search

Home
Team
Publications
News

Light Dark Automatic

Gilles Barthe

Latest

A Modal Type Theory of Expected Cost in Higher-Order Probabilistic Programs
A Modal Type Theory of Expected Cost in Higher-Order Probabilistic Programs

© 2025 Information Security and Privacy Research Group at UNSW - All rights reserved.

Published with Hugo Blox Builder — the free, open source website builder that empowers creators.

Cite