default search action
PPDP 2021: Tallinn, Estonia
- Niccolò Veltri, Nick Benton, Silvia Ghilezan
:
PPDP 2021: 23rd International Symposium on Principles and Practice of Declarative Programming, Tallinn, Estonia, September 6-8, 2021. ACM 2021, ISBN 978-1-4503-8689-0 - Marco Gaboardi
Programming Languages Techniques for Controlling Generalization Errors in Adaptive Data Analysis. 1:1 - Stephen Wolfram:
The Computational Structure of Programs and the Universe. 2:1 - Bernardo Toninho
A Decade of Dependent Session Types. 3:1-3:3 - Dariusz Biernacki, Mateusz Pyzik, Filip Sieczkowski
Reflecting Stacked Continuations in a Fine-Grained Direct-Style Reduction Theory. 4:1-4:13 - Ugo de'Liguoro, Riccardo Treglia:
Intersection types for a λ-calculus with global store. 5:1-5:11 - Malgorzata Biernacka
A Derived Reasonable Abstract Machine for Strong Call by Value. 6:1-6:14 - Abhishek De, Luc Pellissier, Alexis Saurin:
Canonical proof-objects for coinductive programming: infinets with infinitely many cuts. 7:1-7:15 - Gaspard Férey, Jean-Pierre Jouannaud:
Confluence in Non-Left-Linear Untyped Higher-Order Rewrite Theories. 8:1-8:14 - Horatiu Cirstea, Pierre Lermusiaux
Static analysis of pattern-free properties. 9:1-9:13 - Rachid Echahed, Mnacho Echenim, Mehdi Mhalla, Nicolas Peltier:
A Superposition-Based Calculus for Diagrammatic Reasoning. 10:1-10:13 - Kwanghoon Choi, James Cheney, Sam Lindley
A Typed Slicing Compilation of the Polymorphic RPC calculus. 11:1-11:15 - Alen Arslanagic
Minimal Session Types for the π-calculus. 12:1-12:15 - Jayanth Krishnamurthy, Manuel Serrano:
Causality Error Tracing in HipHop.js. 13:1-13:13 - Jan C. Dageförde, Hendrik Winkelmann
Free Objects in Constraint-logic Object-oriented Programming. 14:1-14:13 - Joosep Jääger, Alisa Pankova:
PrivaLog: a Privacy-aware Logic Programming Language. 15:1-15:14 - Jonas Böhm, Michael Hanus
From Non-determinism to Goroutines: A Fair Implementation of Curry in Go. 16:1-16:15 - Ieva Daukantas, Alessandro Bruni, Carsten Schürmann:
Trimming Data Sets: a Verified Algorithm for Robust Mean Estimation. 17:1-17:9 - Serdar Erbatur, Ulrich Schöpp
Type-based Enforcement of Infinitary Trace Properties for Java. 18:1-18:14 - Mathias Jakobsen, Alice Ravier, Ornela Dardha:
Papaya: Global Typestate Analysis of Aliased Objects. 19:1-19:13 - David Zhao
Towards Elastic Incrementalization for Datalog. 20:1-20:16 - Luís Carvalho, João Costa Seco
Deep Semantic Versioning for Evolution and Variability. 21:1-21:13 - William L. Harrison, Chris Hathhorn
A Mechanized Semantic Metalanguage for High Level Synthesis. 22:1-22:14 - Paul D. Rowe, John D. Ramsdell, Ian D. Kretz
Automated Trust Analysis of Copland Specifications for Layered Attestations✱. 23:1-23:15
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 2024-11-19 20:51 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: