Title Hereいまどきの！？ プログラミング言語理論 いなば かずひろ 稲葉 一浩 http://www.kmonos.net/ http://twitter.com/kinaba 言語組：講義資料 2/39 お話しする内容 •時は2009年 •「プログラミング言語」の 「理論」の 「研究者」のあいだで •今なにがアツい？ 3/39 理論系のトップレベルの学会 •POPL 2009 –Symposium on Principles of Programming Languages »“プログラミング言語の本質” •ESOP 2009 –European Symposium on Programming 4/39 今年の時間割:POPL 2009 • 並行性 (Concurrency) • 型１(Types) • その他１ (Medley) • 静的解析１ (Static analysis) • 関数型ﾌ
