![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
33rd ESOP@ETAPS 2024: Luxembourg City, Luxembourg - Part I
- Stephanie Weirich
:
Programming Languages and Systems - 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, Part I. Lecture Notes in Computer Science 14576, Springer 2024, ISBN 978-3-031-57261-6
Effects and Modal Types
- Sam Lindley
, Cristina Matache, Sean K. Moss, Sam Staton, Nicolas Wu
, Zhixuan Yang
:
Scoped Effects as Parameterized Algebraic Theories. 3-21 - Francesco Gavazzo, Riccardo Treglia, Gabriele Vanoni:
Monadic Intersection Types, Relationally. 22-51 - Jason Z. S. Hu
, Brigitte Pientka
:
Layered Modal Type Theory - Where Meta-programming Meets Intensional Analysis. 52-82 - Jack Hughes
, Dominic Orchard
:
Program Synthesis from Graded Types. 83-112
Bidirectional Typing and Session Types
- Liang-Ting Chen
, Hsiang-Shang Ko
:
A Formal Treatment of Bidirectional Typing. 115-142 - Thiago Felicissimo:
Generic bidirectional typing for dependent type theories. 143-170 - Thiago Felicissimo:
Artifact report: Generic bidirectional typing for dependent type theories. 171-175 - Elaine Li
, Felix Stutz
, Thomas Wies
:
Deciding Subtyping for Asynchronous Multiparty Sessions. 176-205 - Luís Caires, Bernardo Toninho:
The Session Abstract Machine. 206-235
Dependent Types
- Cyril Cohen
, Enzo Crance
, Assia Mahboubi
:
Trocq: Proof Transfer for Free, With or Without Univalence. 239-268 - Cyril Cohen, Enzo Crance, Assia Mahboubi:
Artifact Report: Trocq: Proof Transfer for Free, With or Without Univalence. 269-274 - Loïc Pujet, Nicolas Tabareau:
Observational Equality Meets CIC. 275-301 - Théo Laurent
, Meven Lennon-Bertrand
, Kenji Maillard
:
Definitional Functoriality for Dependent (Sub)Types. 302-331 - Théo Laurent
, Meven Lennon-Bertrand
, Kenji Maillard
:
Artifact Description - Definitional Functoriality for Dependent (Sub)Types. 332-337
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.