Dependently Typed Programming in Agda-Reference-Cited by-同舟云学术

Dependently Typed Programming in Agda

Published:2009 Issue: Volume: Page:230-266
ISSN:0302-9743
Container-title:Advanced Functional Programming
language:
Short-container-title:

Author:

Norell Ulf

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-04652-0_5

Reference6 articles.

1. The Agda mailing list (2008), https://lists.chalmers.se/mailman/listinfo/agda

2. The Agda wiki (2008), http://www.cs.chalmers.se/~ulfn/Agda

3. Altenkirch, T., McBride, C., McKinna, J.: Why dependent types matter. Manuscript (April 2005)

4. McBride, C., McKinna, J.: The view from the left. Journal of Functional Programming 14(1), 69–111 (2004)

5. Norell, U.: Towards a practical programming language based on dependent type theory. PhD thesis, Department of Computer Science and Engineering, Chalmers University of Technology, SE-412 96 Göteborg, Sweden (September 2007)

Cited by 129 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. A Pyramid Of (Formal) Software Verification;Lecture Notes in Computer Science;2024-09-13

2. Example-Based Reasoning about the Realizability of Polymorphic Programs;Proceedings of the ACM on Programming Languages;2024-08-15

3. Kripke-Joyal forcing for type theory and uniform fibrations;Selecta Mathematica;2024-07-31

4. Topological Quantum Gates in Homotopy Type Theory;Communications in Mathematical Physics;2024-07

5. Scoped and Typed Staging by Evaluation;Proceedings of the 2024 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation;2024-01-11