the top of this page
Latest news
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.
