Detailansicht
Implementation and Application of Functional Languages
24th International Symposium, IFL 2012, Oxford, UK, August 30 - September 1,2012, Revised Selected Papers, Lecture Notes in Computer Science 8241 - Theoretical Computer Science and General Issues
ISBN/EAN: 9783642415814
Umbreit-Nr.: 5658739
Sprache:
Englisch
Umfang: x, 241 S., 72 s/w Illustr., 241 p. 72 illus.
Format in cm:
Einband:
kartoniertes Buch
Erschienen am 28.11.2013
Auflage: 1/2013
- Zusatztext
- InhaltsangabeA 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.
- Kurztext
- Includes supplementary material: sn.pub/extras