Higher-Order Approximate Relational Refinement Types for Mechanism Design and Differential Privacy-Reference-Cited by-同舟云学术

Higher-Order Approximate Relational Refinement Types for Mechanism Design and Differential Privacy

Published:2015-01-14 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
language:
Short-container-title:

Author:

Barthe Gilles¹,Gaboardi Marco²,Gallego Arias Emilio Jesús³,Hsu Justin³,Roth Aaron³,Strub Pierre-Yves⁴

Affiliation:

1. IMDEA Software Institue, Madrid, Spain

2. University of Dundee, Dundee, Scotland Uk

3. University of Pennsylvania, Philadelphia, PA, USA

4. IMDEA Software Institute, Madrid, Spain

Funder

Seventh Framework Programme

Division of Computer and Network Systems

Ministerio de Economía y Competitividad

Fundación Caja Madrid

Publisher

ACM

Link

Reference54 articles.

Cited by 39 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

3. Cutting the Cake: A Language for Fair Division;Proceedings of the ACM on Programming Languages;2023-06-06

4. Contextual Linear Types for Differential Privacy;ACM Transactions on Programming Languages and Systems;2023-05-17

5. Divergences on monads for relational program logics;Mathematical Structures in Computer Science;2023-04