LFMan: Helping the kids to learn logical frameworks with videosystem

2009-04-05

[public] 5.26K views, 141 likes, 10.0 dislikes audio only

Presented at SIGBOVIK 2009. Negative feedback helps the kids to learn.