Author:
Abbott Michael,Altenkirch Thorsten,Ghani Neil,McBride Conor
Publisher
Springer Berlin Heidelberg
Reference15 articles.
1. Abbott, M.: Categories of Containers. PhD thesis, University of Leicester (2003)
2. Lecture Notes in Computer Science;M. Abbott,2003
3. Lecture Notes in Computer Science;M. Abbott,2003
4. Altenkirch, T., McBride, C.: Generic programming within dependently typed programming. In: Generic Programming, 2003. Proceedings of the IFIP TC2 Working Conference on Generic Programming (2003)
5. Bainbridge, E.S., Freyd, P.J., Scedrov, A., Scott, P.J.: Functorial polymorphism, preliminary report. In: Huet, G. (ed.) Logical Foundations of Functional Programming, ch. 14, pp. 315–327. Addison-Wesley, Reading (1990)
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Quotient Haskell: Lightweight Quotient Types for All;Proceedings of the ACM on Programming Languages;2024-01-05
2. Quotients of Bounded Natural Functors;Automated Reasoning;2020
3. Bindings as bounded natural functors;Proceedings of the ACM on Programming Languages;2019-01-02
4. Shapely monads and analytic functors;Journal of Logic and Computation;2017-11-02
5. An Investigation of the Laws of Traversals;Electronic Proceedings in Theoretical Computer Science;2012-02-11