2005, Michael Abbott, Thorsten Altenkirch, and Neil Ghani. Containers: Constructing strictly positive types.
    качал оттуда - https://www.sciencedirect.com/science/a … 7505003373

«the notions of containers and container functors. These provide a new conceptual analysis of data structures and polymorphic functions
by exploiting dependent type theory as a convenient way to define constructions in Martin-Löf categories.»

Ранее на форуме:
Массив

Отредактировано Лис (2024-08-14 10:49:10)