Implementation and Application of Functional Languages, 16th International Workshop (IFL 2004)

Clemens Grelck; F. Huch; G. Michaelson; P.  Trinder

doi:10.1007/b136772

Implementation and Application of Functional Languages, 16th International Workshop (IFL 2004)

Clemens Grelck (Herausgeber*in), F. Huch (Herausgeber*in), G. Michaelson (Herausgeber*in), P. Trinder (Herausgeber*in)

Institut für Softwaretechnik und Programmiersprachen

Abstract

The proceedings contain 13 papers from the Implementation and Application of Functional Languages: 16th International Workshop, IFL 2004, Revised Selected Papers. The topics discussed include: 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; explaining ML type errors by data flows; source-based trace exploration; shrinking reductions in SML.NET; dynamic construction of generic functions; reasoning about deterministic concurrent functional I/O; general homomorphic overloading; and simple, effective code-ize reduction for functional programs.

Originalsprache	Englisch

Verlag	Springer Verlag
Band	3474
Seitenumfang	235
ISBN (Print)	978-3-540-32038-8
ISBN (elektronisch)	978-3-540-26094-3
DOIs	https://doi.org/10.1007/b136772
Publikationsstatus	Veröffentlicht - 26.09.2005
Veranstaltung	16th International Workshop on Implementation and Application of Functional Languages - Lübeck, Deutschland Dauer: 08.09.2004 → 10.09.2004 Konferenznummer: 65620

Publikationsreihe

Name	Theoretical Computer Science and General Issues
Herausgeber (Verlag)	Springer-Verlag Berlin Heidelberg
Band	3474
ISSN (Druck)	0302-9743

UN SDGs

Dieser Output leistet einen Beitrag zu folgendem(n) Ziel(en) für nachhaltige Entwicklung

SDG 9 – Industrie, Innovation und Infrastruktur

Dokumente

10.1007/b136772

Weitere Links

https://www.scopus.com/pages/publications/24944488167

Zitieren

@book{600c8ced9f2b449d83b7b5a9435e63a1,

title = "Implementation and Application of Functional Languages, 16th International Workshop (IFL 2004)",

abstract = "The proceedings contain 13 papers from the Implementation and Application of Functional Languages: 16th International Workshop, IFL 2004, Revised Selected Papers. The topics discussed include: 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; explaining ML type errors by data flows; source-based trace exploration; shrinking reductions in SML.NET; dynamic construction of generic functions; reasoning about deterministic concurrent functional I/O; general homomorphic overloading; and simple, effective code-ize reduction for functional programs.",

editor = "Clemens Grelck and F. Huch and G. Michaelson and P. Trinder",

year = "2005",

month = sep,

day = "26",

doi = "10.1007/b136772",

language = "English",

isbn = "978-3-540-32038-8",

volume = "3474",

series = "Theoretical Computer Science and General Issues",

publisher = "Springer Verlag",

note = "16th International Workshop on Implementation and Application of Functional Languages , IFL 2004 ; Conference date: 08-09-2004 Through 10-09-2004",

}

Implementation and Application of Functional Languages, 16th International Workshop (IFL 2004). / Grelck, Clemens (Herausgeber*in); Huch, F. (Herausgeber*in); Michaelson, G. (Herausgeber*in) et al.
Springer Verlag, 2005. 235 S. (Theoretical Computer Science and General Issues; Band 3474).

Publikation: Bücher/Sammlungen/Gesamtwerke/Habilitations- und Dissertationsschriften › Konferenzbände und -dokumentationen › Forschung

TY - BOOK

T1 - Implementation and Application of Functional Languages, 16th International Workshop (IFL 2004)

A2 - Grelck, Clemens

A2 - Huch, F.

A2 - Michaelson, G.

A2 - Trinder, P.

N1 - Conference code: 65620

PY - 2005/9/26

Y1 - 2005/9/26

N2 - The proceedings contain 13 papers from the Implementation and Application of Functional Languages: 16th International Workshop, IFL 2004, Revised Selected Papers. The topics discussed include: 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; explaining ML type errors by data flows; source-based trace exploration; shrinking reductions in SML.NET; dynamic construction of generic functions; reasoning about deterministic concurrent functional I/O; general homomorphic overloading; and simple, effective code-ize reduction for functional programs.

AB - The proceedings contain 13 papers from the Implementation and Application of Functional Languages: 16th International Workshop, IFL 2004, Revised Selected Papers. The topics discussed include: 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; explaining ML type errors by data flows; source-based trace exploration; shrinking reductions in SML.NET; dynamic construction of generic functions; reasoning about deterministic concurrent functional I/O; general homomorphic overloading; and simple, effective code-ize reduction for functional programs.

UR - https://www.scopus.com/pages/publications/24944488167

U2 - 10.1007/b136772

DO - 10.1007/b136772

M3 - Conference proceedings

SN - 978-3-540-32038-8

VL - 3474

T3 - Theoretical Computer Science and General Issues

BT - Implementation and Application of Functional Languages, 16th International Workshop (IFL 2004)

PB - Springer Verlag

T2 - 16th International Workshop on Implementation and Application of Functional Languages

Y2 - 8 September 2004 through 10 September 2004

ER -

Implementation and Application of Functional Languages, 16th International Workshop (IFL 2004)

Abstract

Publikationsreihe

UN SDGs

Dokumente

Weitere Links

Fingerprint

Zitieren