ENGLISH

Functional Programming Languages and Computer Architecture: 5th ACM Conference Cambridge, MA, USA, August 26–30, 1991 Proceedings

By Tobias Nipkow (auth.) , John Hughes (eds.)

Book information

Publisher
Springer-Verlag Berlin Heidelberg
Year
1991
ISBN
3540543961, 9783540543961
DOI
10.1007/3-540-54396-1
LCC
QA76.7 .F84 1991
Open Library ID
OL1547776M
Language
english
Format
DJVU
Filesize
7 MB (6953434 bytes)
Series
Lecture Notes in Computer Science 523
Edition
1
Pages
672\675
Library
Kolxo3
DPI
300
Time added
2011-07-22 07:35:22
CompilersInterpreters; Processor Architectures; ProgrammingProgramming Languages

Description

This book offers a comprehensive view of the best and the latest work in functional programming. It is the proceedings of a major international conference and contains 30 papers selected from 126 submitted. A number of themes emerge. One is a growing interest in types: powerful type systems or type checkers supporting overloading, coercion, dynamic types, and incremental inference; linear types to optimize storage, and polymorphic types to optimize semantic analysis. The hot topic of partial evaluation is well represented: techniques for higher-order binding-time analysis, assuring termination of partial evaluation, and improving the residual programs a partial evaluator generates. The thorny problem of manipulating state in functional languages is addressed: one paper even argues that parallel programs with side-effects can be "more declarative" than purely functional ones. Theoretical work covers a new model of types based on projections, parametricity, a connection between strictness analysis and logic, and a discussion of efficient implementations of the lambda-calculus. The connection with computer architecture and a variety of other topics are also addressed.

Similar books