Distance makes the types grow stronger
From MaRDI portal
Publication:5176936
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
Database theory (68P15) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items
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
