Syndetics cover image
Image from Syndetics

Implementation of Functional Languages [electronic resource] : 13th International Workshop, IFL 2001 Stockholm, Sweden, September 24-26, 2001 Selected Papers / edited by Thomas Arts, Markus Mohnen.

Contributor(s): Material type: TextSeries: Publisher: 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): DDC classification:
  • 005.45 23
Online resources:
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.
No physical items for this record

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.

Licensed e-book