Trends in Functional Programming

25th International Symposium, TFP 2024, South Orange, NJ, USA, January 10–12, 2024, Revised Selected Papers

Jason Hemann, Stephen Chang (Herausgeber)

Buch | Softcover

VIII, 243 Seiten

2025
Springer International Publishing (Verlag)
978-3-031-74557-7 (ISBN)

Noch nicht erschienen - erscheint am 13.01.2025
Versandkostenfrei
Auch auf Rechnung

Artikel merken

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;

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.

.- 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.

Erscheint lt. Verlag	13.1.2025
Reihe/Serie	Lecture Notes in Computer Science
Zusatzinfo	X, 240 p.
Verlagsort	Cham
Sprache	englisch
Maße	155 x 235 mm
Themenwelt	Mathematik / Informatik ► Informatik ► Programmiersprachen / -werkzeuge
Themenwelt	Informatik ► Theorie / Studium ► Künstliche Intelligenz / Robotik
Schlagworte	Compilers • Debugging • domain specific languages • Empirical Studies • Functional Programming • Implementation strategies • Profiling • program analysis • Type Systems • verification • Virtual machines
ISBN-10	3-031-74557-4 / 3031745574
ISBN-13	978-3-031-74557-7 / 9783031745577
Zustand	Neuware