2015年7月4日
Higher-order Program Verifi cation as Refi nement Type Inference
The 3rd Workshop on Higher-Order Program Analysis (HOPA 2015)
- 記述言語
- 英語
- 会議種別
- 口頭発表（招待・特別）
海野 広志
うんの ひろし (Hiroshi Unno)
更新日: 04/07