Trends in Functional Programming

25th International Symposium, TFP 2024, South Orange, NJ, USA, January 10-12, 2024, Revised Selected Papers
Herausgegeben:Hemann, Jason; Chang, Stephen

• Broschiertes Buch

Produktbeschreibung

This book constitutes the refereed proceedings of the 25th International Symposium on Trends in Functional Programming, TFP 2024, held in South Orange, NJ, USA, during January 10-12, 2024.

The 10 full papers included in this book were carefully reviewed and selected from 14 submissions. Topical sections as follows: dependent type systems; compiler optimizations; and DSL design and implementation.

Produktdetails

• Lecture Notes in Computer Science 14843
• Verlag: Springer / Springer Nature Switzerland / Springer, Berlin
• Artikelnr. des Verlages: 978-3-031-74557-7
• Seitenzahl: 252
• Erscheinungstermin: 10. Januar 2025
• Englisch
• Abmessung: 235mm x 155mm x 14mm
• Gewicht: 388g
• ISBN-13: 9783031745577
• ISBN-10: 3031745574
• Artikelnr.: 71519925

Inhaltsangabe

.- Structural Refactorings for Exploring Dependently Typed Programming.
.- Free Monads, Intrinsic Scoping, and Higher-Order Preunification.
.- Towards a more efficient Selection Monad.
.- Compositional Views in Compositional Images.
.- Programming with Dependent Additive Pairs.
.- Context-Free Subphrase Grammars - A Grammar Formalism for Modular Syntax Definitions.
.- Polymorphism with Typed Holes.
.- A Preliminary Type- and Control-Flow Analysis for System F?.
.- Error Messages for Students Taught Using a Systematic Program Design Curriculum.
.- Flattening Combinations of Arrays and Records.