Distance makes the types grow stronger

DOI10.1145/1863543.1863568zbMath1323.68254OpenAlexW2097061283MaRDI QIDQ5176936

Benjamin C. Pierce, Jason Reed

Publication date: 5 March 2015

Published in: Proceedings of the 15th ACM SIGPLAN international conference on Functional programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/1863543.1863568

zbMATH Keywords

type systemsdifferential privacy

Mathematics Subject Classification ID

Database theory (68P15) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (16)

On bisimilarity in lambda calculi with continuous probabilistic choice ⋮ Differential logical relations. II: Increments and derivatives ⋮ Model checking differentially private properties ⋮ Divergences on monads for relational program logics ⋮ A framework for substructural type systems ⋮ The syntactic side of autonomous categories enriched over generalised metric spaces ⋮ Utility/privacy trade-off as regularized optimal transport ⋮ Generalized bounded linear logic and its categorical semantics ⋮ Coupled relational symbolic execution for differential privacy ⋮ Combining Differential Privacy and Mutual Information for Analyzing Leakages in Workflows ⋮ The abstract domain of trapezoid step functions ⋮ Differential privacy in probabilistic systems ⋮ Formal Verification of Differential Privacy for Interactive Systems (Extended Abstract) ⋮ Measure Transformer Semantics for Bayesian Machine Learning ⋮ Differential logical relations, Part I: The simply-typed case ⋮ Quantitative classical realizability

This page was built for publication: Distance makes the types grow stronger