Author:
Ferreira Francisco,Pientka Brigitte
Reference31 articles.
1. A. Abel and B. Pientka. Higher-order dynamic pattern unification for dependent types and records. In L. Ong, editor, 10th International Conference on Typed Lambda Calculi and Applications (TLCA'11), Lecture Notes in Computer Science (LNCS 6690), pages 10--26. Springer, 2011.
2. A. Asperti, W. Ricciotti, C. S. Coen, and E. Tassi. A bi-directional refinement algorithm for the calculus of (co)inductive constructions. Logical Methods in Computer Science, 8:1--49, 2012.
3. O. S. Belanger, S. Monnier, and B. Pientka. Programming type-safe transformations using higher-order abstract syntax. In G. Gonthier and M. Norrish, editors, Third International Conference on Certified Programs and Proofs (CPP'13), Lecture Notes in Computer Science (LCNS 8307), pages 243--258. Springer, 2013.
4. M. Boespflug and B. Pientka. Multi-level contextual modal type theory. In G. Nadathur and H. Geuvers, editors, 6th International Workshop on Logical Frameworks and Meta-languages: Theory and Practice (LFMTP'11), Electronic Proceedings in Theoretical Computer Science (EPTCS), 2011.
5. E. Brady. Idris, a general-purpose dependently typed programming language: Design and implementation. Journal of Functional Programming, 23:552--593, 9 2013.
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. ExEl: Building an Elaborator Using Extensible Constraints;The 35th Symposium on Implementation and Application of Functional Languages;2023-08-29
2. A Type Discipline for Message Passing Parallel Programs;ACM Transactions on Programming Languages and Systems;2022-12-21
3. Label-dependent session types;Proceedings of the ACM on Programming Languages;2020-01
4. Statically Checking REST API Consumers;Software Engineering and Formal Methods;2020
5. Live functional programming with typed holes;Proceedings of the ACM on Programming Languages;2019-01-02