Trends in Functional Programming: 25th International Symposium, TFP 2024, South Orange, NJ, USA, January 10-12, 2024, Revised Selected Papers: 14843 (Lecture Notes in Computer Science, 14843) - Tapa blanda

 
9783031745577: Trends in Functional Programming: 25th International Symposium, TFP 2024, South Orange, NJ, USA, January 10-12, 2024, Revised Selected Papers: 14843 (Lecture Notes in Computer Science, 14843)

Sinopsis

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;

"Sinopsis" puede pertenecer a otra edición de este libro.