Pensum -10%
Functional and Logic Programming
Atsushi Igarashi, Michael Hanus
PocketEngelsk
Del av serien Lecture Notes in Computer Science
Hopp til hovedinnholdet
Functional and Logic Programming
Redigert av Ekaterina Komendantskaya, Michael Sperber, 2026.Del av serien Lecture Notes in Computer Science.
18th International Symposium, FLOPS 2026, Tsukuba, Japan, May 26–28, 2026, Proceedings
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.
PocketEngelsk
819,-
Ikke tilgjengelig for Klikk&Hent
Midlertidig tomt på lager
Bestillingsvare. Forventes sendt om ca 14 dager
Functional and Logic Programming
Redigert av Ekaterina Komendantskaya, Michael Sperber, 2026.Del av serien Lecture Notes in Computer Science.
18th International Symposium, FLOPS 2026, Tsukuba, Japan, May 26–28, 2026, Proceedings
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.
819,-
PocketEngelsk
Ikke tilgjengelig for Klikk&Hent
Midlertidig tomt på lager
Bestillingsvare. Forventes sendt om ca 14 dager
819,-
Ved å fullføre kjøpet aksepterer du kjøpsvilkårene.
