リスボン大学のVasco T. Vasconcelos先生が、当研究室に訪問くださり、講演していただけることになりました。 日時:12/11(月)11:00〜 場所:大分大学旦野原キャンパス 理工6号館2階会議室 タイトル:FreeST and the Higher-order Polymorphic Lambda Calculus
Programming Languages and Practices Laboratory
大分大学理工学部 知能情報システムコース プログラミング言語工学研究室
リスボン大学のVasco T. Vasconcelos先生が、当研究室に訪問くださり、講演していただけることになりました。 日時:12/11(月)11:00〜 場所:大分大学旦野原キャンパス 理工6号館2階会議室 タイトル:FreeST and the Higher-order Polymorphic Lambda Calculus