Trends in Functional Programming : 25th International Symposium, TFP 2024, South Orange, NJ, USA, January 10-12, 2024, Revised Selected Papers
- 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.