Abstract is missing.
- Issues in ethical data managementSerge Abiteboul. 1 [doi]
- Programming by examples: applications, algorithms, and ambiguity resolutionSumit Gulwani. 2 [doi]
- A verification technique for deterministic parallel programsMarieke Huisman. 3 [doi]
- Environments and the complexity of abstract machinesBeniamino Accattoli, Bruno Barras. 4-16 [doi]
- Conditional narrowing modulo SMT and axiomsLuis Aguirre, Narciso Martí-Oliet, Miguel Palomino, Isabel Pita. 17-28 [doi]
- Accessing biological data as Prolog factsNicos Angelopoulos, Jan Wielemaker. 29-38 [doi]
- Attribute grammars with set attributes and global constraints as a unifying framework for planning domain modelsRoman Barták, Adrien Maillard. 39-48 [doi]
- Shrink fast correctly!Olivier Savary Bélanger, Andrew W. Appel. 49-60 [doi]
- Function definitions for compound values in object-oriented languagesJacek Chrzaszcz, Aleksy Schubert. 61-72 [doi]
- Verifiable semantic difference languagesThibaut Girka, David Mentré, Yann Régis-Gianas. 73-84 [doi]
- Theory learning with symmetry breakingJacob M. Howe, Edward Robbins, Andy King. 85-96 [doi]
- Copattern matching and first-class observations in OCaml, with a macroPaul Laforgue, Yann Régis-Gianas. 97-108 [doi]
- Practical evaluation of the Lasp programming model at large scale: an experience reportChristopher S. Meiklejohn, Vitor Enes, Junghun Yoo, Carlos Baquero, Peter Van Roy, Annette Bieniusa. 109-114 [doi]
- Selective unification in constraint logic programmingFred Mesnard, Étienne Payet, Germán Vidal. 115-126 [doi]
- Causally consistent reversible choreographies: a monitors-as-memories approachClaudio Antares Mezzina, Jorge A. Pérez. 127-138 [doi]
- Machine fusion: merging merges, more or lessAmos Robinson, Ben Lippmeier. 139-150 [doi]
- Alpha-renaming of higher-order meta-expressionsDavid Sabel. 151-162 [doi]
- Characterization of strong normalizability for a sequent lambda calculus with co-controlJosé Espírito Santo, Silvia Ghilezan. 163-174 [doi]
- Defunctionalisation as modular closure conversionUlrich Schöpp. 175-186 [doi]
- A core calculus for provenance inspectionWilmer Ricciotti. 187-198 [doi]
- Expressive and strongly type-safe code generationThomas Winant, Jesper Cockx, Dominique Devriese. 199-210 [doi]