Trends in Functional Programming: 25th International Symposium, TFP 2024, South Orange, NJ, USA, January 10-12, 2024, Revised Selected Papers: 14843 - Brossura

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

Sinossi

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;

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.