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

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Arts, Thomas (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Mohnen, Markus (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2002.
• Έκδοση: 1st ed. 2002.
• Σειρά: Lecture Notes in Computer Science, 2312
• Θέματα: Programming languages (Electronic computers).; Computer programming.; Computer logic.; Programming Languages, Compilers, Interpreters.; Programming Techniques.; Logics and Meanings of Programs.

Πίνακας περιεχομένων:

• 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.