Author:
Keuchel Steven,Weirich Stephanie,Schrijvers Tom
Publisher
Springer Berlin Heidelberg
Reference42 articles.
1. Lecture Notes in Computer Science;M Abbott,2003
2. Altenkirch, T., Morris, P.: Indexed containers. In: LICS 2009, pp. 277–285 (2009)
3. Lecture Notes in Computer Science;T Altenkirch,2010
4. Altenkirch, T., Chapman, J., Uustalu, T.: Relative monads formalised. J. Formalized Reasoning 7(1), 1–43 (2014).
http://jfr.unibo.it/article/view/4389
. ISSN: 1972-5787
5. Lecture Notes in Computer Science;T Altenkirch,1999
Cited by
15 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Formal metatheory of second-order abstract syntax;Proceedings of the ACM on Programming Languages;2022-01-12
2. A type- and scope-safe universe of syntaxes with binding: their semantics and proofs;Journal of Functional Programming;2021
3. HO$$\pi $$ in Coq;Journal of Automated Reasoning;2020-09-14
4. A Formalized General Theory of Syntax with Bindings: Extended Version;Journal of Automated Reasoning;2019-04-16
5. Bindings as bounded natural functors;Proceedings of the ACM on Programming Languages;2019-01-02