Author:
Altenkirch Thorsten,Levy Paul,Staton Sam
Publisher
Springer Berlin Heidelberg
Reference18 articles.
1. Abbott, M.: Categories of Containers. PhD thesis, University of Leicester (2003)
2. Abbott, M., Altenkirch, T., Ghani, N.: Containers - constructing strictly positive types. Theoretical Computer Science 342, 3–27 (2005); Applied Semantics: Selected Topics
3. Lecture Notes in Computer Science;M. Abbott,2004
4. Abbott, M., Altenkirch, T., Ghani, N., McBride, C.: $\partial$ for data: derivatives of data structures. Fundamenta Informaticae 65(1,2), 1–128 (2005)
5. Altenkirch, T., Morris, P.: Indexed containers. In: Twenty-Fourth IEEE Symposium in Logic in Computer Science, LICS 2009 (2009)
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Stabilized profunctors and stable species of structures;Logical Methods in Computer Science;2024-02-29
2. CHAD for expressive total languages;Mathematical Structures in Computer Science;2023-04
3. Dialectica models of type theory;Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science;2018-07-09
4. Indexed containers;Journal of Functional Programming;2015
5. Containers, monads and induction recursion;Mathematical Structures in Computer Science;2014-11-20