各所で既出ですが、http://video.google.com/videosearch?q=advanced+topics+in+programming+languagesこの日記でもチラホラと登場してきた、"Parametric Polymorphism"やら"Software Transactional Memory"やら"Faith, Evolution, and Programming Language…