Author:
CALCAGNO C.,MOGGI E.,SHEARD T.
Publisher
Cambridge University Press (CUP)
Cited by
25 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. MacoCaml: Staging Composable and Compilable Macros;Proceedings of the ACM on Programming Languages;2023-08-30
2. Refinement kinds: type-safe programming with practical type-level computation;Proceedings of the ACM on Programming Languages;2019-10-10
3. Static stages for heterogeneous programming;Proceedings of the ACM on Programming Languages;2017-10-12
4. A Temporal Logic Approach to Binding-Time Analysis;Journal of the ACM;2017-03-29
5. Verification of code generators via higher-order model checking;Proceedings of the 2017 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation;2017-01-02