(no subject)

[vbvb]

Foozzles
via Wadler via Bracha
http://hope.cs.rice.edu/twiki/pub/WG211/M3Schedule/foozles.pdf

Comments

[sliva-lv.livejournal.com]

Хе-хе, знакомая ситуация :). Это не только про теорию языков программирования, а вообще про Theoretical Computer Science... Впрочем, это "неправильная" TCS. (А что такое "правильная" TCS, и зачем она на самом деле нужна -- отдельная тема.)