Author:
Aldrich Jonathan,Sunshine Joshua,Saini Darpan,Sparks Zachary
Cited by
56 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Polymorphic Reachability Types: Tracking Freshness, Aliasing, and Separation in Higher-Order Generic Programs;Proceedings of the ACM on Programming Languages;2024-01-05
2. Alice or Bob?: Process polymorphism in choreographies;Journal of Functional Programming;2024
3. Context-Aware Trace Contracts;Lecture Notes in Computer Science;2024
4. Encapsulated Functions: Fortifying Rust's FFI in Embedded Systems;Proceedings of the 1st Workshop on Kernel Isolation, Safety and Verification;2023-10-23
5. Typed Design Patterns for the Functional Era;Proceedings of the 1st ACM SIGPLAN International Workshop on Functional Software Architecture;2023-08-30