文献

J-GLOBAL ID：200902216326206738   整理番号：09A0667349

計算のパラメタライズド概念

Parameterised notions of computation

著者 (1件)： ATKEY Robert (Univ. Edinburgh, Edinburgh, GBR)
資料名： Journal of Functional Programming  (Journal of Functional Programming)
巻： 19  号： 3/4  ページ： 335-376  発行年： 2009年05月 
JST資料番号： W1589A  ISSN： 0956-7968  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： イギリス (GBR)  言語： 英語 (EN)

抄録/ポイント： Moggiの計算モナドのフレームワークと,それに等価なPower等によるFreydカテゴリの概念はプログラミング言語設計において,広範囲の計算効果を捕らえるのに極めて有効である。非停止性,非決定性,エクセプション,コンテニュエーション,サイドエフェクト,入出力などである。本論文では,これら2つの概念をパラメタライズドモナドとパラメタライズドFreydカテゴリに一般化した。このパラメタリゼーションは,計算を,その開始状態における情報と終了状態における情報でアノテーションするカテゴリをパラメタリゼーションするという形を取る。これの主たる適用は,状態の型が変化する型付きサイドエフェクト,入力と出力の範囲が変化する種々の型付き入出力である。また,本論文でのカテゴリ定義を健全に完全にモデル化する2つの型付きλ計算も提示した。さらには,本論文でのセマンティックス定義と既存型システムとの関係も議論した。

シソーラス用語： *計算理論 ,  計算モデル ,  パラメタリゼーション ,  カテゴリー理論 ,  言語設計 ,  データ型 ,  非決定性 ,  副作用 ,  入出力 ,  アノテーション ,  λ計算 ,  意味論 ,  関数プログラミング ,  *関数型言語 ,  例外処理
準シソーラス用語： セマンティックス ,  関数型プログラミング ,  *計算の理論 ,  計算モナド ,  計算効果

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

タイトルに関連する用語 (2件)： 計算 ,  概念