Author:
Fisher Kathleen,Gruber Robert
Cited by
46 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Dargent: A Silver Bullet for Verified Data Layout Refinement;Proceedings of the ACM on Programming Languages;2023-01-09
2. Dependently-typed data plane programming;Proceedings of the ACM on Programming Languages;2022-01-12
3. CoStar: a verified ALL(*) parser;Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation;2021-06-18
4. Structure interpretation of text formats;Proceedings of the ACM on Programming Languages;2020-11-13
5. ptype: probabilistic type inference;Data Mining and Knowledge Discovery;2020-03-16