Coverart for item
The Resource Functional programming languages and computer architecture : 5th ACM conference, Cambridge, MA, USA, August 26-30, 1991 : proceedings, J. Hughes, ed

Functional programming languages and computer architecture : 5th ACM conference, Cambridge, MA, USA, August 26-30, 1991 : proceedings, J. Hughes, ed

Label
Functional programming languages and computer architecture : 5th ACM conference, Cambridge, MA, USA, August 26-30, 1991 : proceedings
Title
Functional programming languages and computer architecture
Title remainder
5th ACM conference, Cambridge, MA, USA, August 26-30, 1991 : proceedings
Statement of responsibility
J. Hughes, ed
Contributor
Subject
Genre
Language
eng
Summary
"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."--PUBLISHER'S WEBSITE
Member of
Cataloging source
DLC
Illustrations
illustrations
Index
no index present
Literary form
non fiction
Nature of contents
bibliography
http://library.link/vocab/relatedWorkOrContributorDate
  • 1958-
  • 1991
http://library.link/vocab/relatedWorkOrContributorName
  • Hughes, John
  • ACM Special Interest Group on Programming Languages
  • Conference on Functional Programming Languages and Computer Architecture
Series statement
Lecture notes in computer science
Series volume
523
http://library.link/vocab/subjectName
  • Functional programming languages
  • Computer architecture
Label
Functional programming languages and computer architecture : 5th ACM conference, Cambridge, MA, USA, August 26-30, 1991 : proceedings, J. Hughes, ed
Instantiates
Publication
Note
Proceedings of the Fifth Conference on Functional Programming Languages and Computer Architecture, held at Harvard University, August 26-30, 1991 and sponsored by ACM SIGPLAN [and others]
Bibliography note
Includes bibliographical references
Carrier category
volume
Carrier category code
  • nc
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Control code
24173956
Dimensions
25 cm
Extent
viii, 666 pages
Isbn
9780387543963
Isbn Type
(U.S. : alk. paper)
Lccn
91027189
Media category
unmediated
Media MARC source
rdamedia
Media type code
  • n
Other physical details
illustrations
System control number
(WaOLN)1388447
Label
Functional programming languages and computer architecture : 5th ACM conference, Cambridge, MA, USA, August 26-30, 1991 : proceedings, J. Hughes, ed
Publication
Note
Proceedings of the Fifth Conference on Functional Programming Languages and Computer Architecture, held at Harvard University, August 26-30, 1991 and sponsored by ACM SIGPLAN [and others]
Bibliography note
Includes bibliographical references
Carrier category
volume
Carrier category code
  • nc
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Control code
24173956
Dimensions
25 cm
Extent
viii, 666 pages
Isbn
9780387543963
Isbn Type
(U.S. : alk. paper)
Lccn
91027189
Media category
unmediated
Media MARC source
rdamedia
Media type code
  • n
Other physical details
illustrations
System control number
(WaOLN)1388447

Library Locations

    • University of Missouri-St. Louis Libraries DepositoryBorrow it
      2908 Lemone Blvd, Columbia, MO, 65201, US
      38.919360 -92.291620
Processing Feedback ...