Functional and Logic Programming : 15th International Symposium, FLOPS 2020, Akita, Japan, September 14–16, 2020, Proceedings /: 15th International Symposium, FLOPS 2020, Akita, Japan, September 14–16, 2020, Proceedings. (2020)
- Record Type:
- Book
- Title:
- Functional and Logic Programming : 15th International Symposium, FLOPS 2020, Akita, Japan, September 14–16, 2020, Proceedings /: 15th International Symposium, FLOPS 2020, Akita, Japan, September 14–16, 2020, Proceedings. (2020)
- Main Title:
- Functional and Logic Programming : 15th International Symposium, FLOPS 2020, Akita, Japan, September 14–16, 2020, Proceedings
- Further Information:
- Note: Keisuke Nakano, Konstantinos Sagonas.
- Editors:
- Nakano, Keisuke
Sagonas, Konstantinos - 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.
- Publisher Details:
- Cham : Springer
- Publication Date:
- 2020
- Copyright Date:
- 2020
- Extent:
- 1 online resource (221 pages)
- Subjects:
- Computer science
Software engineering
Programming languages (Electronic computers)
Computer programming
Artificial intelligence
Computer logic
Mathematical logic
Computers -- Programming Languages -- General
Computers -- Programming -- General
Computers -- Intelligence (AI) & Semantics
Mathematics -- Logic
Programming & scripting languages: general
Computer programming / software development
Artificial intelligence
Mathematical theory of computation
Computers -- Software Development & Engineering -- General
Software Engineering - Languages:
- English
- ISBNs:
- 9783030590253
- Related ISBNs:
- 9783030590246
- Access Rights:
- Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
- Access Usage:
- Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.
- View Content:
- Available online (eLD content is only available in our Reading Rooms) ↗
- Physical Locations:
- British Library HMNTS - ELD.DS.550978
- Ingest File:
- 03_169.xml