Trends in Functional Programming / Wang, Meng ; Owens, Scott  

Público ISBD Ningún comentario para este registro. Título : Trends in Functional Programming : 18th International Symposium, TFP 2017, Canterbury, UK, June 19-21, 2017, Revised Selected Papers Tipo de documento: documento electrónico Autores: Wang, Meng, ; Owens, Scott, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2018 Número de páginas: VII, 149 p. 48 ilustraciones ISBN/ISSN/DL: 978-3-319-89719-6 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  Ingeniería de software  Sistemas operativos (computadoras)  Compiladores (programas informáticos)  Computadoras  Propósitos especiales  Sistemas informáticos  Técnicas de programación  Sistemas operativos  Compiladores e intérpretes  Sistemas de propósito especial y basados ​​en aplicaciones  Implementación de sistema informático Índice Dewey: 005.11 Técnicas especiales de programación Resumen: Este libro constituye los artículos seleccionados y revisados ​​minuciosamente arbitrados del 18.º Simposio Internacional sobre Tendencias en Programación Funcional, TFP 2017, celebrado en Canterbury, Reino Unido, en junio de 2017. Los 8 artículos completos revisados ​​fueron seleccionados entre 16 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. Nota de contenido: Memoized Flat Closures for CPS -- Maintaining Separation of Concerns Through Task-Oriented Software Development -- Typed Relational Conversion -- A Multi-tier Version of Elm and its Time-Traveling Debugger -- Concurrent System Programming with Effect Handlers -- Automatically Introducing Tail Recursion in CakeML -- The CakeML Compiler Explorer: Tracking Intermediate Representations in a Verified Compiler. 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 : 18th International Symposium, TFP 2017, Canterbury, UK, June 19-21, 2017, Revised Selected Papers [documento electrónico] / Wang, Meng, ; Owens, Scott,  . -  1 ed.  . - [s.l.] : Springer, 2018 . - VII, 149 p. 48 ilustraciones. ISBN : 978-3-319-89719-6 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  Ingeniería de software  Sistemas operativos (computadoras)  Compiladores (programas informáticos)  Computadoras  Propósitos especiales  Sistemas informáticos  Técnicas de programación  Sistemas operativos  Compiladores e intérpretes  Sistemas de propósito especial y basados ​​en aplicaciones  Implementación de sistema informático Índice Dewey: 005.11 Técnicas especiales de programación Resumen: Este libro constituye los artículos seleccionados y revisados ​​minuciosamente arbitrados del 18.º Simposio Internacional sobre Tendencias en Programación Funcional, TFP 2017, celebrado en Canterbury, Reino Unido, en junio de 2017. Los 8 artículos completos revisados ​​fueron seleccionados entre 16 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. Nota de contenido: Memoized Flat Closures for CPS -- Maintaining Separation of Concerns Through Task-Oriented Software Development -- Typed Relational Conversion -- A Multi-tier Version of Elm and its Time-Traveling Debugger -- Concurrent System Programming with Effect Handlers -- Automatically Introducing Tail Recursion in CakeML -- The CakeML Compiler Explorer: Tracking Intermediate Representations in a Verified Compiler. 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