PPDP'19: PRINCIPLES AND PRACTICE OF DECLARATIVE PROGRAMMING

A
Abel, Andreas	Normalization by Evaluation for Call-by-Push-Value and Polarized Lambda-Calculus
Accattoli, Beniamino	Crumbling Abstract Machines Sharing Equality is Linear
Ahmed, Amal	Semantic Foundations for Gradual Typing Under Control: Compositionally Correct Closure Conversion with Mutable State
Aoto, Takahito	Inductive Theorem Proving in Non-terminating Rewriting Systems and Its Application to Program Transformation
B
Barwell, Adam	Type-Driven Verification of Extra-Functional Properties
Blanco, Roberto	Property-Based Testing via Proof Reconstruction
Brown, Christopher	Type-Driven Verification of Extra-Functional Properties
C
Castagna, Giuseppe	Foundations of Session types: 10 Years Later
Chand, Saksham	Moderately Complex Paxos Made Simple: High-Level Executable Specification of Distributed Algorithms
Chong, Stephen	Relational Symbolic Execution
Chupin, Guerric	Functional Reactive Programming, restated
Cirstea, Horatiu	Generic Encodings of Constructor Rewriting Systems
Condoluci, Andrea	Crumbling Abstract Machines Sharing Equality is Linear
D
Dezani-Ciancaglini, Mariangiola	Foundations of Session types: 10 Years Later
F
Farina, Gian Pietro	Relational Symbolic Execution
G
Gaboardi, Marco	Relational Symbolic Execution
Giachino, Elena	Foundations of Session types: 10 Years Later
Goncharov, Sergey	An Adequate While-Language for Hybrid Computation
Guerrieri, Giulio	Crumbling Abstract Machines
Gérard, Ulysse	Functional programming with lambda-tree syntax
H
Hoare, Tony	A Calculus for Concurrent and Sequential Programming
K
Kikuchi, Kentaro	Inductive Theorem Proving in Non-terminating Rewriting Systems and Its Application to Program Transformation
Klinik, Markus	TopHat: A formal foundation for task-oriented programming
Kobayashi, Naoki	10 Years of the Higher-Order Model Checking Project
L
Lippmeier, Ben	Smart Contracts as Authorized Production Rules
Liu, Yanhong A.	Moderately Complex Paxos Made Simple: High-Level Executable Specification of Distributed Algorithms
M
Marquer, Yoann	Type-Driven Verification of Extra-Functional Properties
Mates, Phillip	Under Control: Compositionally Correct Closure Conversion with Mutable State
Miller, Dale	Property-Based Testing via Proof Reconstruction Functional programming with lambda-tree syntax
Minh, Celine	Type-Driven Verification of Extra-Functional Properties
Momigliano, Alberto	Property-Based Testing via Proof Reconstruction
Moreau, Pierre-Etienne	Generic Encodings of Constructor Rewriting Systems
Muys, Andrae	Smart Contracts as Authorized Production Rules
N
Naus, Nico	TopHat: A formal foundation for task-oriented programming
Neves, Renato	An Adequate While-Language for Hybrid Computation
Nilsson, Henrik	Functional Reactive Programming, restated
P
Padovani, Luca	Foundations of Session types: 10 Years Later
Perconti, Jamie	Under Control: Compositionally Correct Closure Conversion with Mutable State
R
Robinson, Amos	Smart Contracts as Authorized Production Rules
Russo, Alejandro	Exponential Elimination for Bicartesian Closed Categorical Combinators
S
Sacerdoti Coen, Claudio	Crumbling Abstract Machines Sharing Equality is Linear
Sasano, Isao	Inductive Theorem Proving in Non-terminating Rewriting Systems and Its Application to Program Transformation
Sattler, Christian	Normalization by Evaluation for Call-by-Push-Value and Polarized Lambda-Calculus
Scherer, Gabriel	Functional programming with lambda-tree syntax
Steenvoorden, Tim	TopHat: A formal foundation for task-oriented programming
Stoller, Scott	Moderately Complex Paxos Made Simple: High-Level Executable Specification of Distributed Algorithms
T
Talbot, Pierre	Spacetime Programming: A Synchronous Language for Composable Search Strategies
Thiemann, Peter	Intrinsically-Typed Mechanized Semantics for Session Types
V
Valliappan, Nachiappan	Exponential Elimination for Bicartesian Closed Categorical Combinators
van Bakel, Steffen	Exception Handling and Classical Logic
Vidal, German	Reversibilization in Functional and Concurrent Programming
Z
Zendra, Olivier	Type-Driven Verification of Extra-Functional Properties

Disclaimer | Powered by EasyChair Smart Program