Publisher
Open Publishing Association
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Mœbius: metaprogramming using contextual types: the stage where system f can pattern match on itself;Proceedings of the ACM on Programming Languages;2022-01-12
2. Harpoon: Mechanizing Metatheory Interactively;Automated Deduction – CADE 28;2021
3. Implementing a modal dependent type theory;Proceedings of the ACM on Programming Languages;2019-07-26
4. A Meta Lambda Calculus with Cross-Level Computation;ACM SIGPLAN Notices;2015-05-11
5. A Meta Lambda Calculus with Cross-Level Computation;Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages;2015-01-14