Functional and Logic Programming (Paperback)

Michael Sperber

ISBN 10: 9819201837 / ISBN 13: 9789819201839

Published by Springer Verlag, Singapore, 2026

About this Item

Paperback. 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. This item is printed on demand. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability.

Seller Inventory # 9789819201839

Bibliographic Details

• Title: Functional and Logic Programming (Paperback)
• Publisher: Springer Verlag, Singapore
• Publication Date: 2026
• Language: English
• ISBN 10: 9819201837
• ISBN 13: 9789819201839
• Binding: Paperback
• Condition: new

About this title

Synopsis

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.