文献

J-GLOBAL ID：201202206456487208   整理番号：12A1545130

HECTOR:MLの高次フラグメントのための同値キャラクタ

Hector: An Equivalence Checker for a Higher-Order Fragment of ML

著者 (3件)： HOPKINS David (Univ. Oxford, GBR) ,  MURAWSKI Andrzej S. (Univ. Leicester, GBR) ,  ONG C.-H. Luke (Univ. Oxford, GBR)
資料名： Lecture Notes in Computer Science  (Lecture Notes in Computer Science)
巻： 7358  ページ： 774-780  発行年： 2012年 
JST資料番号： H0078D  ISSN： 0302-9743  資料種別： 会議録 (C)
発行国： ドイツ (DEU)  言語： 英語 (EN)

タイトルに関連する用語 (3件)： ML ,  フラグメント ,  キャラクタ