Тема	#	Автор	Дата	Форум
Про ATS и зависимые типы	170	D. Mon	13 лет 6 мес	Декларативное программирование
Все на GDB 7!	32 1	jazzer	15 лет 3 мес	Средства разработки
Какие задачи решают системы типов		Temoto	15 лет 4 мес	Философия программирования
Scala: утиная типизация		ka-5	15 лет 10 мес	Декларативное программирование
Проблема с преобразованием типов		b00tanik	16 лет	C/C++. Прикладные вопросы
Массив шаблонов разных типов		PavelAndreevich	16 лет 5 мес	C/C++
[Presentation] Benjamin C. Pierce: Types Considered Harmfull	88 1	deniok	17 лет	Декларативное программирование