![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
32nd ESOP@ETAPS 2023: Paris, France
- Thomas Wies
:
Programming Languages and Systems - 32nd European Symposium on Programming, ESOP 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings. Lecture Notes in Computer Science 13990, Springer 2023, ISBN 978-3-031-30043-1 - Flavio Ascari, Roberto Bruni, Roberta Gori:
Logics for Extensional, Locally Complete Analysis via Domain Refinements. 1-27 - Michael Schwarz, Simmo Saan, Helmut Seidl, Julian Erhard, Vesal Vojdani:
Clustered Relational Thread-Modular Abstract Interpretation with Local Traces. 28-58 - Soline Ducousso, Sébastien Bardin, Marie-Laure Potet:
Adversarial Reachability for Program-level Security Analysis. 59-89 - Su-Hyeon Kim
, Youngwook Kim
, Yo-Sub Han
, Hyeonseung Im
, Sang-Ki Ko
:
Automated Grading of Regular Expressions. 90-112 - Guillaume Allais
:
Builtin Types Viewed as Inductive Families. 113-139 - Wenjia Ye, Bruno C. d. S. Oliveira:
Pragmatic Gradual Polymorphism with References. 140-167 - Farzaneh Derakhshan, Myra Dotzel, Milijana Surbatovich
, Limin Jia
:
Modal Crash Types for Intermittent Computing. 168-196 - Momoko Hattori, Naoki Kobayashi
, Ryosuke Sato
:
Gradual Tensor Shape Checking. 197-224 - Paulo Emílio de Vilhena, François Pottier:
A Type System for Effect Handlers and Dynamic Labels. 225-252 - Alexander Knapp
, Heribert Mühlberger, Bernhard Reus
:
Interpreting Knowledge-based Programs. 253-280 - Yuito Murase
, Yuichi Nishiwaki
, Atsushi Igarashi
:
Contextual Modal Type Theory with Polymorphic Contexts. 281-308 - Todd Schmid
, Tobias Kappé
, Alexandra Silva
:
A Complete Inference System for Skip-free Guarded Kleene Algebra with Tests. 309-336 - Berk Çirisci
, Constantin Enea
, Suha Orhun Mutluergil
:
Quorum Tree Abstractions of Consensus Protocols. 337-362 - Matthew Alan Le Brun
, Ornela Dardha
:
MAGπ: Types for Failure-Prone Communication. 363-391 - Diogo Poças
, Diana Costa
, Andreia Mordido
, Vasco T. Vasconcelos
:
System Fμ ømega with Context-free Session Types. 392-420 - Pedro Rocha, Luís Caires:
Safe Session-Based Concurrency with Shared Linear State. 421-450 - june wunder
, Arthur Azevedo de Amorim, Patrick Baillot, Marco Gaboardi:
Bunched Fuzz: Sensitivity for Vector Metrics. 451-478 - Basim Khajwal, C.-H. Luke Ong
, Dominik Wagner
:
Fast and Correct Gradient-Based Optimisation for Probabilistic Programming via Smoothing. 479-506 - Liliane-Joy Dandy, Emmanuel Jeandel, Vladimir Zamdzhiev:
Type-safe Quantum Programming in Idris. 507-534 - Daniel Lundén
, Gizem Çaylak
, Fredrik Ronquist
, David Broman
:
Automatic Alignment in Higher-Order Probabilistic Programming Languages. 535-563
![](https://dblp.dagstuhl.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.