Willkommen, schön sind Sie da!
Logo Ex Libris

Implementation and Application of Functional Languages

  • E-Book (pdf)
  • 241 Seiten
(0) Erste Bewertung abgeben
Bewertungen
(0)
(0)
(0)
(0)
(0)
Alle Bewertungen ansehen
This book contains the selected peer-reviewed and revised papers from the 24th International Symposium on Implementation and Appl... Weiterlesen
E-Books ganz einfach mit der kostenlosen Ex Libris-Reader-App lesen. Hier erhalten Sie Ihren Download-Link.
CHF 61.90
Download steht sofort bereit
Informationen zu E-Books
E-Books eignen sich auch für mobile Geräte (sehen Sie dazu die Anleitungen).
E-Books von Ex Libris sind mit Adobe DRM kopiergeschützt: Erfahren Sie mehr.
Weitere Informationen finden Sie hier.
Bestellung & Lieferung in eine Filiale möglich

Beschreibung

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.



Inhalt

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.

Produktinformationen

Titel: Implementation and Application of Functional Languages
Untertitel: 24th International Symposium, IFL 2012, Oxford, UK, August 30 - September 1, 2012, Revised Selected Papers
Editor:
EAN: 9783642415821
Digitaler Kopierschutz: Wasserzeichen
Format: E-Book (pdf)
Hersteller: Springer Berlin Heidelberg
Genre: IT & Internet
Anzahl Seiten: 241
Veröffentlichung: 19.11.2013
Dateigrösse: 7.7 MB

Weitere Bände aus der Buchreihe "Lecture Notes in Computer Science"