WEKO3
アイテム
The Theory of Twiners and Linear Parametricity
https://ipsj.ixsq.nii.ac.jp/records/16876
https://ipsj.ixsq.nii.ac.jp/records/16876ba4f6c1d-ff35-450a-ad2a-d67ce737a71f
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
IPSJ-TPRO4207016.pdf (26.9 kB)
|
Copyright (c) 2001 by the Information Processing Society of Japan
|
|
| オープンアクセス | ||
| Item type | Trans(1) | |||||||
|---|---|---|---|---|---|---|---|---|
| 公開日 | 2001-07-15 | |||||||
| タイトル | ||||||||
| タイトル | The Theory of Twiners and Linear Parametricity | |||||||
| タイトル | ||||||||
| 言語 | en | |||||||
| タイトル | The Theory of Twiners and Linear Parametricity | |||||||
| 言語 | ||||||||
| 言語 | jpn | |||||||
| キーワード | ||||||||
| 主題Scheme | Other | |||||||
| 主題 | 発表概要 | |||||||
| 資源タイプ | ||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_6501 | |||||||
| 資源タイプ | journal article | |||||||
| 著者所属 | ||||||||
| Graduate School of Mathematics The University of Tokyo | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Graduate School of Mathematics, The University of Tokyo | ||||||||
| 著者名 |
Ryu, Hasegawa
× Ryu, Hasegawa
|
|||||||
| 著者名(英) |
Ryu, Hasegawa
× Ryu, Hasegawa
|
|||||||
| 論文抄録 | ||||||||
| 内容記述タイプ | Other | |||||||
| 内容記述 | Linear parametricity is a principle of polymorphic programming languages dictated in the context of linear logic. We show that linear parametricity induces the fixed points of operators having both positive and negative occurrences of parameters. This kind of fixed points are required by semantics of functional programming languages. The traditional style to achieve this requirement employs Scott's denotational semantics which is an application of a mathematical theory of Scott domains. Our emphasis lies in that the same effect can be derived from linear parametricity which is a single computer-theoretic principle rather than from mathematical properties of exotic topology of Scott domains. Consistency of linear parametricity is rather a naive property. In fact the standard notion of parametricity which was studied by the author and other researchers in early nineties conflicts with the existence of fixed points of the kind we are studying in this work. Linear parametricity is wearker than standard parametricity and does not invoke conflict. We verify this fact by forming a sound model of linear parametricity. To this end we develop the theory of twiners which is an extension of the theory of analytic functors introduced by Joyal in the field of enumerative combinatorics. | |||||||
| 書誌レコードID | ||||||||
| 収録物識別子タイプ | NCID | |||||||
| 収録物識別子 | AA11464814 | |||||||
| 書誌情報 |
情報処理学会論文誌プログラミング（PRO） 巻 42, 号 SIG07(PRO11), p. 92-92, 発行日 2001-07-15 |
|||||||
| ISSN | ||||||||
| 収録物識別子タイプ | ISSN | |||||||
| 収録物識別子 | 1882-7802 | |||||||
| 出版者 | ||||||||
| 言語 | ja | |||||||
| 出版者 | 情報処理学会 | |||||||
