FLOPS 2020: 15TH INTERNATIONAL SYMPOSIUM ON FUNCTIONAL AND LOGIC PROGRAMMING
TALK AUTHOR INDEX
Shortcuts: ABCDFGHIKMNOPRSTVW
A
Accattoli, Beniamino
Declarative Pearl: The Distributive λ-Calculus
B
Bucciarelli, Antonio
The Bang Calculus Revisited
C
Chiang, Tsung-Ju
Declarative Pearl: Deriving Monadic Quicksort
Chlipala, Adam
Performance-Scaling Challenges in Formal Verification with Proof Assistants
Cimini, Matteo
On the Effectiveness of Higher-Order Logic Programming in Language-Oriented Programming
System Description: Lang-n-Change -- A Tool for Transforming Languages
D
Díaz-Caro, Alejandro
Declarative Pearl: The Distributive λ-Calculus
F
Fortz, Sophie
An SMT-Based Concolic Testing Tool for Logic Programs (System Description)
G
Glück, Robert
An efficient composition of bidirectional programs by memoization and lazy update
H
Hainry, Emmanuel
Polynomial time over the reals with parsimony
Hamana, Makoto
Theory and Practice of Second-Order Rewriting: Foundation, Evolution, and SOL
Hu, Zhenjiang
An efficient composition of bidirectional programs by memoization and lazy update
I
Imai, Keigo
Session Types without Sophistry (System Description)
K
Kameyama, Yukiyoshi
Language-Integrated Query with Nested Data Structures and Grouping
Kesner, Delia
The Bang Calculus Revisited
Kimura, Daisuke
On restriction of cut in cyclic proof system for symbolic heaps
Kiselyov, Oleg
Session Types without Sophistry (System Description)
M
Mazza, Damiano
Polynomial time over the reals with parsimony
Mesnard, Fred
An SMT-Based Concolic Testing Tool for Logic Programs (System Description)
Mourad, Benjamin
System Description: Lang-n-Change -- A Tool for Transforming Languages
Mu, Shin-Cheng
Declarative Pearl: Deriving Monadic Quicksort
N
Nakazawa, Koji
On restriction of cut in cyclic proof system for symbolic heaps
Nguyễn Trọng, Bách
An efficient composition of bidirectional programs by memoization and lazy update
O
Okura, Rui
Language-Integrated Query with Nested Data Structures and Grouping
P
Payet, Etienne
An SMT-Based Concolic Testing Tool for Logic Programs (System Description)
Perrouin, Gilles
An SMT-Based Concolic Testing Tool for Logic Programs (System Description)
Péchoux, Romain
Polynomial time over the reals with parsimony
R
Rios, Alejandro
The Bang Calculus Revisited
S
Saotome, Kenji
On restriction of cut in cyclic proof system for symbolic heaps
T
Tsushima, Kanae
An efficient composition of bidirectional programs by memoization and lazy update
V
Vanhoof, Wim
An SMT-Based Concolic Testing Tool for Logic Programs (System Description)
Vidal, German
An SMT-Based Concolic Testing Tool for Logic Programs (System Description)
Viso, Andrés Ezequiel
The Bang Calculus Revisited
Voigtländer, Janis
Implementing, and keeping in check, a DSL used in e-learning
W
Westphal, Oliver
Implementing, and keeping in check, a DSL used in e-learning