ENGLISH

Implementation of Functional Languages: 13th International Workshop, IFL 2001 Stockholm, Sweden, September 24–26, 2001 Selected Papers

By Ricardo Peña , Clara Segura (auth.) , Thomas Arts , Markus Mohnen (eds.)

Book information

Publisher
Springer-Verlag Berlin Heidelberg
Year
2002
ISBN
978-3-540-43537-2, 978-3-540-46028-2
DOI
10.1007/3-540-46028-4
Language
english
Format
PDF
Filesize
3 MB (3000097 bytes)
Series
Lecture Notes in Computer Science 2312
Edition
1
Pages
196\194
Time added
2014-01-18 08:00:00
CompilersInterpreters; Programming Techniques; Logics and MProgramming Languages

Description

This book constitutes the thoroughly refereed post-proceedings of the 13th International Workshop on the Implementation of Functional Languages, IFL 2001, held in Stockholm, Sweden in September 2001. The eleven revised full papers presented have gone through a thorough round of post-workshop reviewing and were selected from 28 workshop papers. Among the topics covered are relevant aspects of implementing and using functional languages, such as type systems, compilation, program optimization, theorem proving, program correctness, program analysis, parallel compilers, subtyping, and generic programming.

Similar books