| 紀錄類型: |
書目-電子資源
: Monograph/item
|
| 正題名/作者: |
Programming languages and systems/ edited by Stephanie Weirich. |
| 其他題名: |
33rd European Symposium on Programming, ESOP 2024, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024 : proceedings. |
| 其他題名: |
ESOP 2024 |
| 其他作者: |
Weirich, Stephanie. |
| 團體作者: |
European Symposium on Programming |
| 出版者: |
Cham :Springer Nature Switzerland : : 2024., |
| 面頁冊數: |
xvi, 340 p. :ill. (some col.), digital ;24 cm. |
| 內容註: |
Effects and Modal Types -- Scoped Effects as Parameterized Algebraic Theories -- Intersection Types, Relationally -- Modal Type Theory: Where Meta-programming Meets Intentional Analysis -- Program Synthesis from Graded Types -- Bidirectional Typing and Session Types -- A Formal Treatment of Bidirectional Typing -- Generic bidirectional typing for dependent type theories -- Artifact report: Generic bidirectional typing for dependent type theories -- Deciding Subtyping for Asynchronous Multiparty Sessions -- The Session Abstract Machine -- Dependent Types -- Trocq: Proof Transfer for Free, With or Without Univalence -- Artifact report: Trocq: Proof Transfer for Free, With or Without Univalence -- Observational Equality Meets CIC -- Definitional Functoriality for Dependent (Sub)Types -- Artifact report: Definitional Functoriality for Dependent (Sub)Types. |
| Contained By: |
Springer Nature eBook |
| 標題: |
Computer programming - Congresses. - |
| 電子資源: |
https://doi.org/10.1007/978-3-031-57262-3 |
| ISBN: |
9783031572623 |