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