Author:
Fogarty Seth,Pasalic Emir,Siek Jeremy,Taha Walid
Cited by
23 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Staging with class: a specification for typed template Haskell;Proceedings of the ACM on Programming Languages;2022-01-12
2. A Dependently Typed Multi-stage Calculus;Programming Languages and Systems;2019
3. Expressive and strongly type-safe code generation;Proceedings of the 19th International Symposium on Principles and Practice of Declarative Programming;2017-10-09
4. 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
5. Staging beyond terms: prospects and challenges;Proceedings of the 2016 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation;2016-01-11