Lecture Notes in Computer Science: 25th International Symposium, TFP 2024, South Orange, NJ, USA, January 10–12, 2024, Revised Selected Papers

Hemann, Jason; Chang, Stephen

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.

Details

Published by: Springer

Publication Date: 2025-01-10

Format: Paperback

ISBN-13: 9783031745577

DOI: 10.1007/978-3-031-74558-4

Dimensions: 235cm x155cm

Pages: 241