Trends in Functional Programming / Van Horn, David ; Hughes, John  

Público ISBD Ningún comentario para este registro. Título : Trends in Functional Programming : 17th International Conference, TFP 2016, College Park, MD, USA, June 8-10, 2016, Revised Selected Papers Tipo de documento: documento electrónico Autores: Van Horn, David, ; Hughes, John, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2019 Número de páginas: IX, 193 p. 444 ilustraciones, 20 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-14805-8 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  Compiladores (programas informáticos)  Inteligencia artificial  Técnicas de programación  Compiladores e intérpretes Índice Dewey: 005.11 Técnicas especiales de programación Resumen: Este libro constituye las actas arbitradas de la 17.ª Conferencia Internacional sobre Tendencias en Programación Funcional, TFP 2016, celebrada en College Park, EE. UU., en junio de 2016. Los 10 artículos completos presentados en este volumen fueron cuidadosamente revisados ​​y seleccionados entre 18 presentaciones. Los artículos se organizaron en secciones temáticas denominadas: técnicas de implementación; tipos y verificación; y programación. . Nota de contenido: Implementation Techniques -- Space-Ecient Latent Contracts -- Cactus Environment Machine: Shared Environment Call-by-Need -- Improving Sequential Performance of Erlang Based on a Meta-tracing Just-In-Time Compiler -- Types and Verication Proving Type Class Laws for Haskell -- Dynamic Flow Analysis for JavaScript -- A Type Inference System Based on Saturation of Subtyping Constraints -- Programming -- Project Report: Dependently typed programming with lambda encodings in Cedille -- Threading the Arduino with Haskell -- The Random Access Zipper: Simple, Persistent Sequences -- Building a Generic Feedback System for Rule-based Problems. 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 Trends in Functional Programming : 17th International Conference, TFP 2016, College Park, MD, USA, June 8-10, 2016, Revised Selected Papers [documento electrónico] / Van Horn, David, ; Hughes, John,  . -  1 ed.  . - [s.l.] : Springer, 2019 . - IX, 193 p. 444 ilustraciones, 20 ilustraciones en color. ISBN : 978-3-030-14805-8 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  Compiladores (programas informáticos)  Inteligencia artificial  Técnicas de programación  Compiladores e intérpretes Índice Dewey: 005.11 Técnicas especiales de programación Resumen: Este libro constituye las actas arbitradas de la 17.ª Conferencia Internacional sobre Tendencias en Programación Funcional, TFP 2016, celebrada en College Park, EE. UU., en junio de 2016. Los 10 artículos completos presentados en este volumen fueron cuidadosamente revisados ​​y seleccionados entre 18 presentaciones. Los artículos se organizaron en secciones temáticas denominadas: técnicas de implementación; tipos y verificación; y programación. . Nota de contenido: Implementation Techniques -- Space-Ecient Latent Contracts -- Cactus Environment Machine: Shared Environment Call-by-Need -- Improving Sequential Performance of Erlang Based on a Meta-tracing Just-In-Time Compiler -- Types and Verication Proving Type Class Laws for Haskell -- Dynamic Flow Analysis for JavaScript -- A Type Inference System Based on Saturation of Subtyping Constraints -- Programming -- Project Report: Dependently typed programming with lambda encodings in Cedille -- Threading the Arduino with Haskell -- The Random Access Zipper: Simple, Persistent Sequences -- Building a Generic Feedback System for Rule-based Problems. 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

---

1 (1 - 1 / 1) Par page : 25 50 100 200