Signature restriction for polymorphic algebraic effects
Guardado en:
| Publicado en: | Journal of Functional Programming vol. 34 (May 2024) |
|---|---|
| Autor principal: | |
| Otros Autores: | , |
| Publicado: |
Cambridge University Press
|
| Materias: | |
| Acceso en línea: | Citation/Abstract Full Text - PDF |
| Etiquetas: |
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
MARC
| LEADER | 00000nab a2200000uu 4500 | ||
|---|---|---|---|
| 001 | 3060284439 | ||
| 003 | UK-CbPIL | ||
| 022 | |a 0956-7968 | ||
| 022 | |a 1469-7653 | ||
| 024 | 7 | |a 10.1017/S0956796824000054 |2 doi | |
| 035 | |a 3060284439 | ||
| 045 | 2 | |b d20240501 |b d20240531 | |
| 084 | |a 79046 |2 nlm | ||
| 100 | 1 | |a Sekiyama, Taro |u National Institute of Informatics &amp SOKENDAI, Tokyo, Japan (e-mail: tsekiyama@acm.org ) | |
| 245 | 1 | |a Signature restriction for polymorphic algebraic effects | |
| 260 | |b Cambridge University Press |c May 2024 | ||
| 513 | |a Journal Article | ||
| 520 | 3 | |a The naive combination of polymorphic effects and polymorphic type assignment has been well known to break type safety. In the literature, there are two kinds of approaches to this problem: one is to restrict how effects are triggered and the other is to restrict how they are implemented. This work explores a new approach to ensuring the safety of the use of polymorphic effects in polymorphic type assignment. A novelty of our work is to restrict effect interfaces. To formalize our idea, we employ algebraic effects and handlers, where an effect interface is given by a set of operations coupled with type signatures. We propose signature restriction, a new notion to restrict the type signatures of operations and show that signature restriction ensures type safety of a language equipped with polymorphic effects and unrestricted polymorphic type assignment. We also develop a type-and-effect system to enable the use of both of the operations that satisfy and those that do not satisfy the signature restriction in a single program. | |
| 653 | |a Calculus | ||
| 653 | |a Algebra | ||
| 653 | |a Signatures | ||
| 653 | |a Polymorphism | ||
| 700 | 1 | |a Tsukada, Takeshi |u Chiba University, Chiba, Japan (e-mail: tsukada@math.s.chiba-u.ac.jp ) | |
| 700 | 1 | |a Igarashi, Atsushi |u Graduate School of Informatics, Kyoto University, Kyoto, Japan (e-mail: igarashi@kuis.kyoto-u.ac.jp ) | |
| 773 | 0 | |t Journal of Functional Programming |g vol. 34 (May 2024) | |
| 786 | 0 | |d ProQuest |t Advanced Technologies & Aerospace Database | |
| 856 | 4 | 1 | |3 Citation/Abstract |u https://www.proquest.com/docview/3060284439/abstract/embedded/75I98GEZK8WCJMPQ?source=fedsrch |
| 856 | 4 | 0 | |3 Full Text - PDF |u https://www.proquest.com/docview/3060284439/fulltextPDF/embedded/75I98GEZK8WCJMPQ?source=fedsrch |