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