Author:
Abel Andreas,Matthes Ralph
Publisher
Springer Berlin Heidelberg
Reference25 articles.
1. Andreas Abel. Haskell examples for iteration and coiteration on higher-order datatypes. Haskell code accompanying this article, available on the author’s homepage, 2003.
2. Lect Notes Comput Sci;T. Altenkirch,2001
3. Thorsten Altenkirch and Conor McBride. Generic programming within dependently typed programming. To appear in the proceedings of WCGP’02, 2002.
4. Lect Notes Comput Sci;T. Altenkirch,1999
5. Henk P. Barendregt. Lambda calculi with types. In Samson Abramsky, Dov M. Gabbay, and Tom S. E. Maibaum, editors, Background: Computational Structures, volume 2 of Handbook of Logic in Computer Science, pages 117–309. 1992.
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献