Coverart for item
The Resource Implementation of functional languages : 13th international workshop, IFL 2001, Stockholm, Sweden, September 24-26, 2001 : selected papers, Thomas Arts, Markus Mohnen (eds.)

Implementation of functional languages : 13th international workshop, IFL 2001, Stockholm, Sweden, September 24-26, 2001 : selected papers, Thomas Arts, Markus Mohnen (eds.)

Label
Implementation of functional languages : 13th international workshop, IFL 2001, Stockholm, Sweden, September 24-26, 2001 : selected papers
Title
Implementation of functional languages
Title remainder
13th international workshop, IFL 2001, Stockholm, Sweden, September 24-26, 2001 : selected papers
Statement of responsibility
Thomas Arts, Markus Mohnen (eds.)
Title variation
IFL 2001
Creator
Contributor
Subject
Genre
Language
eng
Member of
Additional physical form
Also available via the World Wide Web. Abstracts available without subscription.
Cataloging source
DLC
Dewey number
005.13
Illustrations
illustrations
Index
index present
LC call number
QA76.62
LC item number
.I56 2001
Literary form
non fiction
http://bibfra.me/vocab/lite/meetingDate
2001
http://bibfra.me/vocab/lite/meetingName
International Workshop on the Implementation of Functional Languages
Nature of contents
bibliography
http://library.link/vocab/relatedWorkOrContributorDate
  • 1969-
  • 1967-
http://library.link/vocab/relatedWorkOrContributorName
  • Arts, Thomas
  • Mohnen, Markus
Series statement
Lecture notes in computer science,
Series volume
2312
http://library.link/vocab/subjectName
Functional programming languages
Label
Implementation of functional languages : 13th international workshop, IFL 2001, Stockholm, Sweden, September 24-26, 2001 : selected papers, Thomas Arts, Markus Mohnen (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
Sized types for typing eden skeletons / Ricardo Peña and Clara Segura -- A compilation scheme for a hierarchy of array types / Dietmar Kreye -- Optimizations on array skeletons in a shared memory environment / Clemens Grelck -- Theorem proving for functional programmers / Maarten de Mol, Marko van Eekelen, and Rinus Plasmeijer -- Proving correctness of programs with IO -- a paradigm comparison / Andrew Butterfield and Glenn Strong -- Proving the correctness of the STG machine / Alberto de la Encina and Ricardo Pẽna -- Dynamic cheap eagerness / Karl-Filip Faxén -- A polynomial-cost non-determinism analysis / Ricardo Pena and Clara Segura -- Comparative cross-platform performance results from a parallelizing SML compiler / Norman Scaife, Greg Michaelson, and Susumu Horiguchi -- Runtime behavior of conversion interpretation of subtyping / Yasuhiko Minamide -- A generic programming extension for clean / Artem Alimarine and Rinus Plasmeijer
Control code
49415530
Dimensions
24 cm
Dimensions
unknown
Extent
vi, 185 pages
Isbn
9783540435372
Isbn Type
(softcover : alk. paper)
Lccn
2002021149
Media category
unmediated
Media MARC source
rdamedia
Media type code
  • n
Other physical details
illustrations
Specific material designation
remote
Label
Implementation of functional languages : 13th international workshop, IFL 2001, Stockholm, Sweden, September 24-26, 2001 : selected papers, Thomas Arts, Markus Mohnen (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
Sized types for typing eden skeletons / Ricardo Peña and Clara Segura -- A compilation scheme for a hierarchy of array types / Dietmar Kreye -- Optimizations on array skeletons in a shared memory environment / Clemens Grelck -- Theorem proving for functional programmers / Maarten de Mol, Marko van Eekelen, and Rinus Plasmeijer -- Proving correctness of programs with IO -- a paradigm comparison / Andrew Butterfield and Glenn Strong -- Proving the correctness of the STG machine / Alberto de la Encina and Ricardo Pẽna -- Dynamic cheap eagerness / Karl-Filip Faxén -- A polynomial-cost non-determinism analysis / Ricardo Pena and Clara Segura -- Comparative cross-platform performance results from a parallelizing SML compiler / Norman Scaife, Greg Michaelson, and Susumu Horiguchi -- Runtime behavior of conversion interpretation of subtyping / Yasuhiko Minamide -- A generic programming extension for clean / Artem Alimarine and Rinus Plasmeijer
Control code
49415530
Dimensions
24 cm
Dimensions
unknown
Extent
vi, 185 pages
Isbn
9783540435372
Isbn Type
(softcover : alk. paper)
Lccn
2002021149
Media category
unmediated
Media MARC source
rdamedia
Media type code
  • n
Other physical details
illustrations
Specific material designation
remote

Library Locations

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