default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID32nd 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
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.
last updated on 2025-02-11 23:49 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
