Coverart for item
The Resource Implementation of functional languages : 12th international workshop, IFL 2000, Aachen, Germany, September 4-7, 2000 : selected papers, Markus Mohnen, Pieter Koopman (eds.)

Implementation of functional languages : 12th international workshop, IFL 2000, Aachen, Germany, September 4-7, 2000 : selected papers, Markus Mohnen, Pieter Koopman (eds.)

Label
Implementation of functional languages : 12th international workshop, IFL 2000, Aachen, Germany, September 4-7, 2000 : selected papers
Title
Implementation of functional languages
Title remainder
12th international workshop, IFL 2000, Aachen, Germany, September 4-7, 2000 : selected papers
Statement of responsibility
Markus Mohnen, Pieter Koopman (eds.)
Title variation
IFL 2000
Creator
Contributor
Subject
Genre
Language
eng
Member of
Additional physical form
Also available by subscription via the World Wide Web.
Cataloging source
DLC
Dewey number
005.13
Illustrations
illustrations
Index
index present
LC call number
QA76.62
LC item number
.I56 2000
Literary form
non fiction
http://bibfra.me/vocab/lite/meetingDate
2000
http://bibfra.me/vocab/lite/meetingName
International Workshop on the Implementation of Functional Languages
Nature of contents
bibliography
http://library.link/vocab/relatedWorkOrContributorDate
1967-
http://library.link/vocab/relatedWorkOrContributorName
  • Mohnen, Markus
  • Koopman, Pieter
Series statement
Lecture notes in computer science,
Series volume
2011
http://library.link/vocab/subjectName
Functional programming languages
Label
Implementation of functional languages : 12th international workshop, IFL 2000, Aachen, Germany, September 4-7, 2000 : selected papers, Markus Mohnen, Pieter Koopman (eds.)
Instantiates
Publication
Bibliography note
Includes bibliographical references and index
Carrier category
volume
Carrier category code
  • nc
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
Non-determinism analysis in a parallel-functional language / Ricardo Pena and Clara Segura -- Exploiting Implicit Parallelism in Functional Programs with SLAM / John Sargeant, Chris Kirkham, and Ian Watson -- Verifying generic erlang client-server implementations / Thomas Arts and Thomas Noll -- The design and implementation of Glasgow distributed Haskell / R.F. Pointon, P.W. Trinder, and H-W. Loidl -- Implementation skeletons in eden / Ulrike Klusik ... [et al.] -- ObjectCurry / Michael Hanus, Frank Huch, and Philipp Niederau -- Distributed programming in Haskell with Ports / Frank Huch and Ulrich Norbisrath -- The dynamic properties of Hume / Kevin Hammond -- A usage analysis with bounded usage polymorphism and subtyping / Jörgen Gustavsson and Josef Svenningsson -- Polygonizing implicit surfaces in a purely functional way / Thorsten H.-G. Zorner ... [et al.] -- Freja, hat and hood / Olaf Chitil, Colin Runciman, and Malcolm Wallace -- Porting the clean object I/O library to Haskell / Peter Achten and Simon Peyton Jones -- Organizing speculative computations in functional systems / Raimund Schroeder and Werner Kluge -- Improving cache effectiveness through array data layout manipulation in SAC / Clemens Grelck -- The collective semantics in functional SPMD programming / John O'Donnell
Control code
46641784
Dimensions
24 cm
Dimensions
unknown
Extent
viii, 265 pages
Isbn
9783540419198
Isbn Type
(pbk. alk. paper)
Lccn
2001020973
Media category
unmediated
Media MARC source
rdamedia
Media type code
  • n
Other physical details
illustrations
Sound
unknown sound
Specific material designation
remote
Label
Implementation of functional languages : 12th international workshop, IFL 2000, Aachen, Germany, September 4-7, 2000 : selected papers, Markus Mohnen, Pieter Koopman (eds.)
Publication
Bibliography note
Includes bibliographical references and index
Carrier category
volume
Carrier category code
  • nc
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
Non-determinism analysis in a parallel-functional language / Ricardo Pena and Clara Segura -- Exploiting Implicit Parallelism in Functional Programs with SLAM / John Sargeant, Chris Kirkham, and Ian Watson -- Verifying generic erlang client-server implementations / Thomas Arts and Thomas Noll -- The design and implementation of Glasgow distributed Haskell / R.F. Pointon, P.W. Trinder, and H-W. Loidl -- Implementation skeletons in eden / Ulrike Klusik ... [et al.] -- ObjectCurry / Michael Hanus, Frank Huch, and Philipp Niederau -- Distributed programming in Haskell with Ports / Frank Huch and Ulrich Norbisrath -- The dynamic properties of Hume / Kevin Hammond -- A usage analysis with bounded usage polymorphism and subtyping / Jörgen Gustavsson and Josef Svenningsson -- Polygonizing implicit surfaces in a purely functional way / Thorsten H.-G. Zorner ... [et al.] -- Freja, hat and hood / Olaf Chitil, Colin Runciman, and Malcolm Wallace -- Porting the clean object I/O library to Haskell / Peter Achten and Simon Peyton Jones -- Organizing speculative computations in functional systems / Raimund Schroeder and Werner Kluge -- Improving cache effectiveness through array data layout manipulation in SAC / Clemens Grelck -- The collective semantics in functional SPMD programming / John O'Donnell
Control code
46641784
Dimensions
24 cm
Dimensions
unknown
Extent
viii, 265 pages
Isbn
9783540419198
Isbn Type
(pbk. alk. paper)
Lccn
2001020973
Media category
unmediated
Media MARC source
rdamedia
Media type code
  • n
Other physical details
illustrations
Sound
unknown sound
Specific material designation
remote

Library Locations

    • Thomas Jefferson LibraryBorrow it
      1 University Blvd, St. Louis, MO, 63121, US
      38.710138 -90.311107
Processing Feedback ...