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

【研究名】信頼性と表現力を兼ね備えたプログラミング言語の実装
【研究代表者】叢 悠悠  東京工業大学   情報理工学院   助教 	https://nrid.nii.ac.jp/ja/nrid/1000030847629/