文献

J-GLOBAL ID：202002271036270540   整理番号：20A0855186

拡張可能なデータ型の抽象化:任意の名前によるOR【JST・京大機械翻訳】

Abstracting extensible data types: or, rows by any other name

著者 (2件)： Morris J. Garrett (University of Kansas, USA) ,  McKinna James (University of Edinburgh, UK)
資料名： Proceedings of the ACM on Programming Languages  (Proceedings of the ACM on Programming Languages)
巻： 3  号： POPL  ページ： 1-28  発行年： 2019年 
JST資料番号： W5683A  ISSN： 2475-1421  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： 著者らは,拡張可能なデータタイプのための新しいタイプの言語を提示して,列タイプと列多形の既存のシステムを一般化して,抽象化した。拡張可能なデータタイプは,従来の機能的プログラミング言語に対する強力な付加であり,OOP様記録拡張と多形からモジュール組成インタプリタへのアイデアを獲得する。列理論を導入し,列型のモノイド一般化を行い,記録連接と射影(双対,バリアント注入と分岐)の一般的な説明を与えた。著者らは,異なる列理論上での記録と変種の解釈を抽象化して,それらを資格のあるタイプを介して実現した。著者らのアプローチは,拡張可能なデータタイプの他のシステムにおいて非典型的な項を自然に表現するが,コヒーレンスや主なタイプのような強いメタ理論的性質を維持する。タイプ資格者に対する証拠は,計算内容を持ち,記録および変種操作の実行を決定する。これを,著者らの計算からのモジュール変換を与えることにおいて,様々な列理論を用いて,多形λ-計算に対して示すことを実証した。Please refer to this article’s citation page on the publisher website for specific rights information. Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： 言語 ,  射影 ,  *データ型 ,  インタプリタ ,  コヒーレンス ,  プログラミング言語
準シソーラス用語： メタ理論 ,  モノイド , 【Automatic Indexing@JST】

著者キーワード (4件)： 拡張可能なデータ型 ,  認定型 ,  列の多形 ,  列型

分類 (2件)： 計算理論  (JB02000A) ,  汎用プログラミング言語  (JD03051H)

タイトルに関連する用語 (4件)： 拡張 ,  データ型 ,  抽象化 ,  名前