Name: Trends in Functional Programming. 25th International Symposium, TFP 2024, South Orange, NJ, USA, January 10–12, 2024, Revised Selected Papers
Price: 215366.00 COP
Availability: InStock
Author: Jason Hemann;Stephen Chang
ISBN: 9783031745577

portada Trends in Functional Programming. 25th International Symposium, TFP 2024, South Orange, NJ, USA, January 10–12, 2024, Revised Selected Papers

Trends in Functional Programming. 25th International Symposium, TFP 2024, South Orange, NJ, USA, January 10–12, 2024, Revised Selected Papers

Formato

Libro Físico

Editorial

Springer International Publishing AG

Autor

Jason Hemann;Stephen Chang

Colección

Lecture Notes in Computer Science

Año

2025

N° páginas

241

Encuadernación

Tapa Blanda

Dimensiones

23.50 x 15.50 cm

ISBN13

9783031745577

Trends in Functional Programming. 25th International Symposium, TFP 2024, South Orange, NJ, USA, January 10–12, 2024, Revised Selected Papers

Jason Hemann;Stephen Chang (Autor) · Springer International Publishing AG · Tapa Blanda

Libro Nuevo Importado

Envío: 19 a 25 días háb.

$ 391.574$ 215.366

-45%

Costos de importación incluídos en el precio ✅

Libro Nuevo

Quedan más de 100 unidades

$ 215.366

¡Envío Gratis! Llega entre el 02 Sep y el 11 Sep a Bogota, Cundinamarca. Seleccionar ubicación

Agregar a lista de deseos

Reseña del libro "Trends in Functional Programming. 25th International Symposium, TFP 2024, South Orange, NJ, USA, January 10–12, 2024, Revised Selected Papers"

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