Título :	22nd International Symposium, TFP 2021, Virtual Event, February 17–19, 2021, Revised Selected Papers
Tipo de documento:	documento electrónico
Autores:	Zsók, Viktória, ; Hughes, John,
Mención de edición:	1 ed.
Editorial:	[s.l.] : Springer
Fecha de publicación:	2021
Número de páginas:	VII, 137 p. 35 ilustraciones, 10 ilustraciones en color.
ISBN/ISSN/DL:	978-3-030-83978-9
Nota general:	Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Palabras clave:	Programación de computadoras  Inteligencia artificial  Ingeniería Informática  Red de computadoras  Compiladores (programas informáticos)  Técnicas de programación  Ingeniería Informática y Redes  Compiladores e intérpretes
Índice Dewey:	005.11 Técnicas especiales de programación
Resumen:	Este libro constituye artículos revisados ​​seleccionados del 22º Simposio Internacional sobre Tendencias en Programación Funcional, TFP 2021, que se celebró virtualmente en febrero de 2020. Los 6 artículos completos presentados en este volumen fueron cuidadosamente revisados ​​y seleccionados entre 18 presentaciones. Estaban organizados en secciones temáticas sobre paralelismo anidado, semántica, programación y modelado orientado a tareas, traducción y prueba de programas funcionales.
Nota de contenido:	Nested parallelism, semantics, task-oriented programming -- Dataset Sensitive Autotuning of Multi-Versioned Code based on Monotonic Properties -- A Generic Back-End for Exploratory Programming -- Dynamic Editors for Well-Typed Expressions -- Modelling, translating, proving functional programs -- High-Level Modelling for Typed Functional Programming -- Translating Lambda Calculus into C++ Templates -- ProofViz: An Interactive Visual Proof Explorer.
En línea:	https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
Link:	https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i

22nd International Symposium, TFP 2021, Virtual Event, February 17–19, 2021, Revised Selected Papers [documento electrónico] / Zsók, Viktória, ; Hughes, John,  . -  1 ed.  . - [s.l.] : Springer, 2021 . - VII, 137 p. 35 ilustraciones, 10 ilustraciones en color.
ISBN : 978-3-030-83978-9
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.

Palabras clave:	Programación de computadoras  Inteligencia artificial  Ingeniería Informática  Red de computadoras  Compiladores (programas informáticos)  Técnicas de programación  Ingeniería Informática y Redes  Compiladores e intérpretes
Índice Dewey:	005.11 Técnicas especiales de programación
Resumen:	Este libro constituye artículos revisados ​​seleccionados del 22º Simposio Internacional sobre Tendencias en Programación Funcional, TFP 2021, que se celebró virtualmente en febrero de 2020. Los 6 artículos completos presentados en este volumen fueron cuidadosamente revisados ​​y seleccionados entre 18 presentaciones. Estaban organizados en secciones temáticas sobre paralelismo anidado, semántica, programación y modelado orientado a tareas, traducción y prueba de programas funcionales.
Nota de contenido:	Nested parallelism, semantics, task-oriented programming -- Dataset Sensitive Autotuning of Multi-Versioned Code based on Monotonic Properties -- A Generic Back-End for Exploratory Programming -- Dynamic Editors for Well-Typed Expressions -- Modelling, translating, proving functional programs -- High-Level Modelling for Typed Functional Programming -- Translating Lambda Calculus into C++ Templates -- ProofViz: An Interactive Visual Proof Explorer.
En línea:	https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
Link:	https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i