@Proceedings{ali_et_al:LIPIcs.ECOOP.2023,
title = {{LIPIcs, Volume 263, ECOOP 2023, Complete Volume}},
booktitle = {37th European Conference on Object-Oriented Programming (ECOOP 2023)},
pages = {1--1288},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-281-5},
ISSN = {1868-8969},
year = {2023},
volume = {263},
editor = {Ali, Karim and Salvaneschi, Guido},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2023},
URN = {urn:nbn:de:0030-drops-181924},
doi = {10.4230/LIPIcs.ECOOP.2023},
annote = {Keywords: LIPIcs, Volume 263, ECOOP 2023, Complete Volume}
}
@InProceedings{ali_et_al:LIPIcs.ECOOP.2023.0,
author = {Ali, Karim and Salvaneschi, Guido},
title = {{Front Matter, Table of Contents, Preface, Conference Organization}},
booktitle = {37th European Conference on Object-Oriented Programming (ECOOP 2023)},
pages = {0:i--0:xx},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-281-5},
ISSN = {1868-8969},
year = {2023},
volume = {263},
editor = {Ali, Karim and Salvaneschi, Guido},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2023.0},
URN = {urn:nbn:de:0030-drops-181932},
doi = {10.4230/LIPIcs.ECOOP.2023.0},
annote = {Keywords: Front Matter, Table of Contents, Preface, Conference Organization}
}
@InProceedings{barwell_et_al:LIPIcs.ECOOP.2023.1,
author = {Barwell, Adam D. and Hou, Ping and Yoshida, Nobuko and Zhou, Fangyi},
title = {{Designing Asynchronous Multiparty Protocols with Crash-Stop Failures}},
booktitle = {37th European Conference on Object-Oriented Programming (ECOOP 2023)},
pages = {1:1--1:30},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-281-5},
ISSN = {1868-8969},
year = {2023},
volume = {263},
editor = {Ali, Karim and Salvaneschi, Guido},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2023.1},
URN = {urn:nbn:de:0030-drops-181944},
doi = {10.4230/LIPIcs.ECOOP.2023.1},
annote = {Keywords: Session Types, Concurrency, Failure Handling, Code Generation, Scala}
}
@InProceedings{bauwens_et_al:LIPIcs.ECOOP.2023.2,
author = {Bauwens, Jim and Gonzalez Boix, Elisa},
title = {{Nested Pure Operation-Based CRDTs}},
booktitle = {37th European Conference on Object-Oriented Programming (ECOOP 2023)},
pages = {2:1--2:26},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-281-5},
ISSN = {1868-8969},
year = {2023},
volume = {263},
editor = {Ali, Karim and Salvaneschi, Guido},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2023.2},
URN = {urn:nbn:de:0030-drops-181950},
doi = {10.4230/LIPIcs.ECOOP.2023.2},
annote = {Keywords: CRDTs, replication, pure operation-based CRDTs, composition, nesting}
}
@InProceedings{bianchini_et_al:LIPIcs.ECOOP.2023.3,
author = {Bianchini, Riccardo and Dagnino, Francesco and Giannini, Paola and Zucca, Elena},
title = {{Multi-Graded Featherweight Java}},
booktitle = {37th European Conference on Object-Oriented Programming (ECOOP 2023)},
pages = {3:1--3:27},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-281-5},
ISSN = {1868-8969},
year = {2023},
volume = {263},
editor = {Ali, Karim and Salvaneschi, Guido},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2023.3},
URN = {urn:nbn:de:0030-drops-181960},
doi = {10.4230/LIPIcs.ECOOP.2023.3},
annote = {Keywords: Graded modal types, Java}
}
@InProceedings{botelhoguerra_et_al:LIPIcs.ECOOP.2023.4,
author = {Botelho Guerra, Henrique and Ferreira, Jo\~{a}o F. and Costa Seco, Jo\~{a}o},
title = {{Hoogle⋆: Constants and \lambda-abstractions in Petri-net-based Synthesis using Symbolic Execution}},
booktitle = {37th European Conference on Object-Oriented Programming (ECOOP 2023)},
pages = {4:1--4:28},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-281-5},
ISSN = {1868-8969},
year = {2023},
volume = {263},
editor = {Ali, Karim and Salvaneschi, Guido},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2023.4},
URN = {urn:nbn:de:0030-drops-181974},
doi = {10.4230/LIPIcs.ECOOP.2023.4},
annote = {Keywords: Type-directed, component-based, program synthesis, symbolic execution, unification, Haskell}
}
@InProceedings{brandl_et_al:LIPIcs.ECOOP.2023.5,
author = {Brandl, Katharina and Erdweg, Sebastian and Keidel, Sven and Hansen, Nils},
title = {{Modular Abstract Definitional Interpreters for WebAssembly}},
booktitle = {37th European Conference on Object-Oriented Programming (ECOOP 2023)},
pages = {5:1--5:28},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-281-5},
ISSN = {1868-8969},
year = {2023},
volume = {263},
editor = {Ali, Karim and Salvaneschi, Guido},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2023.5},
URN = {urn:nbn:de:0030-drops-181982},
doi = {10.4230/LIPIcs.ECOOP.2023.5},
annote = {Keywords: Static Analysis, WebAssembly}
}
@InProceedings{castroperez_et_al:LIPIcs.ECOOP.2023.6,
author = {Castro-Perez, David and Yoshida, Nobuko},
title = {{Dynamically Updatable Multiparty Session Protocols: Generating Concurrent Go Code from Unbounded Protocols}},
booktitle = {37th European Conference on Object-Oriented Programming (ECOOP 2023)},
pages = {6:1--6:30},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-281-5},
ISSN = {1868-8969},
year = {2023},
volume = {263},
editor = {Ali, Karim and Salvaneschi, Guido},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2023.6},
URN = {urn:nbn:de:0030-drops-181995},
doi = {10.4230/LIPIcs.ECOOP.2023.6},
annote = {Keywords: Multiparty Session Types, Correctness-by-construction, Concurrency, Golang}
}
@InProceedings{cruzfilipe_et_al:LIPIcs.ECOOP.2023.7,
author = {Cruz-Filipe, Lu{\'\i}s and Graversen, Eva and Lugovi\'{c}, Lovro and Montesi, Fabrizio and Peressotti, Marco},
title = {{Modular Compilation for Higher-Order Functional Choreographies}},
booktitle = {37th European Conference on Object-Oriented Programming (ECOOP 2023)},
pages = {7:1--7:37},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-281-5},
ISSN = {1868-8969},
year = {2023},
volume = {263},
editor = {Ali, Karim and Salvaneschi, Guido},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2023.7},
URN = {urn:nbn:de:0030-drops-182005},
doi = {10.4230/LIPIcs.ECOOP.2023.7},
annote = {Keywords: Choreographies, Concurrency, \lambda-calculus, Type Systems}
}
@InProceedings{demuijnckhughes_et_al:LIPIcs.ECOOP.2023.8,
author = {de Muijnck-Hughes, Jan and Vanderbauwhede, Wim},
title = {{Wiring Circuits Is Easy as \{0,1,\omega\}, or Is It...}},
booktitle = {37th European Conference on Object-Oriented Programming (ECOOP 2023)},
pages = {8:1--8:28},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-281-5},
ISSN = {1868-8969},
year = {2023},
volume = {263},
editor = {Ali, Karim and Salvaneschi, Guido},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2023.8},
URN = {urn:nbn:de:0030-drops-182010},
doi = {10.4230/LIPIcs.ECOOP.2023.8},
annote = {Keywords: Hardware Design, Linear Types, Dependent Types, DSLs, Idris, SystemVerilog, Netlists}
}
@InProceedings{deporre_et_al:LIPIcs.ECOOP.2023.9,
author = {De Porre, Kevin and Ferreira, Carla and Gonzalez Boix, Elisa},
title = {{VeriFx: Correct Replicated Data Types for the Masses}},
booktitle = {37th European Conference on Object-Oriented Programming (ECOOP 2023)},
pages = {9:1--9:45},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-281-5},
ISSN = {1868-8969},
year = {2023},
volume = {263},
editor = {Ali, Karim and Salvaneschi, Guido},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2023.9},
URN = {urn:nbn:de:0030-drops-182028},
doi = {10.4230/LIPIcs.ECOOP.2023.9},
annote = {Keywords: distributed systems, eventual consistency, replicated data types, verification}
}
@InProceedings{dietrich_et_al:LIPIcs.ECOOP.2023.10,
author = {Dietrich, Jens and Pearce, David J. and Chandramohan, Mahin},
title = {{On Leveraging Tests to Infer Nullable Annotations}},
booktitle = {37th European Conference on Object-Oriented Programming (ECOOP 2023)},
pages = {10:1--10:25},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-281-5},
ISSN = {1868-8969},
year = {2023},
volume = {263},
editor = {Ali, Karim and Salvaneschi, Guido},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2023.10},
URN = {urn:nbn:de:0030-drops-182037},
doi = {10.4230/LIPIcs.ECOOP.2023.10},
annote = {Keywords: null analysis, null safety, testing, program analysis}
}
@InProceedings{fan_et_al:LIPIcs.ECOOP.2023.11,
author = {Fan, Andong and Parreaux, Lionel},
title = {{super-Charging Object-Oriented Programming Through Precise Typing of Open Recursion}},
booktitle = {37th European Conference on Object-Oriented Programming (ECOOP 2023)},
pages = {11:1--11:28},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-281-5},
ISSN = {1868-8969},
year = {2023},
volume = {263},
editor = {Ali, Karim and Salvaneschi, Guido},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2023.11},
URN = {urn:nbn:de:0030-drops-182047},
doi = {10.4230/LIPIcs.ECOOP.2023.11},
annote = {Keywords: Object-Oriented Programming, the Expression Problem, Open Recursion}
}
@InProceedings{haas_et_al:LIPIcs.ECOOP.2023.12,
author = {Haas, Julian and Mogk, Ragnar and Yanakieva, Elena and Bieniusa, Annette and Mezini, Mira},
title = {{LoRe: A Programming Model for Verifiably Safe Local-First Software (Extended Abstract)}},
booktitle = {37th European Conference on Object-Oriented Programming (ECOOP 2023)},
pages = {12:1--12:15},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-281-5},
ISSN = {1868-8969},
year = {2023},
volume = {263},
editor = {Ali, Karim and Salvaneschi, Guido},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2023.12},
URN = {urn:nbn:de:0030-drops-182056},
doi = {10.4230/LIPIcs.ECOOP.2023.12},
annote = {Keywords: Local-First Software, Reactive Programming, Invariants, Consistency, Automated Verification}
}
@InProceedings{jin_et_al:LIPIcs.ECOOP.2023.13,
author = {Jin, Feiyang and Yu, Lechen and Cogumbreiro, Tiago and Shirako, Jun and Sarkar, Vivek},
title = {{Dynamic Determinacy Race Detection for Task-Parallel Programs with Promises}},
booktitle = {37th European Conference on Object-Oriented Programming (ECOOP 2023)},
pages = {13:1--13:30},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-281-5},
ISSN = {1868-8969},
year = {2023},
volume = {263},
editor = {Ali, Karim and Salvaneschi, Guido},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2023.13},
URN = {urn:nbn:de:0030-drops-182060},
doi = {10.4230/LIPIcs.ECOOP.2023.13},
annote = {Keywords: Race detection, Promise, Determinism, Determinacy-race, Serial projection}
}
@InProceedings{kuessner_et_al:LIPIcs.ECOOP.2023.14,
author = {Kuessner, Christian and Mogk, Ragnar and Wickert, Anna-Katharina and Mezini, Mira},
title = {{Algebraic Replicated Data Types: Programming Secure Local-First Software}},
booktitle = {37th European Conference on Object-Oriented Programming (ECOOP 2023)},
pages = {14:1--14:33},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-281-5},
ISSN = {1868-8969},
year = {2023},
volume = {263},
editor = {Ali, Karim and Salvaneschi, Guido},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2023.14},
URN = {urn:nbn:de:0030-drops-182076},
doi = {10.4230/LIPIcs.ECOOP.2023.14},
annote = {Keywords: local-first, data privacy, coordination freedom, CRDTs, AEAD}
}
@InProceedings{kuhn_et_al:LIPIcs.ECOOP.2023.15,
author = {Kuhn, Roland and Melgratti, Hern\'{a}n and Tuosto, Emilio},
title = {{Behavioural Types for Local-First Software}},
booktitle = {37th European Conference on Object-Oriented Programming (ECOOP 2023)},
pages = {15:1--15:28},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-281-5},
ISSN = {1868-8969},
year = {2023},
volume = {263},
editor = {Ali, Karim and Salvaneschi, Guido},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2023.15},
URN = {urn:nbn:de:0030-drops-182086},
doi = {10.4230/LIPIcs.ECOOP.2023.15},
annote = {Keywords: Distributed coordination, local-first software, behavioural types, publish-subscribe, asynchronous communication}
}
@InProceedings{li_et_al:LIPIcs.ECOOP.2023.16,
author = {Li, Yannan and Wang, Chao},
title = {{Constraint Based Compiler Optimization for Energy Harvesting Applications}},
booktitle = {37th European Conference on Object-Oriented Programming (ECOOP 2023)},
pages = {16:1--16:29},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-281-5},
ISSN = {1868-8969},
year = {2023},
volume = {263},
editor = {Ali, Karim and Salvaneschi, Guido},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2023.16},
URN = {urn:nbn:de:0030-drops-182096},
doi = {10.4230/LIPIcs.ECOOP.2023.16},
annote = {Keywords: Compiler, energy optimization, constraint solving, cryptography, IoT}
}
@InProceedings{madsen_et_al:LIPIcs.ECOOP.2023.17,
author = {Madsen, Magnus and Starup, Jonathan Lindegaard and Lutze, Matthew},
title = {{Restrictable Variants: A Simple and Practical Alternative to Extensible Variants}},
booktitle = {37th European Conference on Object-Oriented Programming (ECOOP 2023)},
pages = {17:1--17:27},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-281-5},
ISSN = {1868-8969},
year = {2023},
volume = {263},
editor = {Ali, Karim and Salvaneschi, Guido},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2023.17},
URN = {urn:nbn:de:0030-drops-182109},
doi = {10.4230/LIPIcs.ECOOP.2023.17},
annote = {Keywords: restrictable variants, extensible variants, refinement types, Boolean unification}
}
@InProceedings{madsen_et_al:LIPIcs.ECOOP.2023.18,
author = {Madsen, Magnus and van de Pol, Jaco},
title = {{Programming with Purity Reflection: Peaceful Coexistence of Effects, Laziness, and Parallelism}},
booktitle = {37th European Conference on Object-Oriented Programming (ECOOP 2023)},
pages = {18:1--18:27},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-281-5},
ISSN = {1868-8969},
year = {2023},
volume = {263},
editor = {Ali, Karim and Salvaneschi, Guido},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2023.18},
URN = {urn:nbn:de:0030-drops-182112},
doi = {10.4230/LIPIcs.ECOOP.2023.18},
annote = {Keywords: type and effect systems, purity reflection, lazy evaluation, parallel evaluation}
}
@InProceedings{maksimovic_et_al:LIPIcs.ECOOP.2023.19,
author = {Maksimovi\'{c}, Petar and Cronj\"{a}ger, Caroline and L\"{o}\"{o}w, Andreas and Sutherland, Julian and Gardner, Philippa},
title = {{Exact Separation Logic: Towards Bridging the Gap Between Verification and Bug-Finding}},
booktitle = {37th European Conference on Object-Oriented Programming (ECOOP 2023)},
pages = {19:1--19:27},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-281-5},
ISSN = {1868-8969},
year = {2023},
volume = {263},
editor = {Ali, Karim and Salvaneschi, Guido},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2023.19},
URN = {urn:nbn:de:0030-drops-182123},
doi = {10.4230/LIPIcs.ECOOP.2023.19},
annote = {Keywords: Separation logic, program correctness, program incorrectness, abstraction}
}
@InProceedings{mishra_et_al:LIPIcs.ECOOP.2023.20,
author = {Mishra, Ashish and Jagannathan, Suresh},
title = {{Morpheus: Automated Safety Verification of Data-Dependent Parser Combinator Programs}},
booktitle = {37th European Conference on Object-Oriented Programming (ECOOP 2023)},
pages = {20:1--20:27},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-281-5},
ISSN = {1868-8969},
year = {2023},
volume = {263},
editor = {Ali, Karim and Salvaneschi, Guido},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2023.20},
URN = {urn:nbn:de:0030-drops-182138},
doi = {10.4230/LIPIcs.ECOOP.2023.20},
annote = {Keywords: Parsers, Verification, Domain-specific languages, Functional programming, Refinement types, Type systems}
}
@InProceedings{moeller_et_al:LIPIcs.ECOOP.2023.21,
author = {Moeller, Mark and Wiener, Thomas and Solko-Breslin, Alaia and Koch, Caleb and Foster, Nate and Silva, Alexandra},
title = {{Automata Learning with an Incomplete Teacher}},
booktitle = {37th European Conference on Object-Oriented Programming (ECOOP 2023)},
pages = {21:1--21:30},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-281-5},
ISSN = {1868-8969},
year = {2023},
volume = {263},
editor = {Ali, Karim and Salvaneschi, Guido},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2023.21},
URN = {urn:nbn:de:0030-drops-182145},
doi = {10.4230/LIPIcs.ECOOP.2023.21},
annote = {Keywords: Finite Automata, Active Learning, SMT Solvers}
}
@InProceedings{nieto_et_al:LIPIcs.ECOOP.2023.22,
author = {Nieto, Abel and Daby-Seesaram, Arnaud and Gondelman, L\'{e}on and Timany, Amin and Birkedal, Lars},
title = {{Modular Verification of State-Based CRDTs in Separation Logic}},
booktitle = {37th European Conference on Object-Oriented Programming (ECOOP 2023)},
pages = {22:1--22:27},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-281-5},
ISSN = {1868-8969},
year = {2023},
volume = {263},
editor = {Ali, Karim and Salvaneschi, Guido},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2023.22},
URN = {urn:nbn:de:0030-drops-182154},
doi = {10.4230/LIPIcs.ECOOP.2023.22},
annote = {Keywords: separation logic, distributed systems, CRDT, replicated data type, formal verification}
}
@InProceedings{olivieri_et_al:LIPIcs.ECOOP.2023.23,
author = {Olivieri, Luca and Negrini, Luca and Arceri, Vincenzo and Tagliaferro, Fabio and Ferrara, Pietro and Cortesi, Agostino and Spoto, Fausto},
title = {{Information Flow Analysis for Detecting Non-Determinism in Blockchain}},
booktitle = {37th European Conference on Object-Oriented Programming (ECOOP 2023)},
pages = {23:1--23:25},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-281-5},
ISSN = {1868-8969},
year = {2023},
volume = {263},
editor = {Ali, Karim and Salvaneschi, Guido},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2023.23},
URN = {urn:nbn:de:0030-drops-182167},
doi = {10.4230/LIPIcs.ECOOP.2023.23},
annote = {Keywords: Static Analysis, Program Verification, Non-determinism, Blockchain, Smart contracts, DApps, Go language}
}
@InProceedings{ramos_et_al:LIPIcs.ECOOP.2023.24,
author = {Ramos, Frederico and Sabino, Nuno and Ad\~{a}o, Pedro and Naumann, David A. and Fragoso Santos, Jos\'{e}},
title = {{Toward Tool-Independent Summaries for Symbolic Execution}},
booktitle = {37th European Conference on Object-Oriented Programming (ECOOP 2023)},
pages = {24:1--24:29},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-281-5},
ISSN = {1868-8969},
year = {2023},
volume = {263},
editor = {Ali, Karim and Salvaneschi, Guido},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2023.24},
URN = {urn:nbn:de:0030-drops-182171},
doi = {10.4230/LIPIcs.ECOOP.2023.24},
annote = {Keywords: Symbolic Execution, Runtime Modelling, Symbolic Summaries}
}
@InProceedings{richter_et_al:LIPIcs.ECOOP.2023.25,
author = {Richter, David and B\"{o}hler, Timon and Weisenburger, Pascal and Mezini, Mira},
title = {{A Direct-Style Effect Notation for Sequential and Parallel Programs}},
booktitle = {37th European Conference on Object-Oriented Programming (ECOOP 2023)},
pages = {25:1--25:22},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-281-5},
ISSN = {1868-8969},
year = {2023},
volume = {263},
editor = {Ali, Karim and Salvaneschi, Guido},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2023.25},
URN = {urn:nbn:de:0030-drops-182181},
doi = {10.4230/LIPIcs.ECOOP.2023.25},
annote = {Keywords: do-notation, parallelism, concurrency, effects}
}
@InProceedings{rumsevicius_et_al:LIPIcs.ECOOP.2023.26,
author = {Rumsevicius, Ugnius and Venkateshwaran, Siddhanth and Kidane, Ellen and Pina, Lu{\'\i}s},
title = {{Sinatra: Stateful Instantaneous Updates for Commercial Browsers Through Multi-Version eXecution}},
booktitle = {37th European Conference on Object-Oriented Programming (ECOOP 2023)},
pages = {26:1--26:29},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-281-5},
ISSN = {1868-8969},
year = {2023},
volume = {263},
editor = {Ali, Karim and Salvaneschi, Guido},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2023.26},
URN = {urn:nbn:de:0030-drops-182190},
doi = {10.4230/LIPIcs.ECOOP.2023.26},
annote = {Keywords: Internet browsers, dynamic software updating, multi-version execution}
}
@InProceedings{shahrokhi_et_al:LIPIcs.ECOOP.2023.27,
author = {Shahrokhi, Hesam and Shaikhha, Amir},
title = {{An Efficient Vectorized Hash Table for Batch Computations}},
booktitle = {37th European Conference on Object-Oriented Programming (ECOOP 2023)},
pages = {27:1--27:27},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-281-5},
ISSN = {1868-8969},
year = {2023},
volume = {263},
editor = {Ali, Karim and Salvaneschi, Guido},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2023.27},
URN = {urn:nbn:de:0030-drops-182203},
doi = {10.4230/LIPIcs.ECOOP.2023.27},
annote = {Keywords: Hash tables, Vectorization, Parallelization, Prefetching}
}
@InProceedings{shaikhha_et_al:LIPIcs.ECOOP.2023.28,
author = {Shaikhha, Amir and Ghorbani, Mahdi and Shahrokhi, Hesam},
title = {{Hinted Dictionaries: Efficient Functional Ordered Sets and Maps}},
booktitle = {37th European Conference on Object-Oriented Programming (ECOOP 2023)},
pages = {28:1--28:30},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-281-5},
ISSN = {1868-8969},
year = {2023},
volume = {263},
editor = {Ali, Karim and Salvaneschi, Guido},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2023.28},
URN = {urn:nbn:de:0030-drops-182214},
doi = {10.4230/LIPIcs.ECOOP.2023.28},
annote = {Keywords: Functional Collections, Ordered Dictionaries, Sparse Linear Algebra}
}
@InProceedings{silver_et_al:LIPIcs.ECOOP.2023.29,
author = {Silver, Lucas and He, Paul and Cecchetti, Ethan and Hirsch, Andrew K. and Zdancewic, Steve},
title = {{Semantics for Noninterference with Interaction Trees}},
booktitle = {37th European Conference on Object-Oriented Programming (ECOOP 2023)},
pages = {29:1--29:29},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-281-5},
ISSN = {1868-8969},
year = {2023},
volume = {263},
editor = {Ali, Karim and Salvaneschi, Guido},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2023.29},
URN = {urn:nbn:de:0030-drops-182227},
doi = {10.4230/LIPIcs.ECOOP.2023.29},
annote = {Keywords: verification, information-flow, denotational semantics, monads}
}
@InProceedings{silver_et_al:LIPIcs.ECOOP.2023.30,
author = {Silver, Lucas and Westbrook, Eddy and Yacavone, Matthew and Scott, Ryan},
title = {{Interaction Tree Specifications: A Framework for Specifying Recursive, Effectful Computations That Supports Auto-Active Verification}},
booktitle = {37th European Conference on Object-Oriented Programming (ECOOP 2023)},
pages = {30:1--30:26},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-281-5},
ISSN = {1868-8969},
year = {2023},
volume = {263},
editor = {Ali, Karim and Salvaneschi, Guido},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2023.30},
URN = {urn:nbn:de:0030-drops-182239},
doi = {10.4230/LIPIcs.ECOOP.2023.30},
annote = {Keywords: coinduction, specification, verification, monads}
}
@InProceedings{starup_et_al:LIPIcs.ECOOP.2023.31,
author = {Starup, Jonathan Lindegaard and Madsen, Magnus and Lhot\'{a}k, Ond\v{r}ej},
title = {{Breaking the Negative Cycle: Exploring the Design Space of Stratification for First-Class Datalog Constraints}},
booktitle = {37th European Conference on Object-Oriented Programming (ECOOP 2023)},
pages = {31:1--31:28},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-281-5},
ISSN = {1868-8969},
year = {2023},
volume = {263},
editor = {Ali, Karim and Salvaneschi, Guido},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2023.31},
URN = {urn:nbn:de:0030-drops-182244},
doi = {10.4230/LIPIcs.ECOOP.2023.31},
annote = {Keywords: Datalog, first-class Datalog constraints, negation, stratified negation, type system, row polymorphism, the Flix programming language}
}
@InProceedings{stutz:LIPIcs.ECOOP.2023.32,
author = {Stutz, Felix},
title = {{Asynchronous Multiparty Session Type Implementability is Decidable - Lessons Learned from Message Sequence Charts}},
booktitle = {37th European Conference on Object-Oriented Programming (ECOOP 2023)},
pages = {32:1--32:31},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-281-5},
ISSN = {1868-8969},
year = {2023},
volume = {263},
editor = {Ali, Karim and Salvaneschi, Guido},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2023.32},
URN = {urn:nbn:de:0030-drops-182251},
doi = {10.4230/LIPIcs.ECOOP.2023.32},
annote = {Keywords: Multiparty session types, Verification, Message sequence charts}
}
@InProceedings{suchert_et_al:LIPIcs.ECOOP.2023.33,
author = {Suchert, Felix and Zeidler, Lisza and Castrillon, Jeronimo and Ertel, Sebastian},
title = {{ConDRust: Scalable Deterministic Concurrency from Verifiable Rust Programs}},
booktitle = {37th European Conference on Object-Oriented Programming (ECOOP 2023)},
pages = {33:1--33:39},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-281-5},
ISSN = {1868-8969},
year = {2023},
volume = {263},
editor = {Ali, Karim and Salvaneschi, Guido},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2023.33},
URN = {urn:nbn:de:0030-drops-182263},
doi = {10.4230/LIPIcs.ECOOP.2023.33},
annote = {Keywords: concurrent programming, verification, scalability}
}
@InProceedings{tan_et_al:LIPIcs.ECOOP.2023.34,
author = {Tan, Jinhao and Oliveira, Bruno C. d. S.},
title = {{Dependent Merges and First-Class Environments}},
booktitle = {37th European Conference on Object-Oriented Programming (ECOOP 2023)},
pages = {34:1--34:32},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-281-5},
ISSN = {1868-8969},
year = {2023},
volume = {263},
editor = {Ali, Karim and Salvaneschi, Guido},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2023.34},
URN = {urn:nbn:de:0030-drops-182277},
doi = {10.4230/LIPIcs.ECOOP.2023.34},
annote = {Keywords: First-class Environments, Disjointness, Intersection Types}
}
@InProceedings{vangeffen_et_al:LIPIcs.ECOOP.2023.35,
author = {Van Geffen, Jacob and Wang, Xi and Torlak, Emina and Bornholt, James},
title = {{Synthesis-Aided Crash Consistency for Storage Systems}},
booktitle = {37th European Conference on Object-Oriented Programming (ECOOP 2023)},
pages = {35:1--35:26},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-281-5},
ISSN = {1868-8969},
year = {2023},
volume = {263},
editor = {Ali, Karim and Salvaneschi, Guido},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2023.35},
URN = {urn:nbn:de:0030-drops-182285},
doi = {10.4230/LIPIcs.ECOOP.2023.35},
annote = {Keywords: program synthesis, crash consistency, file systems}
}
@InProceedings{wang_et_al:LIPIcs.ECOOP.2023.36,
author = {Wang, Chengpeng and Yao, Peisen and Tang, Wensheng and Fan, Gang and Zhang, Charles},
title = {{Synthesizing Conjunctive Queries for Code Search}},
booktitle = {37th European Conference on Object-Oriented Programming (ECOOP 2023)},
pages = {36:1--36:30},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-281-5},
ISSN = {1868-8969},
year = {2023},
volume = {263},
editor = {Ali, Karim and Salvaneschi, Guido},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2023.36},
URN = {urn:nbn:de:0030-drops-182294},
doi = {10.4230/LIPIcs.ECOOP.2023.36},
annote = {Keywords: Query Synthesis, Multi-modal Program Synthesis, Code Search}
}
@InProceedings{yee_et_al:LIPIcs.ECOOP.2023.37,
author = {Yee, Ming-Ho and Guha, Arjun},
title = {{Do Machine Learning Models Produce TypeScript Types That Type Check?}},
booktitle = {37th European Conference on Object-Oriented Programming (ECOOP 2023)},
pages = {37:1--37:28},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-281-5},
ISSN = {1868-8969},
year = {2023},
volume = {263},
editor = {Ali, Karim and Salvaneschi, Guido},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2023.37},
URN = {urn:nbn:de:0030-drops-182307},
doi = {10.4230/LIPIcs.ECOOP.2023.37},
annote = {Keywords: Type migration, deep learning}
}
@InProceedings{bhatia_et_al:LIPIcs.ECOOP.2023.38,
author = {Bhatia, Sahil and Kohli, Sumer and Seshia, Sanjit A. and Cheung, Alvin},
title = {{Building Code Transpilers for Domain-Specific Languages Using Program Synthesis}},
booktitle = {37th European Conference on Object-Oriented Programming (ECOOP 2023)},
pages = {38:1--38:30},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-281-5},
ISSN = {1868-8969},
year = {2023},
volume = {263},
editor = {Ali, Karim and Salvaneschi, Guido},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2023.38},
URN = {urn:nbn:de:0030-drops-182316},
doi = {10.4230/LIPIcs.ECOOP.2023.38},
annote = {Keywords: Program Synthesis, Code Transpilation, DSLs, Verification}
}
@InProceedings{harris_et_al:LIPIcs.ECOOP.2023.39,
author = {Harris, Sarah and Cooksey, Simon and Vollmer, Michael and Batty, Mark},
title = {{Rust for Morello: Always-On Memory Safety, Even in Unsafe Code}},
booktitle = {37th European Conference on Object-Oriented Programming (ECOOP 2023)},
pages = {39:1--39:27},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-281-5},
ISSN = {1868-8969},
year = {2023},
volume = {263},
editor = {Ali, Karim and Salvaneschi, Guido},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2023.39},
URN = {urn:nbn:de:0030-drops-182322},
doi = {10.4230/LIPIcs.ECOOP.2023.39},
annote = {Keywords: Compilers, Rust, Memory Safety, CHERI}
}
@InProceedings{mota_et_al:LIPIcs.ECOOP.2023.40,
author = {Mota, Jo\~{a}o and Giunti, Marco and Ravara, Ant\'{o}nio},
title = {{On Using VeriFast, VerCors, Plural, and KeY to Check Object Usage}},
booktitle = {37th European Conference on Object-Oriented Programming (ECOOP 2023)},
pages = {40:1--40:29},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-281-5},
ISSN = {1868-8969},
year = {2023},
volume = {263},
editor = {Ali, Karim and Salvaneschi, Guido},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2023.40},
URN = {urn:nbn:de:0030-drops-182330},
doi = {10.4230/LIPIcs.ECOOP.2023.40},
annote = {Keywords: Java, Typestates, VeriFast, VerCors, Plural, KeY}
}
@InProceedings{henniger_et_al:LIPIcs.ECOOP.2023.41,
author = {Henniger, Simon and Amin, Nada},
title = {{The Dolorem Pattern: Growing a Language Through Compile-Time Function Execution}},
booktitle = {37th European Conference on Object-Oriented Programming (ECOOP 2023)},
pages = {41:1--41:27},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-281-5},
ISSN = {1868-8969},
year = {2023},
volume = {263},
editor = {Ali, Karim and Salvaneschi, Guido},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2023.41},
URN = {urn:nbn:de:0030-drops-182343},
doi = {10.4230/LIPIcs.ECOOP.2023.41},
annote = {Keywords: extensible languages, meta programming, macros, program generation, compilation}
}
@InProceedings{jongmans_et_al:LIPIcs.ECOOP.2023.42,
author = {Jongmans, Sung-Shik and Ferreira, Francisco},
title = {{Synthetic Behavioural Typing: Sound, Regular Multiparty Sessions via Implicit Local Types}},
booktitle = {37th European Conference on Object-Oriented Programming (ECOOP 2023)},
pages = {42:1--42:30},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-281-5},
ISSN = {1868-8969},
year = {2023},
volume = {263},
editor = {Ali, Karim and Salvaneschi, Guido},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2023.42},
URN = {urn:nbn:de:0030-drops-182358},
doi = {10.4230/LIPIcs.ECOOP.2023.42},
annote = {Keywords: behavioural types, multiparty session types, choreographies}
}
@InProceedings{raglianti_et_al:LIPIcs.ECOOP.2023.43,
author = {Raglianti, Marco and Nagy, Csaba and Minelli, Roberto and Lin, Bin and Lanza, Michele},
title = {{On the Rise of Modern Software Documentation}},
booktitle = {37th European Conference on Object-Oriented Programming (ECOOP 2023)},
pages = {43:1--43:24},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-281-5},
ISSN = {1868-8969},
year = {2023},
volume = {263},
editor = {Ali, Karim and Salvaneschi, Guido},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2023.43},
URN = {urn:nbn:de:0030-drops-182369},
doi = {10.4230/LIPIcs.ECOOP.2023.43},
annote = {Keywords: software documentation landscape, GitHub README, instant messaging}
}
@InProceedings{roth:LIPIcs.ECOOP.2023.44,
author = {Roth, Ori},
title = {{Python Type Hints Are Turing Complete}},
booktitle = {37th European Conference on Object-Oriented Programming (ECOOP 2023)},
pages = {44:1--44:15},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-281-5},
ISSN = {1868-8969},
year = {2023},
volume = {263},
editor = {Ali, Karim and Salvaneschi, Guido},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2023.44},
URN = {urn:nbn:de:0030-drops-182372},
doi = {10.4230/LIPIcs.ECOOP.2023.44},
annote = {Keywords: nominal Subtyping with Variance, Python}
}
The metadata provided by Dagstuhl Publishing on its webpages, as well as their export formats (such as XML or BibTeX) available at our website, is released under the CC0 1.0 Public Domain Dedication license. That is, you are free to copy, distribute, use, modify, transform, build upon, and produce derived works from our data, even for commercial purposes, all without asking permission. Of course, we are always happy if you provide a link to us as the source of the data.
Read the full CC0 1.0 legal code for the exact terms that apply: https://creativecommons.org/publicdomain/zero/1.0/legalcode
Feedback for Dagstuhl Publishing