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 (Editor), F. Huch (Editor), G. Michaelson (Editor), P. Trinder (Editor)

Institute of Software Engineering and Programming Languages

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.

Original language	English

Publisher	Springer Verlag
Volume	3474
Number of pages	235
ISBN (Print)	978-3-540-32038-8
ISBN (Electronic)	978-3-540-26094-3
DOIs	https://doi.org/10.1007/b136772
Publication status	Published - 26.09.2005
Event	16th International Workshop on Implementation and Application of Functional Languages - Lübeck, Germany Duration: 08.09.2004 → 10.09.2004 Conference number: 65620

Publication series

Name	Theoretical Computer Science and General Issues
Publisher	Springer-Verlag Berlin Heidelberg
Volume	3474
ISSN (Print)	0302-9743

UN SDGs

This output contributes to the following UN Sustainable Development Goals (SDGs)

Access to Document

10.1007/b136772

Cite this

@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",

}

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/record/display.uri?eid=2-s2.0-24944488167&origin=inward&txGid=352ba686ed30feda3dfb3aed08547080

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

Publication series

UN SDGs

Access to Document

Other files and links

Fingerprint

Cite this