Secure distributed programming with value-dependent types-Reference-Cited by-同舟云学术

Secure distributed programming with value-dependent types

Published:2011-09-19 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 16th ACM SIGPLAN international conference on Functional programming
language:
Short-container-title:

Author:

Swamy Nikhil¹,Chen Juan¹,Fournet Cédric²,Strub Pierre-Yves³,Bhargavan Karthikeyan⁴,Yang Jean⁵

Affiliation:

1. Microsoft Research, Redmond, WA, USA

2. Microsoft Research, Cambridge, United Kingdom

3. INRIA-Microsoft Research Joint Centre, Orsay, France

4. INRIA, Paris, France

5. Massachusettes Institute of Technology, Cambridge, MA, USA

Publisher

ACM

Link

Reference29 articles.

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

1. Parallel Algebraic Effect Handlers;Proceedings of the ACM on Programming Languages;2024-08-15

4. A Theorem Proving Approach to Programming Language Semantics;2023 IEEE/ACM 45th International Conference on Software Engineering: Software Engineering Education and Training (ICSE-SEET);2023-05

5. Revisiting Iso-Recursive Subtyping;ACM Transactions on Programming Languages and Systems;2022-09-21