Author:
Walker David,Morrisett Greg
Publisher
Springer Berlin Heidelberg
Cited by
35 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. FP²: Fully in-Place Functional Programming;Proceedings of the ACM on Programming Languages;2023-08-30
2. Linearly qualified types: generic inference for capabilities and uniqueness;Proceedings of the ACM on Programming Languages;2022-08-29
3. RefinedC: automating the foundational verification of C code with refined ownership types;Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation;2021-06-18
4. Resource Sharing via Capability-Based Multiparty Session Types;Lecture Notes in Computer Science;2019
5. System Programming in Rust;Proceedings of the 16th Workshop on Hot Topics in Operating Systems;2017-05-07