WEKO3
アイテム
型情報を一部明示した環境計算体系
https://ipsj.ixsq.nii.ac.jp/records/16855
https://ipsj.ixsq.nii.ac.jp/records/1685566501a67-bb09-47aa-a52f-a9037c8af77d
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
IPSJ-TPRO4211017.pdf (31.2 kB)
|
Copyright (c) 2001 by the Information Processing Society of Japan
|
|
| オープンアクセス | ||
| Item type | Trans(1) | |||||||
|---|---|---|---|---|---|---|---|---|
| 公開日 | 2001-11-15 | |||||||
| タイトル | ||||||||
| タイトル | 型情報を一部明示した環境計算体系 | |||||||
| タイトル | ||||||||
| 言語 | en | |||||||
| タイトル | An Environment Calculus with Partical Description of Types | |||||||
| 言語 | ||||||||
| 言語 | jpn | |||||||
| キーワード | ||||||||
| 主題Scheme | Other | |||||||
| 主題 | 発表概要 | |||||||
| 資源タイプ | ||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_6501 | |||||||
| 資源タイプ | journal article | |||||||
| 著者所属 | ||||||||
| 京都大学大学院情報学研究科 | ||||||||
| 著者所属 | ||||||||
| 京都大学大学院情報学研究科 | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Graduate School of Informatics, Kyoto University | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Graduate School of Informatics, Kyoto University | ||||||||
| 著者名 |
今村, 庄一
佐藤, 雅彦
× 今村, 庄一 佐藤, 雅彦
|
|||||||
| 著者名(英) |
Shoichi, Imamura
Masahiko, Sato
× Shoichi, Imamura Masahiko, Sato
|
|||||||
| 論文抄録 | ||||||||
| 内容記述タイプ | Other | |||||||
| 内容記述 | 環境をFirst Class Objectとして扱う体系で次のような性質を持つものを構築する．1.正規化可能性，2.単純型付λ計算との保守性，3.完全で健全な型推論アルゴリズムの存在．計λεは1 ，2の性質を持つが，3の性質を持たない．そこで，その環境評価にラベルを導入することで3が満たされることを示した． | |||||||
| 論文抄録(英) | ||||||||
| 内容記述タイプ | Other | |||||||
| 内容記述 | We construct a calculus with first class environments, which satisfies these three properties. 1. Normalizability, 2. Conservativity with simply typed λ-calculus, 3. Type inference algorithm that satisfies completeness and soundness. λε satisfies 1 and 2, but not3. Then, we introduce labels when environments evaluate. We show this calculus satisfies 3. | |||||||
| 書誌レコードID | ||||||||
| 収録物識別子タイプ | NCID | |||||||
| 収録物識別子 | AA11464814 | |||||||
| 書誌情報 |
情報処理学会論文誌プログラミング（PRO） 巻 42, 号 SIG11(PRO12), p. 99-99, 発行日 2001-11-15 |
|||||||
| ISSN | ||||||||
| 収録物識別子タイプ | ISSN | |||||||
| 収録物識別子 | 1882-7802 | |||||||
| 出版者 | ||||||||
| 言語 | ja | |||||||
| 出版者 | 情報処理学会 | |||||||
