Author:
Çiçek Ezgi,Garg Deepak,Acar Umut
Publisher
Springer Berlin Heidelberg
Cited by
13 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Circuit Width Estimation via Effect Typing and Linear Dependency;Lecture Notes in Computer Science;2024
2. A flat reachability-based measure for CakeML’s cost semantics;33rd Symposium on Implementation and Application of Functional Languages;2021-09
3. Do you have space for dessert? a verified space cost semantics for CakeML programs;Proceedings of the ACM on Programming Languages;2020-11-13
4. Raising expectations: automating expected cost analysis with types;Proceedings of the ACM on Programming Languages;2020-08-02
5. Type-Driven Verification of Non-functional Properties;Proceedings of the 21st International Symposium on Principles and Practice of Programming Languages 2019;2019-10-07