Author:
Bracha Gilad,Cook William
Cited by
222 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Self-Provisioning Infrastructures for the Next Generation Serverless Computing;SN Computer Science;2024-06-26
2. Extensible Metatheory Mechanization via Family Polymorphism;Proceedings of the ACM on Programming Languages;2023-06-06
3. FCPP+Miosix: Scaling Aggregate Programming to Embedded Systems;IEEE Transactions on Parallel and Distributed Systems;2023-03-01
4. Making a Type Difference: Subtraction on Intersection Types as Generalized Record Operations;Proceedings of the ACM on Programming Languages;2023-01-09
5. Aggregate Drone Monitoring of Wildfires;2022 IEEE Intl Conf on Dependable, Autonomic and Secure Computing, Intl Conf on Pervasive Intelligence and Computing, Intl Conf on Cloud and Big Data Computing, Intl Conf on Cyber Science and Technology Congress (DASC/PiCom/CBDCom/CyberSciTech);2022-09-12