High Quality Content by WIKIPEDIA articles! In computer science and logic, a dependent type is a type that depends on a value. Dependent types play a central role in intuitionistic type theory and in the design of experimental functional programming languages like Dependent ML, Agda and Epigram.

Данное издание не является оригинальным. Книга печатается по технологии принт-он-деманд после получения заказа.