Sistema Bibliotecario de la Universidad de Quintana Roo

Su carrito está vacío

Implementation and Application of Functional Languages [electronic resource] : 24th International Symposium, IFL 2012, Oxford, UK, August 30 - September 1, 2012, Revised Selected Papers / edited by Ralf Hinze.

Por: Hinze, Ralf [editor.]Tipo de material: TextoTextoSeries Lecture Notes in Computer Science, 8241Editor: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Descripción: X, 241 p. 72 illus. online resourceTipo de contenido: text Tipo de medio: computer Tipo de portador: online resourceISBN: 9783642415821Trabajos contenidos: SpringerLink (Online service)Tema(s): Computer science | Software engineering | Logic design | Computer Science | Logics and Meanings of Programs | Programming Languages, Compilers, Interpreters | Software Engineering | Mathematical Logic and Formal Languages | Programming Techniques | Information Systems Applications (incl. Internet)Formatos físicos adicionales: Sin títuloClasificación CDD: 005.1015113 Clasificación LoC:QA76.9.L63QA76.5913QA76.63Recursos en línea: de clik aquí para ver el libro electrónico
Contenidos:
Springer eBooksResumen: This book contains the selected peer-reviewed and revised papers from the 24th International Symposium on Implementation and Application of Functional Languages, IFL 2012, held in Oxford, UK, in August/September 2012. The 14 papers included in this volume were carefully reviewed and selected from 28 revised submissions received from originally 37 presentations at the conference. The papers relate to the implementation and application of functional languages and function-based programming.
Etiquetas de esta biblioteca: No hay etiquetas de esta biblioteca para este título. Ingresar para agregar etiquetas.
    Valoración media: 0.0 (0 votos)
No hay ítems correspondientes a este registro

A Notation for Comonads -- Iterating Skeletons -- Structured Parallelism by Composition -- Building JavaScript Applications with Haskell -- Advances in Lazy SmallCheck -- OCaml-Java: from OCaml sources to Java bytecodes -- The HERMIT in the Tree: Mechanizing Program Transformations in the GHC Core Language -- Optimisation of Generic Programs through Inlining -- A Type-and Control-Flow Analysis for System F -- Dependently-typed Programming in Scientific Computing: Examples from economic modelling -- Engineering Proof by Reflection in Agda -- Agda Meets Accelerate -- An Embedded Type Debugger -- Pure and Lazy Lambda Mining: An Experience Report -- Decomposing Metaheuristic Operations.

This book contains the selected peer-reviewed and revised papers from the 24th International Symposium on Implementation and Application of Functional Languages, IFL 2012, held in Oxford, UK, in August/September 2012. The 14 papers included in this volume were carefully reviewed and selected from 28 revised submissions received from originally 37 presentations at the conference. The papers relate to the implementation and application of functional languages and function-based programming.

No hay comentarios en este titulo.

para colocar un comentario.