プログラミング研究室

Vasconcelos先生によるセッション型に関するセミナー講演

リスボン大学のVasco Thudichum Vasconcelos先生が研究室を訪問し “System F^μ_ω with Context-free Session Types” と題するセミナー講演を行っていただきました。セッション型の基礎から、その表現力に関する最新の進展までを解説していただき、大変勉強になるセミナーとなりました。