Tangible Functional Programming
Conal Elliot talk: http://www.youtube.com/watch?v=faJ8N0giqzwTangible Values: http://haskell.org/haskellwiki/TV