Items related to Implementation and Application of Functional Languages:...

Implementation and Application of Functional Languages: 24th International Symposium, IFL 2012, Oxford, UK, August 30 - September 1, 2012, Revised Selected Papers - Softcover

 
9783642415838: Implementation and Application of Functional Languages: 24th International Symposium, IFL 2012, Oxford, UK, August 30 - September 1, 2012, Revised Selected Papers
Softcover
ISBN 10: 3642415830 ISBN 13: 9783642415838
Publisher: Springer, 2013

This specific ISBN edition is currently not available.

Synopsis

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.

"synopsis" may belong to another edition of this title.

Publisher
Springer
Publication date
2013
Language
English
ISBN 10 
3642415830
ISBN 13 
9783642415838
Binding
Paperback

(No Available Copies)

Search Books:



Create a Want

Can't find the book you're looking for? We'll keep searching for you. If one of our booksellers adds it to AbeBooks, we'll let you know!

Create a Want

Other Popular Editions of the Same Title

9783642415814: Implementation and Application of Functional Languages: 24th International Symposium, IFL 2012, Oxford, UK, August 30 - September 1, 2012, Revised ... (Lecture Notes in Computer Science, 8241)

Featured Edition

ISBN 10:  3642415814 ISBN 13:  9783642415814
Publisher: Springer, 2013
Softcover