Alex Potanin 先生の講演

Alex Potanin 先生(ヴィクトリア大学ウェリントン)に、以下のタイトルでご講演いただきました。Potanin 先生は、攻撃に強いウェブプログラミング言語 Wyvern の開発を行っています。

 

講演 1: Wyvern – Security by Design

講演 2: Decidable Subtyping for Path Dependent Types