1.

Record Nr.

UNISA996465815903316

Titolo

Implementation of Functional Languages [[electronic resource] ] : 11th International Workshop, IFL'99 Lochem, The Netherlands, September 7-10, 1999 Selected Papers / / edited by Pieter Koopman, Chris Clack

Pubbl/distr/stampa

Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000

ISBN

3-540-44658-3

Edizione

[1st ed. 2000.]

Descrizione fisica

1 online resource (VIII, 198 p.)

Collana

Lecture Notes in Computer Science, , 0302-9743 ; ; 1868

Disciplina

005.13

Soggetti

Programming languages (Electronic computers)

Computer programming

Computer logic

Programming Languages, Compilers, Interpreters

Programming Techniques

Logics and Meanings of Programs

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia

Note generali

Bibliographic Level Mode of Issuance: Monograph

Nota di bibliografia

Includes bibliographical references at the end of each chapters and index.

Nota di contenuto

Applications -- Using Clean for Platform Games -- Compilation Techniques -- Type-Inference Based Short Cut Deforestation (Nearly) without Inlining -- Stretching the Storage Manager: Weak Pointers and Stable Names in Haskell -- Optimising Recursive Functions Yielding Multiple Results in Tuples in a Lazy Functional Language -- On Code Generation for Multi-generator WITH-Loops in SAC -- A Reversible SE(M)CD Machine -- Language Concepts -- The Implementation of Interactive Local State Transition Systems in Clean -- C HASKELL, or Yet Another Interfacing Tool -- Reflections in Opal – Meta Information in a Functional Programming Language -- Haskell-Coloured Petri Nets -- Parallelism -- HaskSkel: Algorithmic Skeletons in Haskell.

Sommario/riassunto

This book constitutes the thoroughly refereed post-workshop proceedings of the 11th International Workshop on the Implementation of Functional Languages, IFL'99, held in Lochem, The Netherlands, in September 1999. The 11 revised full papers presented were carefully



selected during two rounds of reviewing. The papers are organized in sections on applications, compilation techniques, language concepts, and parallelism.