Implementation of Functional Languages [electronic resource] : 13th International Workshop, IFL 2001 Stockholm, Sweden, September 24-26, 2001 Selected Papers /

Contributor(s):

Material type: Text

TextSeries: Lecture Notes in Computer Science ; 2312Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2002Edition: 1st ed. 2002Description: VIII, 196 p. online resourceContent type:

text

Media type:

computer

Carrier type:

online resource

ISBN:

9783540460282

Subject(s):

Additional physical formats: Printed edition:: No title; Printed edition:: No titleDDC classification:

005.45 23

LOC classification:

QA76.76.C65

Online resources:

Click here to access online

Contents:

Sized Types for Typing Eden Skeletons -- A Compilation Scheme for a Hierarchy of Array Types -- Optimizations on Array Skeletons in a Shared Memory Environment -- Theorem Proving for Functional Programmers -- Proving Correctness of Programs with IO —A Paradigm Comparison -- Proving the Correctness of the STG Machine -- Dynamic Cheap Eagerness -- A Polynomial-Cost Non-determinism Analysis -- Comparative Cross-Platform Performance Results from a Parallelizing SML Compiler -- Runtime Behavior of Conversion Interpretation of Subtyping -- A Generic Programming Extension for Clean.

In: Springer Nature eBook

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

No physical items for this record

There are no comments on this title.

to post a comment.