Ukrainian Узагальнений алгебричний тип даних Cited by user Lxlalexlxl on 02 Oct 2022 Узага́льнений алгебри́чний тип да́них (generalized algebraic data type, GADT) — один з видів алгебричних типів даних, який характеризується тим, що його конструктори можут…
English Induction-recursion Cited by user Jorge-JBS on 11 Aug 2020 In intuitionistic type theory (ITT), a discipline within mathematical logic, induction-recursion is a feature for simultaneously declaring a type and function on that…
Russian Обобщённый алгебраический тип данных Cited by user РоманСузи on 13 Dec 2014 Обобщённый алгебраический тип да́нных — один из видов алгебраических типов данных, который характеризуется тем, что его конструкторы могут возвращать значения не своего т…