20th International Symposium, TFP 2019, Vancouver, BC, Canada, June 12–14, 2019, Revised Selected Papers / Bowman, William J. ; Garcia, Ronald  

Público ISBD Ningún comentario para este título. 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. Idioma : Inglés (eng) 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 Clasificación: 005.11 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. Tipo de medio : Computadora Summary : This book constitutes the thoroughly refereed revised selected papers of the 20th International Symposium on Trends in Functional Programming, TFP 2019, held in Vancouver, Canada, in June 2019. The 6 revised full papers were selected from 11 submissions and present papers in all aspects of functional programming, taking a broad view of current and future trends in the area. It aspires to be a lively environment for presenting the latest research results, and other contributions, described in draft papers submitted prior to the symposium. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] 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. Idioma : Inglés (eng) 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 Clasificación: 005.11 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. Tipo de medio : Computadora Summary : This book constitutes the thoroughly refereed revised selected papers of the 20th International Symposium on Trends in Functional Programming, TFP 2019, held in Vancouver, Canada, in June 2019. The 6 revised full papers were selected from 11 submissions and present papers in all aspects of functional programming, taking a broad view of current and future trends in the area. It aspires to be a lively environment for presenting the latest research results, and other contributions, described in draft papers submitted prior to the symposium. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]

---

1 (1 - 1 / 1) Ver por página : 25 50 100 200