ESOP (1)

Keyphrases

Publications

2024

Théo Laurent, Meven Lennon-Bertrand, Kenji Maillard
Artifact Description - Definitional Functoriality for Dependent (Sub)Types. ESOP (1) (2024)
Loïc Pujet, Nicolas Tabareau
Observational Equality Meets CIC. ESOP (1) (2024)
Théo Laurent, Meven Lennon-Bertrand, Kenji Maillard
Definitional Functoriality for Dependent (Sub)Types. ESOP (1) (2024)
Luís Caires, Bernardo Toninho
The Session Abstract Machine. ESOP (1) (2024)
Cyril Cohen, Enzo Crance, Assia Mahboubi
Artifact Report: Trocq: Proof Transfer for Free, With or Without Univalence. ESOP (1) (2024)
Francesco Gavazzo, Riccardo Treglia, Gabriele Vanoni
Monadic Intersection Types, Relationally. ESOP (1) (2024)
Sam Lindley, Cristina Matache, Sean K. Moss, Sam Staton, Nicolas Wu, Zhixuan Yang
Scoped Effects as Parameterized Algebraic Theories. ESOP (1) (2024)
Elaine Li, Felix Stutz, Thomas Wies
Deciding Subtyping for Asynchronous Multiparty Sessions. ESOP (1) (2024)
Cyril Cohen, Enzo Crance, Assia Mahboubi
Trocq: Proof Transfer for Free, With or Without Univalence. ESOP (1) (2024)
Liang-Ting Chen, Hsiang-Shang Ko
A Formal Treatment of Bidirectional Typing. ESOP (1) (2024)
Jason Z. S. Hu, Brigitte Pientka
Layered Modal Type Theory - Where Meta-programming Meets Intensional Analysis. ESOP (1) (2024)
Thiago Felicissimo
Generic bidirectional typing for dependent type theories. ESOP (1) (2024)
Jack Hughes, Dominic Orchard
Program Synthesis from Graded Types. ESOP (1) (2024)
Thiago Felicissimo
Artifact report: Generic bidirectional typing for dependent type theories. ESOP (1) (2024)

volume 14576, 2024

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 ESOP (1) 14576 (2024)