An edition of Implementation and Application of Functional Languages
(2012)
Implementation and Application of Functional Languages
23rd International Symposium, IFL 2011, Lawrence, KS, USA, October 3-5, 2011, Revised Selected Papers
by Andy Gill
Share
×Close
This book constitutes the thoroughly refereed post-conference proceedings of the 23rd International Symposium on Implementation and Application of Functional Languages, IFL 2011, held in Lawrence, Kansas, USA, in October 2011. The 11 revised full papers presented were carefully reviewed and selected from 33 submissions. The papers by researchers and practitioners who are actively engaged in the implementation and the use of functional and function based programming languages describe practical and theoretical work as well as applications and tools. They discuss new ideas and concepts, as well as work in progress and results.
Publish Date
2012
Publisher
Springer Berlin Heidelberg,
Imprint: Springer
Language
English
Pages
181
Check nearby libraries
Buy this book
| Edition | Availability |
|---|---|
1
Implementation and Application of Functional Languages: 23rd International Symposium, IFL 2011, Lawrence, KS, USA, October 3-5, 2011, Revised Selected Papers
2012, Springer Berlin Heidelberg, Imprint: Springer
electronic resource :
in English
3642344070 9783642344077
|
aaaa
|
2
Implementation and Application of Functional Languages: 23rd International Symposium, IFL 2011, Lawrence, KS, USA, October 3-5, 2011, Revised Selected Papers
2012, Springer Berlin / Heidelberg
in English
3642344062 9783642344060
|
zzzz
|
3
Implementation and Application of Functional Languages: 23rd International Symposium, IFL 2011, Lawrence, KS, USA, October 3-5, 2011, Revised Selected Papers
Nov 05, 2012, Springer
paperback
3642344089 9783642344084
|
zzzz
|
Book Details
Table of Contents
Functional Instrumentation of ActionScript Programs with Asil
Fairness for Transactional Events
Implementing a High-Level Distributed-Memory Parallel Haskell in Haskell
Challenges for a Trace-Based Just-In-Time Compiler for Haskell
Lazy Generation of Canonical Test Programs
Generic Monadic Constructs for Embedded Languages
From Stack Traces to Lazy Rewriting Sequences
Model Based Testing with Logical Properties versus State Machines
Property-Based Testing and Verification: A Catalog of Classroom Examples
Describing and Optimising Reversible Logic Using a Functional Language
Hardware Design with Generalized Arrows.
Edition Notes
Classifications
The Physical Object
Edition Identifiers
Work Identifiers
Community Reviews (0)
Lists
| November 13, 2020 | Edited by MARC Bot | import existing book |
| July 1, 2019 | Created by MARC Bot | import new book |