This FLOPS 2026 constitutes the proceedings of the 18th International Symposium on Functional and Logic Programming, FLOPS 2026, held in Tsukuba, Japan, in May 26-28, 2026.
The 14 full papers and 2 invited talks presented in this volume were carefully reviewed and selected from 25 submissions. They were organized in topical sections as follows:.Lambda Calculus and Type Theory; Term Rewriting; Programming Language Semantics; Programming Language Compilers; Functional; Logic and Functional-Logic Programming; SAT solving; and applications thereof.
| ISBN: | 9789819201839 |
| Publication date: | 12th May 2026 |
| Author: | Michael Sperber, Ekaterina Komendantskaya |
| Publisher: | Springer an imprint of Springer Nature Singapore |
| Format: | Paperback |
| Pagination: | 307 pages |
| Series: | Lecture Notes in Computer Science |
| Genres: |
Software Engineering Mathematical theory of computation Systems analysis and design Artificial intelligence Programming and scripting languages: general Computer programming / software engineering |
This FLOPS 2026 constitutes the proceedings of the 18th International Symposium on Functional and Logic Programming, FLOPS 2026, held in Tsukuba, Japan, in May 26-28, 2026. The 14 full papers and 2 invited talks presented in this volume were carefully reviewed and selected from 25 submissions.
Functional and Logic Programming features in the following genres: Software Engineering, Mathematical theory of computation, Systems analysis and design, Artificial intelligence, Programming and scripting languages: general, Computer programming / software engineering
Paperback. £53.99, down from the £59.99 cover price. Not Available.
Functional and Logic Programming was written by Michael Sperber, Ekaterina Komendantskaya and published by Springer an imprint of Springer Nature Singapore
Functional and Logic Programming has 307 pages
Yes it is part of Lecture Notes in Computer Science series
£53.99, reduced from £59.99. Not Available.