Koha online

Your cart is empty.
Normal view MARC view ISBD view

Implementation and Application of Functional Languages [electronic resource] :16th International Workshop, IFL 2004, Lübeck, Germany, September 8-10, 2004 Revised Selected Papers / edited by Clemens Grelck, Frank Huch, Greg J. Michaelson, Phil Trinder.

by Grelck, Clemens [editor.]; Huch, Frank [editor.]; Michaelson, Greg J [editor.]; Trinder, Phil [editor.]; SpringerLink (Online service).
Material type: materialTypeLabelBookSeries: Lecture Notes in Computer Science: 3474Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.Description: X, 227 p. Also available online. online resource.ISBN: 9783540320388.Subject(s): Computer science | Logic design | Computer Science | Programming Languages, Compilers, Interpreters | Programming Techniques | Logics and Meanings of ProgramsDDC classification: 005.13 Online resources: Click here to access online
Contents:
Exploiting Single-Assignment Properties to Optimize Message-Passing Programs by Code Transformations -- The Feasibility of Interactively Probing Quiescent Properties of GUI Applications -- A Functional Programming Technique for Forms in Graphical User Interfaces -- A Rational Deconstruction of Landin’s SECD Machine -- Explaining ML Type Errors by Data Flows -- V?M: A Virtual Machine for Strict Evaluation of (Co)Recursive Functions -- A Virtual Machine for Functional Logic Computations -- Source-Based Trace Exploration -- Shrinking Reductions in SML.NET -- Dynamic Construction of Generic Functions -- Reasoning About Deterministic Concurrent Functional I/O -- General Homomorphic Overloading -- Simple, Effective Code-Size Reduction for Functional Programs.
In: Springer eBooksSummary: This book constitutes the thoroughly refereed post-proceedings of the 16th International Workshop on Implementation and Applications of Functional Languages, IFL 2004, held in Lübeck, Germany in September 2004. The 13 revised full papers presented went through two rounds of reviewing and improvement and were selected from an initial total of 40 workshop presentations. The papers address current issues on functional and function-based languages, ranging from theoretical and methodological topics to implementation issues and applications in various contexts.
Tags from this library: No tags from this library for this title. Add tag(s)
Log in to add tags.
    average rating: 0.0 (0 votes)
Item type Current location Call number Status Date due Barcode
QA76.76.C65 (Browse shelf) Available
Long Loan MAIN LIBRARY
QA76.7-76.73 (Browse shelf) Available

Exploiting Single-Assignment Properties to Optimize Message-Passing Programs by Code Transformations -- The Feasibility of Interactively Probing Quiescent Properties of GUI Applications -- A Functional Programming Technique for Forms in Graphical User Interfaces -- A Rational Deconstruction of Landin’s SECD Machine -- Explaining ML Type Errors by Data Flows -- V?M: A Virtual Machine for Strict Evaluation of (Co)Recursive Functions -- A Virtual Machine for Functional Logic Computations -- Source-Based Trace Exploration -- Shrinking Reductions in SML.NET -- Dynamic Construction of Generic Functions -- Reasoning About Deterministic Concurrent Functional I/O -- General Homomorphic Overloading -- Simple, Effective Code-Size Reduction for Functional Programs.

This book constitutes the thoroughly refereed post-proceedings of the 16th International Workshop on Implementation and Applications of Functional Languages, IFL 2004, held in Lübeck, Germany in September 2004. The 13 revised full papers presented went through two rounds of reviewing and improvement and were selected from an initial total of 40 workshop presentations. The papers address current issues on functional and function-based languages, ranging from theoretical and methodological topics to implementation issues and applications in various contexts.

There are no comments for this item.

Log in to your account to post a comment.
@ Jomo Kenyatta University Of Agriculture and Technology Library

Powered by Koha