Implementation of Functional Languages : 13th International Workshop, IFL 2001, Stockholm, Sweden, September 24-26, 2001 : selected papers
Author(s)
Bibliographic Information
Implementation of Functional Languages : 13th International Workshop, IFL 2001, Stockholm, Sweden, September 24-26, 2001 : selected papers
(Lecture notes in computer science, 2312)
Springer, c2002
Available at 30 libraries
  Aomori
  Iwate
  Miyagi
  Akita
  Yamagata
  Fukushima
  Ibaraki
  Tochigi
  Gunma
  Saitama
  Chiba
  Tokyo
  Kanagawa
  Niigata
  Toyama
  Ishikawa
  Fukui
  Yamanashi
  Nagano
  Gifu
  Shizuoka
  Aichi
  Mie
  Shiga
  Kyoto
  Osaka
  Hyogo
  Nara
  Wakayama
  Tottori
  Shimane
  Okayama
  Hiroshima
  Yamaguchi
  Tokushima
  Kagawa
  Ehime
  Kochi
  Fukuoka
  Saga
  Nagasaki
  Kumamoto
  Oita
  Miyazaki
  Kagoshima
  Okinawa
  Korea
  China
  Thailand
  United Kingdom
  Germany
  Switzerland
  France
  Belgium
  Netherlands
  Sweden
  Norway
  United States of America
-
Library, Research Institute for Mathematical Sciences, Kyoto University数研
L/N||LNCS||231202004477
Note
Includes bibliographies and index
Description and Table of Contents
Description
The 13th International Workshop on the Implementation of Functional L- guages (IFL 2001) was hosted this year by Ericsson in Stockholm. The growing importance of functional languages in Ericsson products makes strong coope- tion with universities attractive, and hosting IFL was one nice wayto interact. Consecutive to IFL 2001, Ericsson had organized the annual Erlang User Conf- ence, which over 100 (mostlyindustrial) users of the functional language Erlang attended. All participants of IFL 2001 were invited to stayfor that conference as well. In this way, academia got a better insight into the potential of functional languages in industry, and industry got a feeling for upcoming ideas in this area. IFL 2001 was held in September 2001 and attracted 43 researchers from the international functional language community. During the 3 days of the workshop, theypresented no fewer than 28 contributions. The contributions covered topics on the implementation, and also the use of functional languages. This volume follows the lead of the last ?ve IFL workshops in publishing a high-qualitysubset of the contributions in Springer's Lecture Notes in C- puter Science series.
All speakers at the workshop were invited to submit a paper afterwards. These submissions were reviewed bythree or four referees and th- oughlydiscussed bythe program committee. From all submissions, 11 papers were selected for publication in this volume.
Table of Contents
Sized Types for Typing Eden Skeletons.- A Compilation Scheme for a Hierarchy of Array Types.- Optimizations on Array Skeletons in a Shared Memory Environment.- Theorem Proving for Functional Programmers.- Proving Correctness of Programs with IO -A Paradigm Comparison.- Proving the Correctness of the STG Machine.- Dynamic Cheap Eagerness.- A Polynomial-Cost Non-determinism Analysis.- Comparative Cross-Platform Performance Results from a Parallelizing SML Compiler.- Runtime Behavior of Conversion Interpretation of Subtyping.- A Generic Programming Extension for Clean.
by "Nielsen BookData"