Просто типизированное лямбда-исчисление

[deniok]

Сделал в ру-Википедии статью про сабж. Еле поспел к Рождеству.  Держите.

Comments

[nivanych.livejournal.com]

Ну вот ещё, к чему этот экстремизм, это расжигание! ;-)