Implementation and Application of Functional Languages
24th International Symposium, IFL 2012, Oxford, UK, August 30 - September 1, 2012, Revised Selected Papers
Editors: Hinze, Ralf (Ed.)
Free PreviewBuy this book
- About this book
-
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.
- Table of contents (14 chapters)
-
-
A Notation for Comonads
Pages 1-17
-
Iterating Skeletons
Pages 18-36
-
Building JavaScript Applications with Haskell
Pages 37-52
-
Advances in Lazy SmallCheck
Pages 53-70
-
OCaml-Java: From OCaml Sources to Java Bytecodes
Pages 71-85
-
Table of contents (14 chapters)
- Download Preface 1 PDF (74.3 KB)
- Download Sample pages 2 PDF (894.4 KB)
- Download Table of contents PDF (80.7 KB)
Recommended for you

Bibliographic Information
- Bibliographic Information
-
- Book Title
- Implementation and Application of Functional Languages
- Book Subtitle
- 24th International Symposium, IFL 2012, Oxford, UK, August 30 - September 1, 2012, Revised Selected Papers
- Editors
-
- Ralf Hinze
- Series Title
- Theoretical Computer Science and General Issues
- Series Volume
- 8241
- Copyright
- 2013
- Publisher
- Springer-Verlag Berlin Heidelberg
- Copyright Holder
- Springer-Verlag Berlin Heidelberg
- eBook ISBN
- 978-3-642-41582-1
- DOI
- 10.1007/978-3-642-41582-1
- Softcover ISBN
- 978-3-642-41581-4
- Edition Number
- 1
- Number of Pages
- X, 241
- Number of Illustrations
- 72 b/w illustrations
- Topics