「型理論」に関するサイレントキーワード「型推論」が含まれる科研費採択研究2件

【研究名】型理論と線形計画法によるマルチスレッドプログラムの安全性検証
【研究代表者】寺内 多智弘  東北大学   大学院・情報科学研究科   助教 	https://nrid.nii.ac.jp/ja/nrid/1000070447150/	
【研究名】構造化されたリフレクションをもつ型理論と知識表現への応用
【研究代表者】西崎 真也  岡山大学   大学院・自然科学研究科   助手 	https://nrid.nii.ac.jp/ja/nrid/1000090263615/