Latest news
3月15日13時に第15期公募情報を公開いたしました。
4月1日13時より応募者登録サイトへの登録が可能です。
Information on the 15th call for applications was opened at 13:00 on 15 March.
Applicants can register on the registration website from 1 April at 13:00.
HOME
>
Latest news
> Kohei Suenaga published a paper about a type-based formal method for safe resource deallocation as an OOPSLA Research Paper in SPLASH 2012.
| JAPANESE |
Kohei Suenaga published a paper about a type-based formal method for safe resource deallocation as an OOPSLA Research Paper in SPLASH 2012.