| Título : |
20th International Symposium, TFP 2019, Vancouver, BC, Canada, June 12–14, 2019, Revised Selected Papers |
| Tipo de documento: |
documento electrónico |
| Autores: |
Bowman, William J., ; Garcia, Ronald, |
| Mención de edición: |
1 ed. |
| Editorial: |
[s.l.] : Springer |
| Fecha de publicación: |
2020 |
| Número de páginas: |
VII, 143 p. 250 ilustraciones, 1 ilustraciones en color. |
| ISBN/ISSN/DL: |
978-3-030-47147-7 |
| 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 Compiladores (programas informáticos) Ingeniería Informática Red de computadoras Ciencias de la Computación Técnicas de programación Compiladores e intérpretes Ingeniería Informática y Redes Teoría de la Computación |
| Índice Dewey: |
005.11 Técnicas especiales de programación |
| Resumen: |
Este libro constituye los artículos seleccionados revisados y completamente arbitrados del 20.º Simposio Internacional sobre Tendencias en Programación Funcional, TFP 2019, celebrado en Vancouver, Canadá, en junio de 2019. Los 6 artículos completos revisados fueron seleccionados de 11 presentaciones y artículos presentes en todos los aspectos de programación funcional, teniendo una visión amplia de las tendencias actuales y futuras del área. Aspira a ser un entorno animado para presentar los últimos resultados de investigación y otras contribuciones, descritas en los borradores de artículos presentados antes del simposio. |
| Nota de contenido: |
Quotients by Idempotent Functions in Cedille -- Early Experience in Teaching the Basics of Functional Language Design with a Language Type Checker -- Verifying Selective CPS Transformation for Shift and Reset -- How to Specify it! A Guide to Writing Properties of Pure Functions -- Type Inference for Rank 2 Gradual Intersection Types -- Set Constraints, Pattern Match Analysis, and SMT. |
| 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 |
20th International Symposium, TFP 2019, Vancouver, BC, Canada, June 12–14, 2019, Revised Selected Papers [documento electrónico] / Bowman, William J., ; Garcia, Ronald, . - 1 ed. . - [s.l.] : Springer, 2020 . - VII, 143 p. 250 ilustraciones, 1 ilustraciones en color. ISBN : 978-3-030-47147-7 Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. |  |
Hacer una sugerencia Refinar búsqueda20th International Symposium, TFP 2019, Vancouver, BC, Canada, June 12–14, 2019, Revised Selected Papers / Bowman, William J. ; Garcia, Ronald
