Ukrainian Узагальнений алгебричний тип даних Cited by user Lxlalexlxl on 02 Oct 2022 Узага́льнений алгебри́чний тип да́них (generalized algebraic data type, GADT) — один з видів алгебричних типів даних, який характеризується тим, що його конструктори можут…
English Inductive programming Cited by user Citation bot on 20 Feb 2019 Inductive programming (IP) is a special area of automatic programming, covering research from artificial intelligence and programming, which addresses learning of…
Russian Обобщённый алгебраический тип данных Cited by user РоманСузи on 13 Dec 2014 Обобщённый алгебраический тип да́нных — один из видов алгебраических типов данных, который характеризуется тем, что его конструкторы могут возвращать значения не своего т…