Description |
1 online resource (x, 290 pages) : illustrations |
Series |
Lecture notes in computer science, 0302-9743 ; 5836 |
|
Lecture notes in computer science ; 5836.
|
Contents |
Machine generated contents note: Scans and Convolutions -- A Calculational Proof of Moessner's Theorem / Ralf Hinze -- From Functional Logic Programs to Purely Functional Programs Preserving Laziness / Sebastian Fischer -- Interaction Net Implementation of Closed Reduction / Ian Mackie -- Implementation Architecture and Multithreaded Runtime System of S-Net / Frank Penczek -- Parsing Mixfix Operators / Ulf Norell -- Descriptor-Free Representation of Arrays with Dependent Types / Clemens Grelck -- Collected Size Semantics for Functional Programs over Lists / Alejandro Tamalet -- Embedding a Functional Hybrid Modelling Language in Haskell / Henrik Nilsson -- Obsidian: A Domain Specific Embedded Language for Parallel Programming of Graphics Processors / Koen Claessen -- Library for Processing Ad Hoc Data in Haskell: Embedding a Data Description Language / Veronica Gaspes -- iEditors: Extending iTask with Interactive Plug-ins / Pieter Koopman -- Executable and Testable Semantics for iTasks / Peter Achten -- Monatron: An Extensible Monad Transformer Library / Mauro Jaskelioff -- Catch Me if You Can: Looking for Type-Safe. Hierarchical, Lightweight, Polymorphic and Efficient Error Management in OCaml / Till Varoquour -- Between Types and Tables: Using Generic Programming for Automated Mapping between Data Types and Relational Databases / Rinus Plasmeijer |
Summary |
This book constitutes the thoroughly refereed post-proceedings of the 20th International Workshop on Implementation and Applications of Functional Languages, IFL 2008, held in Hatfield, UK, in September 2008. The 15 revised full papers presented were carefully reviewed and selected from 31 submissions. Topics of interest cover a wide range from novel language designs, theoretical underpinnings, compilation and optimisation techniques for diverse hardware architectures, to applications, programming techniques and novel tools |
Analysis |
Computer science |
|
Software engineering |
|
Logic design |
|
Artificial intelligence |
|
Logics and Meanings of Programs |
|
Mathematical Logic and Formal Languages |
|
Programming Languages, Compilers, Interpreters |
|
Artificial Intelligence (incl. Robotics) |
|
Programming Techniques |
Bibliography |
Includes bibliographical references |
Subject |
Functional programming languages -- Congresses
|
|
Informatique.
|
|
Functional programming languages
|
Genre/Form |
proceedings (reports)
|
|
Conference papers and proceedings
|
|
Conference papers and proceedings.
|
|
Actes de congrès.
|
Form |
Electronic book
|
Author |
Scholz, Sven-Bodo.
|
|
Chitil, Olaf.
|
ISBN |
9783642244520 |
|
3642244521 |
|