Implementation and application of functional languages : 24th International Symposium, IFL 2012, Oxford, UK, August 30 - September 1, 2012, Revised Selected Papers /
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...
সংরক্ষণ করুন:
| সংস্থা লেখক: | |
|---|---|
| বিন্যাস: | বৈদ্যুতিন গ্রন্থ |
| ভাষা: | English |
| প্রকাশিত: |
Berlin, Heidelberg
Springer Berlin Heidelberg Imprint: Springer,
2013.
|
| মালা: | Lecture Notes in Computer Science,
8241 |
| বিষয়গুলি: | |
| অনলাইন ব্যবহার করুন: | Click here to view the full text content |
| ট্যাগগুলো: |
ট্যাগ যুক্ত করুন
কোনো ট্যাগ নেই, প্রথমজন হিসাবে ট্যাগ করুন!
|
সূচিপত্রের সারণি:
- 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.