Search the Dagstuhl Website
Looking for information on the websites of the individual seminars? - Then please:
Not found what you are looking for? - Some of our services have separate websites, each with its own search option. Please check the following list:
Schloss Dagstuhl - LZI - Logo
Schloss Dagstuhl Services
Within this website:
External resources:
  • DOOR (for registering your stay at Dagstuhl)
  • DOSA (for proposing future Dagstuhl Seminars or Dagstuhl Perspectives Workshops)
Within this website:
External resources:
Within this website:
External resources:
  • the dblp Computer Science Bibliography

Dagstuhl Seminar 9213

Functional Languages: Compiler Technology and Parallelism

( Mar 23 – Mar 27, 1992 )

Please use the following short url to reference this page:

  • Ch. Hankin
  • J. Hughes
  • W. Damm

Goals of this Dagstuhl Seminar

The seminar emphasized four issues:

  • static program analysis
  • extensions for programmer control of parallelism
  • o functional+logic languages and constrain
  • implementation of functional languages

There were two formal discussion sessions, which addressed the problems of input/output in functional languages, and the utility of static program analysis.

It is gratifying that the first Dagstuhl seminar in this area (Functional Languages: Optimization for Parallelism) had stimulated many developments which were reported at this one.

A particular feature of this seminar was the large number of prototypes which were demonstrated and which vividly illustrated the issues raised in discussions and presentations.

  • Ch. Hankin
  • J. Hughes
  • W. Damm