1 option
Implementation and Application of Functional Languages : 24th International Symposium, IFL 2012, Oxford, UK, August 30 - September 1, 2012, Revised Selected Papers / edited by Ralf Hinze.
SpringerLink Books Lecture Notes In Computer Science (LNCS) (1997-2024) Available online
View online- Format:
- Book
- Series:
- Computer Science (Springer-11645)
- LNCS sublibrary. Theoretical computer science and general issues ; SL 1, 8241.
- Theoretical Computer Science and General Issues ; 8241
- Language:
- English
- Subjects (All):
- Computer logic.
- Programming languages (Electronic computers).
- Software engineering.
- Logic, Symbolic and mathematical.
- Computer programming.
- Application software.
- Logics and Meanings of Programs.
- Programming Languages, Compilers, Interpreters.
- Software Engineering.
- Mathematical Logic and Formal Languages.
- Programming Techniques.
- Information Systems Applications (incl. Internet).
- Local Subjects:
- Logics and Meanings of Programs.
- Programming Languages, Compilers, Interpreters.
- Software Engineering.
- Mathematical Logic and Formal Languages.
- Programming Techniques.
- Information Systems Applications (incl. Internet).
- Physical Description:
- 1 online resource (X, 241 pages) : 72 illustrations.
- Edition:
- First edition 2013.
- Contained In:
- Springer eBooks
- Place of Publication:
- Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013.
- System Details:
- text file PDF
- Summary:
- 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.
- Contents:
- 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.
- Other Format:
- Printed edition:
- ISBN:
- 978-3-642-41582-1
- 9783642415821
- Access Restriction:
- Restricted for use by site license.
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.