Lecture Notes in Computer Science: 28th International Workshop, WFLP 2020, Bologna, Italy, September 7, 2020, Revised Selected Papers

Hanus, Michael; Sacerdoti Coen, Claudio

This book constitutes the refereed post-conference proceedings of the 28th International Workshop on Functional and Constraint Logic Programming, WFLP 2020, held in Bologna, Italy, in September 2020.

Due to the COVID-19, the workshop was held online.

From the 19 full papers submitted, 8 were accepted for presentation at the workshop. The accepted papers cover different programming areas of functional and logic programming, including code generation, verification, and debugging.

Details

Published by: Springer

Publication Date: 2021-05-06

Format: Paperback

ISBN-13: 9783030753320

DOI: 10.1007/978-3-030-75333-7

Dimensions: 235cm x155cm

Pages: 145