Conference Paper Featherweight JavaのMeta-Theory a la Carteを利用した拡張可能な形式化フレームワーク

奥河, 諒  ,  Okugawa, Ryou  ,  青谷, 知幸  ,  Aotani, Tomoyuki  ,  増原, 英彦  ,  Masuhara, Hidehiko

2016

Number of accesses :  

Other information