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