Abstract is missing.
- Deep Semantic Versioning for Evolution and VariabilityLuis Carvalho, João Costa Seco. [doi]
- A Superposition-Based Calculus for Diagrammatic ReasoningRachid Echahed, Mnacho Echenim, Mehdi Mhalla, Nicolas Peltier. [doi]
- Trimming Data Sets: a Verified Algorithm for Robust Mean EstimationIeva Daukantas, Alessandro Bruni, Carsten Schürmann. [doi]
- Automated Trust Analysis of Copland Specifications for Layered Attestations✱Paul D. Rowe, John D. Ramsdell, Ian D. Kretz. [doi]
- A Mechanized Semantic Metalanguage for High Level SynthesisWilliam L. Harrison, Chris Hathhorn, Gerard Allwein. [doi]
- Static analysis of pattern-free propertiesHoratiu Cirstea, Pierre Lermusiaux, Pierre-Etienne Moreau. [doi]
- Causality Error Tracing in HipHop.jsJayanth Krishnamurthy, Manuel Serrano. [doi]
- Reflecting Stacked Continuations in a Fine-Grained Direct-Style Reduction TheoryDariusz Biernacki, Mateusz Pyzik, Filip Sieczkowski. [doi]
- Confluence in Non-Left-Linear Untyped Higher-Order Rewrite TheoriesGaspard Férey, Jean-Pierre Jouannaud. [doi]
- Programming Languages Techniques for Controlling Generalization Errors in Adaptive Data AnalysisMarco Gaboardi. [doi]
- Towards Elastic Incrementalization for DatalogDavid Zhao, Pavle Subotic, Mukund Raghothaman, Bernhard Scholz. [doi]
- Papaya: Global Typestate Analysis of Aliased ObjectsMathias Jakobsen, Alice Ravier, Ornela Dardha. [doi]
- Minimal Session Types for the π-calculusAlen Arslanagic, Anda-Amelia Palamariuc, Jorge A. Pérez 0001. [doi]
- The Computational Structure of Programs and the UniverseStephen Wolfram. [doi]
- A Typed Slicing Compilation of the Polymorphic RPC calculusKwanghoon Choi 0001, James Cheney, Sam Lindley, Bob Reynders. [doi]
- A Decade of Dependent Session TypesBernardo Toninho, Luís Caires, Frank Pfenning. [doi]
- Canonical proof-objects for coinductive programming: infinets with infinitely many cutsAbhishek De 0001, Luc Pellissier, Alexis Saurin. [doi]
- Free Objects in Constraint-logic Object-oriented ProgrammingJan C. Dageförde, Hendrik Winkelmann, Herbert Kuchen. [doi]
- From Non-determinism to Goroutines: A Fair Implementation of Curry in GoJonas Böhm, Michael Hanus, Finn Teegen. [doi]
- Type-based Enforcement of Infinitary Trace Properties for JavaSerdar Erbatur, Ulrich Schöpp, Chuangjie Xu. [doi]
- PrivaLog: a Privacy-aware Logic Programming LanguageJoosep Jääger, Alisa Pankova. [doi]
- A Derived Reasonable Abstract Machine for Strong Call by ValueMalgorzata Biernacka, Witold Charatonik, Tomasz Drab. [doi]
- Intersection types for a λ-calculus with global storeUgo de'Liguoro, Riccardo Treglia. [doi]