википедия | deni_ok

deni_ok

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

deni_ok Jan 07, 2013 00:27

Сделал в ру-Википедии статью про сабж. Еле поспел к Рождеству. Держите. Originally posted at http://deniok.dreamwidth.org/47521.html. Feel free to comment here or there.

википедия, fprog, lambda calculus, fp, type theory

Leave a comment 19