| 2020 | A Computational Understanding of Classical (Co)Recursion. Paul Downen, Zena M. Ariola |
| 2020 | A Dependently Typed Linear π-Calculus in Agda. Luca Ciccone, Luca Padovani |
| 2020 | Continuous Verification of Machine Learning: a Declarative Programming Approach. Ekaterina Komendantskaya, Wen Kokke, Daniel Kienitz |
| 2020 | Declarative abstractions for tensor program partitioning. Dimitrios Vytiniotis |
| 2020 | Degrading Lists. Dylan McDermott, Maciej Piróg, Tarmo Uustalu |
| 2020 | Finding Candidate Keys and 3NF via Strategic Port Graph Rewriting. Maribel Fernández, János Varga |
| 2020 | Hailstorm: A Statically-Typed, Purely Functional Language for IoT Applications. Abhiroop Sarkar, Mary Sheeran |
| 2020 | Inversion Framework: Reasoning about Inversion by Conditional Term Rewriting Systems. Maja H. Kirkeby, Robert Glück |
| 2020 | Moulinog: A Generator of Random Student Assignments Written in Prolog. Gonzague Yernaux, Wim Vanhoof, Laurent Schumacher |
| 2020 | Non-monotonic Spatial Reasoning for Safety Analysis in Construction. Beidi Li, Jochen Teizer, Carl Schultz |
| 2020 | PPDP '20: 22nd International Symposium on Principles and Practice of Declarative Programming, Bologna, Italy, 9-10 September, 2020 |
| 2020 | Proof-Carrying Plans: a Resource Logic for AI Planning. Alasdair Hill, Ekaterina Komendantskaya, Ronald P. A. Petrick |
| 2020 | Rewrites as Terms through Justification Logic. Pablo Barenbaum, Eduardo Bonelli |
| 2020 | The Machinery of Interaction. Beniamino Accattoli, Ugo Dal Lago, Gabriele Vanoni |
| 2020 | Two notions of sub-behaviour for session-based client/server systems: 10 Years Later. Franco Barbanera, Ugo de'Liguoro |
| 2020 | Understanding Lua's Garbage Collection: Towards a Formalized Static Analyzer. Mallku Soldevila, Beta Ziliani, Daniel Fridlender |
| 2020 | Verified Linear Session-Typed Concurrent Programming. Ankush Das, Frank Pfenning |