Functional and Logic Programming [electronic resource] : 17th International Symposium, FLOPS 2024, Kumamoto, Japan, May 15-17, 2024, Proceedings / edited by Jeremy Gibbons, Dale Miller.
Contributor(s): Gibbons, Jeremy [editor.]
| Miller, Dale [editor.] | SpringerLink (Online service).
Material type: 
BookSeries: Lecture Notes in Computer Science: 14659Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2024Edition: 1st ed. 2024.Description: XXVII, 314 p. online resource.Content type: text Media type: computer Carrier type: online resourceISBN: 9789819723003.Subject(s): Software engineering | Artificial intelligence | Programming languages (Electronic computers) | Computer programming | Computer science | Computer systems | Software Engineering | Artificial Intelligence | Programming Language | Programming Techniques | Computer Science Logic and Foundations of Programming | Computer System ImplementationAdditional physical formats: Printed edition:: No title; Printed edition:: No titleDDC classification: 005.1 Online resources: Click here to access online
In:
Springer Nature eBookSummary: This book constitutes the proceedings of the 17th International Symposium on Functional and Logic Programming, FLOPS 2024, held in Kumamoto, Japan, in May 2024. The 15 papers presented in this volume were carefully reviewed and selected from 28 submissions. The scope includes all aspects of the design, semantics, theory, applications, implementations, and teaching of declarative programming. FLOPS speci cally aims to promote cross-fertilization between theory and practice and among di erent styles of declarative programming.
No physical items for this record
This book constitutes the proceedings of the 17th International Symposium on Functional and Logic Programming, FLOPS 2024, held in Kumamoto, Japan, in May 2024. The 15 papers presented in this volume were carefully reviewed and selected from 28 submissions. The scope includes all aspects of the design, semantics, theory, applications, implementations, and teaching of declarative programming. FLOPS speci cally aims to promote cross-fertilization between theory and practice and among di erent styles of declarative programming.
There are no comments for this item.