Functional and Logic Programming 15th International Symposium, FLOPS 2020, Akita, Japan, September 14–16, 2020, Proceedings /
This book constitutes the proceedings of the 15th International Symposium on Functional and Logic Programming, FLOPS 2020, held in Akita, Japan*, in September 2020. The 12 papers presented in this volume were carefully reviewed and selected from 25 submissions. They cover all aspects of the design,...
| Corporate Author: | |
|---|---|
| Other Authors: | , |
| Language: | English |
| Published: |
Cham :
Springer International Publishing : Imprint: Springer,
2020.
|
| Edition: | 1st ed. 2020. |
| Series: | Theoretical Computer Science and General Issues ;
12073 |
| Subjects: | |
| Online Access: | https://doi.org/10.1007/978-3-030-59025-3 |
Table of Contents:
- 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.