Author:
Baillot Patrick,Hofmann Martin
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Modular Inference of Linear Types for Multiplicity-Annotated Arrows;Programming Languages and Systems;2020
2. Implementing HOL in an Higher Order Logic Programming Language;Proceedings of the Eleventh Workshop on Logical Frameworks and Meta-Languages: Theory and Practice;2016-06-23
3. Affine Refinement Types for Secure Distributed Programming;ACM Transactions on Programming Languages and Systems;2015-08-13
4. Differential Privacy by Typing in Security Protocols;2013 IEEE 26th Computer Security Foundations Symposium;2013-06
5. Logical Foundations of Secure Resource Management in Protocol Implementations;Lecture Notes in Computer Science;2013