Functional and Logic Programming: 15th International Symposium, Flops 2020, Akita, Japan, September 14-16, 2020, Proceedings

ISBN-13: 9783030590246 / Angielski / Miękka / 2020 / 221 str.

Keisuke Nakano; Konstantinos Sagonas

Spis treści

Theory and Practice of Second-Order Rewriting: Foundation, Evolution, and SOL.- ​The Bang Calculus Revisited.- Functional Pearl: The Distributive λ-Calculus.- Polynomial time over the reals with parsimony.- Session Types without Sophistry (System Description).- Restriction on cut in cyclic proof system for symbolic heaps.- On the Effectiveness of Higher-Order Logic Programming in Language-Oriented Programming.- Declarative Pearl: Deriving Monadic Quicksort.- Language-Integrated Query with Nested Data Structures and Grouping.- An efficient composition of bidirectional programs by memoization and lazy update.- Implementing, and Keeping in Check, a DSL Used in E-Learning.- System Description: Lang-n-Change -- A Tool for Transforming Languages.