Ceek.jp Altmetrics (α ver.)
  1. ホーム
  2. 文献詳細

1 0 0 0 OA 論理学的アプローチによるJAVA仮想機械の諸性質の分析および実装への応用

著者
樋口 智之
巻号頁・発行日
2002-03
Supervisor:大堀 淳

言及状況

Twitter (1 users, 1 posts, 0 favorites)

https://t.co/Oag3AI2bGm っていうような内容の論文がやっぱりあったw 多相型推論に似てるようなとか思ったんだけど、そんな事も書いてあるようなw

収集済み URL リスト