Książka Functional and Logic Programming Michael Sperber

Functional and Logic Programming

18th International Symposium, FLOPS 2026, Tsukuba, Japan, May 26-28, 2026, Proceedings

Język: Angielski
Oprawa: Miękka
Wydawca: Springer, Berlin
Dostępność: Dostępna u dostawcy w małych ilościach
Wysyłamy za 13-18 dni
324.25
This FLOPS 2026 constitutes the proceedings of the 18th International Symposium on Functional and Lo...

Informacje o książce

Język
Angielski
Oprawa
Książka - Miękka
Data wydania
2026
strony
350
EAN
9789819201839
Enbook ID
51541586
Waga
459
Wymiary
155 x 235

Pełny opis

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.