- Christopher Brown
, Adam D. Barwell, Yoann Marquer, Céline Minh, Olivier Zendra:
Type-Driven Verification of Non-functional Properties. PPDP 2019: 6:1-6:15 - Beniamino Accattoli, Andrea Condoluci, Giulio Guerrieri, Claudio Sacerdoti Coen:
Crumbling Abstract Machines. PPDP 2019: 4:1-4:15 - Steffen van Bakel:
Exception Handling and Classical Logic. PPDP 2019: 21:1-21:14 - Roberto Blanco, Dale Miller, Alberto Momigliano:
Property-Based Testing via Proof Reconstruction. PPDP 2019: 5:1-5:13 - Giuseppe Castagna, Mariangiola Dezani-Ciancaglini, Elena Giachino, Luca Padovani:
Foundations of Session Types: 10 Years Later. PPDP 2019: 1:1-1:3 - Guerric Chupin, Henrik Nilsson:
Functional Reactive Programming, restated. PPDP 2019: 7:1-7:14 - Horatiu Cirstea, Pierre-Etienne Moreau:
Generic Encodings of Constructor Rewriting Systems. PPDP 2019: 8:1-8:12 - Andrea Condoluci, Beniamino Accattoli, Claudio Sacerdoti Coen:
Sharing Equality is Linear. PPDP 2019: 9:1-9:14 - Gian Pietro Farina, Stephen Chong, Marco Gaboardi:
Relational Symbolic Execution. PPDP 2019: 10:1-10:14 - Ulysse Gérard, Dale Miller, Gabriel Scherer:
Functional programming with λ-tree syntax. PPDP 2019: 12:1-12:16 - Kentaro Kikuchi, Takahito Aoto, Isao Sasano:
Inductive Theorem Proving in Non-terminating Rewriting Systems and Its Application to Program Transformation. PPDP 2019: 13:1-13:14 - Naoki Kobayashi:
10 Years of the Higher-Order Model Checking Project (Extended Abstract). PPDP 2019: 2:1-2:2 - Ben Lippmeier, Amos Robinson, Andrae Muys:
Smart Contracts as Authorized Production Rules. PPDP 2019: 14:1-14:14 - Yanhong A. Liu, Saksham Chand, Scott D. Stoller:
Moderately Complex Paxos Made Simple: High-Level Executable Specification of Distributed Algorithms. PPDP 2019: 15:1-15:15 - Phillip Mates, Jamie Perconti, Amal Ahmed:
Under Control: Compositionally Correct Closure Conversion with Mutable State. PPDP 2019: 16:1-16:15 - Tim Steenvoorden, Nico Naus, Markus Klinik:
TopHat: A formal foundation for task-oriented programming. PPDP 2019: 17:1-17:13 - Pierre Talbot:
Spacetime Programming: A Synchronous Language for Composable Search Strategies. PPDP 2019: 18:1-18:16 - Peter Thiemann:
Intrinsically-Typed Mechanized Semantics for Session Types. PPDP 2019: 19:1-19:15 - Nachiappan Valliappan, Alejandro Russo:
Exponential Elimination for Bicartesian Closed Categorical Combinators. PPDP 2019: 20:1-20:13 - Ekaterina Komendantskaya:
Proceedings of the 21st International Symposium on Principles and Practice of Programming Languages, PPDP 2019, Porto, Portugal, October 7-9, 2019. ACM 2019, ISBN 978-1-4503-7249-7 [contents] - 2018
- Stephan Adelsberger, Anton Setzer, Eric Walkingshaw:
Declarative GUIs: Simple, Consistent, and Verified. PPDP 2018: 4:1-4:15 - Danil Annenkov, Martin Elsman:
Certified Compilation of Financial Contracts. PPDP 2018: 5:1-5:13 - Pablo Barenbaum, Eduardo Bonelli, Kareem Mohamed:
Pattern Matching and Fixed Points: Resource Types and Strong Call-By-Need: Extended Abstract. PPDP 2018: 6:1-6:12 - Maciej Bendkowski, Pierre Lescanne:
Combinatorics of Explicit Substitutions. PPDP 2018: 7:1-7:12 - Nick Benton:
Semantic Equivalence Checking for HHVM Bytecode. PPDP 2018: 3:1-3:8 - Flavien Breuvart, Ugo Dal Lago:
On Intersection Types and Probabilistic Lambda Calculi. PPDP 2018: 8:1-8:13 - Mistral Contrastin, Dominic A. Orchard, Andrew C. Rice:
Automatic Reordering for Dataflow Safety of Datalog. PPDP 2018: 9:1-9:17 - Abhishek Dang, Piyush P. Kurur:
Verse: An EDSL for Cryptographic Primitives. PPDP 2018: 10:1-10:9 - Philippa Gardner:
JaVerT: JavaScript Verification and Testing Framework: Invited Talk. PPDP 2018: 1:1-1:4 - Sylvia Grewe, Sebastian Erdweg, André Pacak, Mira Mezini:
System Description: An Infrastructure for Combining Domain Knowledge with Automated Theorem Provers. PPDP 2018: 24:1-24:10
