Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "toc:db/conf/esop/esop2024-1.bht:"
@inproceedings{DBLP:conf/esop/CairesT24, author = {Lu{\'{\i}}s Caires and Bernardo Toninho}, editor = {Stephanie Weirich}, title = {The Session Abstract Machine}, booktitle = {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}}, series = {Lecture Notes in Computer Science}, volume = {14576}, pages = {206--235}, publisher = {Springer}, year = {2024}, url = {https://doi.org/10.1007/978-3-031-57262-3\_9}, doi = {10.1007/978-3-031-57262-3\_9}, timestamp = {Sat, 08 Jun 2024 13:13:57 +0200}, biburl = {https://dblp.org/rec/conf/esop/CairesT24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/esop/ChenK24, author = {Liang{-}Ting Chen and Hsiang{-}Shang Ko}, editor = {Stephanie Weirich}, title = {A Formal Treatment of Bidirectional Typing}, booktitle = {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}}, series = {Lecture Notes in Computer Science}, volume = {14576}, pages = {115--142}, publisher = {Springer}, year = {2024}, url = {https://doi.org/10.1007/978-3-031-57262-3\_5}, doi = {10.1007/978-3-031-57262-3\_5}, timestamp = {Sat, 08 Jun 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/esop/ChenK24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/esop/CohenCM24, author = {Cyril Cohen and Enzo Crance and Assia Mahboubi}, editor = {Stephanie Weirich}, title = {Trocq: Proof Transfer for Free, With or Without Univalence}, booktitle = {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}}, series = {Lecture Notes in Computer Science}, volume = {14576}, pages = {239--268}, publisher = {Springer}, year = {2024}, url = {https://doi.org/10.1007/978-3-031-57262-3\_10}, doi = {10.1007/978-3-031-57262-3\_10}, timestamp = {Sat, 08 Jun 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/esop/CohenCM24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/esop/CohenCM24a, author = {Cyril Cohen and Enzo Crance and Assia Mahboubi}, editor = {Stephanie Weirich}, title = {Artifact Report: Trocq: Proof Transfer for Free, With or Without Univalence}, booktitle = {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}}, series = {Lecture Notes in Computer Science}, volume = {14576}, pages = {269--274}, publisher = {Springer}, year = {2024}, url = {https://doi.org/10.1007/978-3-031-57262-3\_11}, doi = {10.1007/978-3-031-57262-3\_11}, timestamp = {Sat, 08 Jun 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/esop/CohenCM24a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/esop/Felicissimo24, author = {Thiago Felicissimo}, editor = {Stephanie Weirich}, title = {Generic bidirectional typing for dependent type theories}, booktitle = {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}}, series = {Lecture Notes in Computer Science}, volume = {14576}, pages = {143--170}, publisher = {Springer}, year = {2024}, url = {https://doi.org/10.1007/978-3-031-57262-3\_6}, doi = {10.1007/978-3-031-57262-3\_6}, timestamp = {Sat, 08 Jun 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/esop/Felicissimo24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/esop/Felicissimo24a, author = {Thiago Felicissimo}, editor = {Stephanie Weirich}, title = {Artifact report: Generic bidirectional typing for dependent type theories}, booktitle = {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}}, series = {Lecture Notes in Computer Science}, volume = {14576}, pages = {171--175}, publisher = {Springer}, year = {2024}, url = {https://doi.org/10.1007/978-3-031-57262-3\_7}, doi = {10.1007/978-3-031-57262-3\_7}, timestamp = {Sat, 08 Jun 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/esop/Felicissimo24a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/esop/GavazzoTV24, author = {Francesco Gavazzo and Riccardo Treglia and Gabriele Vanoni}, editor = {Stephanie Weirich}, title = {Monadic Intersection Types, Relationally}, booktitle = {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}}, series = {Lecture Notes in Computer Science}, volume = {14576}, pages = {22--51}, publisher = {Springer}, year = {2024}, url = {https://doi.org/10.1007/978-3-031-57262-3\_2}, doi = {10.1007/978-3-031-57262-3\_2}, timestamp = {Sat, 08 Jun 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/esop/GavazzoTV24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/esop/HuP24, author = {Jason Z. S. Hu and Brigitte Pientka}, editor = {Stephanie Weirich}, title = {Layered Modal Type Theory - Where Meta-programming Meets Intensional Analysis}, booktitle = {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}}, series = {Lecture Notes in Computer Science}, volume = {14576}, pages = {52--82}, publisher = {Springer}, year = {2024}, url = {https://doi.org/10.1007/978-3-031-57262-3\_3}, doi = {10.1007/978-3-031-57262-3\_3}, timestamp = {Sat, 08 Jun 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/esop/HuP24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/esop/HughesO24, author = {Jack Hughes and Dominic Orchard}, editor = {Stephanie Weirich}, title = {Program Synthesis from Graded Types}, booktitle = {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}}, series = {Lecture Notes in Computer Science}, volume = {14576}, pages = {83--112}, publisher = {Springer}, year = {2024}, url = {https://doi.org/10.1007/978-3-031-57262-3\_4}, doi = {10.1007/978-3-031-57262-3\_4}, timestamp = {Sat, 08 Jun 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/esop/HughesO24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/esop/LaurentLM24, author = {Th{\'{e}}o Laurent and Meven Lennon{-}Bertrand and Kenji Maillard}, editor = {Stephanie Weirich}, title = {Definitional Functoriality for Dependent (Sub)Types}, booktitle = {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}}, series = {Lecture Notes in Computer Science}, volume = {14576}, pages = {302--331}, publisher = {Springer}, year = {2024}, url = {https://doi.org/10.1007/978-3-031-57262-3\_13}, doi = {10.1007/978-3-031-57262-3\_13}, timestamp = {Sat, 08 Jun 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/esop/LaurentLM24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/esop/LaurentLM24a, author = {Th{\'{e}}o Laurent and Meven Lennon{-}Bertrand and Kenji Maillard}, editor = {Stephanie Weirich}, title = {Artifact Description - Definitional Functoriality for Dependent (Sub)Types}, booktitle = {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}}, series = {Lecture Notes in Computer Science}, volume = {14576}, pages = {332--337}, publisher = {Springer}, year = {2024}, url = {https://doi.org/10.1007/978-3-031-57262-3\_14}, doi = {10.1007/978-3-031-57262-3\_14}, timestamp = {Sat, 08 Jun 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/esop/LaurentLM24a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/esop/LiSW24, author = {Elaine Li and Felix Stutz and Thomas Wies}, editor = {Stephanie Weirich}, title = {Deciding Subtyping for Asynchronous Multiparty Sessions}, booktitle = {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}}, series = {Lecture Notes in Computer Science}, volume = {14576}, pages = {176--205}, publisher = {Springer}, year = {2024}, url = {https://doi.org/10.1007/978-3-031-57262-3\_8}, doi = {10.1007/978-3-031-57262-3\_8}, timestamp = {Sat, 08 Jun 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/esop/LiSW24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/esop/LindleyMMSWY24, author = {Sam Lindley and Cristina Matache and Sean K. Moss and Sam Staton and Nicolas Wu and Zhixuan Yang}, editor = {Stephanie Weirich}, title = {Scoped Effects as Parameterized Algebraic Theories}, booktitle = {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}}, series = {Lecture Notes in Computer Science}, volume = {14576}, pages = {3--21}, publisher = {Springer}, year = {2024}, url = {https://doi.org/10.1007/978-3-031-57262-3\_1}, doi = {10.1007/978-3-031-57262-3\_1}, timestamp = {Sat, 08 Jun 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/esop/LindleyMMSWY24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/esop/PujetT24, author = {Lo{\"{\i}}c Pujet and Nicolas Tabareau}, editor = {Stephanie Weirich}, title = {Observational Equality Meets {CIC}}, booktitle = {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}}, series = {Lecture Notes in Computer Science}, volume = {14576}, pages = {275--301}, publisher = {Springer}, year = {2024}, url = {https://doi.org/10.1007/978-3-031-57262-3\_12}, doi = {10.1007/978-3-031-57262-3\_12}, timestamp = {Sat, 08 Jun 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/esop/PujetT24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/esop/2024-1, editor = {Stephanie Weirich}, title = {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}}, series = {Lecture Notes in Computer Science}, volume = {14576}, publisher = {Springer}, year = {2024}, url = {https://doi.org/10.1007/978-3-031-57262-3}, doi = {10.1007/978-3-031-57262-3}, isbn = {978-3-031-57261-6}, timestamp = {Sat, 08 Jun 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/esop/2024-1.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
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.