TY  - GEN
N2  - 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.
DO  - 10.1007/978-3-030-75333-7
DO  - doi
AB  - 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.
T1  - Functional and constraint logic programming :28th International Workshop, WFLP 2020, Bologna, Italy, September 7, 2020, Revised selected papers /
AU  - Hanus, Michael,
AU  - Sacerdoti Coen, Claudio,
VL  - 12560
CN  - QA76.62
N1  - "This volume contains the proceedings of the 28th International Workshop on Functional and (Constraint) Logic Programming (WFLP 2020), held entirely online due to the coronavirus pandemic, but formally located in Bologna, Italy."--Preface
N1  - Includes author index.
ID  - 1436458
KW  - Functional programming (Computer science)
KW  - Constraint programming (Computer science)
KW  - Logic programming
KW  - Programmation fonctionnelle
KW  - Programmation par contraintes
KW  - Programmation logique
SN  - 9783030753337
SN  - 3030753336
TI  - Functional and constraint logic programming :28th International Workshop, WFLP 2020, Bologna, Italy, September 7, 2020, Revised selected papers /
LK  - https://univsouthin.idm.oclc.org/login?url=https://link.springer.com/10.1007/978-3-030-75333-7
UR  - https://univsouthin.idm.oclc.org/login?url=https://link.springer.com/10.1007/978-3-030-75333-7
ER  -