- Nyhet
Functional and Logic Programming
18th International Symposium, FLOPS 2026, Tsukuba, Japan, May 26-28, 2026, Proceedings
AvEkaterina Komendantskaya,Michael Sperber
E-bok
Engelska, 2026985 kr
Läs direkt i Bokus Reader – eller ladda ned till din enhet
Beskrivning
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.
Produktinformation
Utforska kategorier
Hoppa över listan
![Michael Sperber, R. Kent Dybvig, Matthew Flatt, Anton van Straaten, Robby Findler, Jacob Matthews - Revised [6] Report on the Algorithmic Language Scheme, Inbunden](https://image.bokus.com/images2/9780521193993_766)
Du kanske också är intresserad av
Del 16533
Practical Aspects of Declarative Languages
Yanhong Annie Liu, Ekaterina Komendantskaya
E-bok
2020739 kr
Revised [6] Report on the Algorithmic Language Scheme
Michael Sperber, R. Kent Dybvig, Matthew Flatt, Anton van Straaten, Robby Findler, Jacob Matthews
Inbunden, 2010
1 473 kr
Dostoyevsky's Stalker and Other Essays on Psychopathology and the Arts
Michael Sperber
Häftad, 2010
696 kr
Del 13544
Dostoyevsky's Stalker and Other Essays on Psychopathology and the Arts
Michael Sperber
E-bok
2010754 kr
Del 12007
Practical Aspects of Declarative Languages
Ekaterina Komendantskaya, Yanhong Annie Liu
Häftad, 2020
573 kr
- Nyhet
Del 11