Skip to main content
main-content

Über dieses Buch

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.

Inhaltsverzeichnis

Frontmatter

2011 | OriginalPaper | Buchkapitel

Scans and Convolutions— A Calculational Proof of Moessner’s Theorem

Ralf Hinze

2011 | OriginalPaper | Buchkapitel

From Functional Logic Programs to Purely Functional Programs Preserving Laziness

Bernd Braßel, Sebastian Fischer

2011 | OriginalPaper | Buchkapitel

An Interaction Net Implementation of Closed Reduction

Ian Mackie

2011 | OriginalPaper | Buchkapitel

Implementation Architecture and Multithreaded Runtime System of S-Net

Clemens Grelck, Frank Penczek

2011 | OriginalPaper | Buchkapitel

Parsing Mixfix Operators

Nils Anders Danielsson, Ulf Norell

2011 | OriginalPaper | Buchkapitel

Descriptor-Free Representation of Arrays with Dependent Types

Kai Trojahner, Clemens Grelck

2011 | OriginalPaper | Buchkapitel

Collected Size Semantics for Functional Programs over Lists

Olha Shkaravska, Marko van Eekelen, Alejandro Tamalet

2011 | OriginalPaper | Buchkapitel

Embedding a Functional Hybrid Modelling Language in Haskell

George Giorgidze, Henrik Nilsson

2011 | OriginalPaper | Buchkapitel

Obsidian: A Domain Specific Embedded Language for Parallel Programming of Graphics Processors

Joel Svensson, Mary Sheeran, Koen Claessen

2011 | OriginalPaper | Buchkapitel

A Library for Processing Ad hoc Data in Haskell

Embedding a Data Description Language
Yan Wang, Verónica Gaspes

2011 | OriginalPaper | Buchkapitel

iEditors: Extending iTask with Interactive Plug-ins

Jan Martin Jansen, Rinus Plasmeijer, Pieter Koopman

2011 | OriginalPaper | Buchkapitel

An Executable and Testable Semantics for iTasks

Pieter Koopman, Rinus Plasmeijer, Peter Achten

2011 | OriginalPaper | Buchkapitel

Monatron: An Extensible Monad Transformer Library

Mauro Jaskelioff

2011 | OriginalPaper | Buchkapitel

Catch Me If You Can

Looking for Type-Safe, Hierarchical, Lightweight, Polymorphic and Efficient Error Management in OCaml
David Teller, Arnaud Spiwack, Till Varoquaux

2011 | OriginalPaper | Buchkapitel

Between Types and Tables

Using Generic Programming for Automated Mapping between Data Types and Relational Databases
Bas Lijnse, Rinus Plasmeijer

Backmatter

Weitere Informationen

Premium Partner

Neuer Inhalt

BranchenIndex Online

Die B2B-Firmensuche für Industrie und Wirtschaft: Kostenfrei in Firmenprofilen nach Lieferanten, Herstellern, Dienstleistern und Händlern recherchieren.

Whitepaper

- ANZEIGE -

Product Lifecycle Management im Konzernumfeld – Herausforderungen, Lösungsansätze und Handlungsempfehlungen

Für produzierende Unternehmen hat sich Product Lifecycle Management in den letzten Jahrzehnten in wachsendem Maße zu einem strategisch wichtigen Ansatz entwickelt. Forciert durch steigende Effektivitäts- und Effizienzanforderungen stellen viele Unternehmen ihre Product Lifecycle Management-Prozesse und -Informationssysteme auf den Prüfstand. Der vorliegende Beitrag beschreibt entlang eines etablierten Analyseframeworks Herausforderungen und Lösungsansätze im Product Lifecycle Management im Konzernumfeld.
Jetzt gratis downloaden!

Bildnachweise