文献

J-GLOBAL ID：202002211936055705   整理番号：20A2436315

ホールによる多形段階的型づけ

Polymorphic Gradual Typing with Holes

著者 (2件)： KIM Jaebyeog (Tohoku Univ.) ,  SUMII Eijiro (Tohoku Univ.)
資料名： 日本ソフトウェア科学会大会講演論文集(Web)  (Proceeding of the JSSST Annual Conference (Web))
巻： 37th  ページ： ROMBUNNO.36-L (WEB ONLY)  発行年： 2020年 
JST資料番号： U1746A  ISSN： 1349-3515  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： 日本 (JPN)  言語： 英語 (EN)

抄録/ポイント： ・Omar等による不完全なプログラムに静的および動的なセマンティクスを与える”Hazelnut Live”を多形言語に拡張。
・新しい型変数X ́をその型∀X′.Aに割り当てることによって,不特定の正式な型パラメータに対処。
・バインドされていない項または型変数を含むプログラムMは,それらをホールLMM内に配置し,異なる型環境を与えることによって処理。

シソーラス用語： *関数型言語 ,  意味論 ,  多形 ,  仕様記述 ,  *型理論 ,  型システム
準シソーラス用語： Hazel【プログラミング言語】 ,  セマンティックス ,  タイプ理論 ,  ポリモルフィズム

分類 (1件)： 汎用プログラミング言語  (JD03051H)

タイトルに関連する用語 (4件)： ホール ,  多形 ,  段階 ,  型づけ