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