1 option
Implementation and Application of Functional Languages : 18th International Symposium, IFL 2006, Budapest, Hungary, September 4-6, 2006, Revised Selected Papers / edited by Viktória Zsók, Andrew Butterfield.
SpringerLink Books Lecture Notes In Computer Science (LNCS) (1997-2024) Available online
View online- Format:
- Book
- Series:
- Computer Science (Springer-11645)
- LNCS sublibrary. Theoretical computer science and general issues ; SL 1, 4449.
- Theoretical Computer Science and General Issues ; 4449
- Language:
- English
- Subjects (All):
- Programming languages (Electronic computers).
- Computer programming.
- Computer logic.
- Programming Languages, Compilers, Interpreters.
- Programming Techniques.
- Logics and Meanings of Programs.
- Local Subjects:
- Programming Languages, Compilers, Interpreters.
- Programming Techniques.
- Logics and Meanings of Programs.
- Physical Description:
- 1 online resource (X, 272 pages).
- Edition:
- First edition 2007.
- Contained In:
- Springer eBooks
- Place of Publication:
- Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007.
- System Details:
- text file PDF
- Contents:
- On Optimising Shape-Generic Array Programs Using Symbolic Structural Information
- Index Vector Elimination - Making Index Vectors Affordable
- Functional-Based Synthesis of a Systolic Array for GCD Computation
- Comparing Alternative Evaluation Strategies for Stream-Based Parallel Functional Languages
- Parallel Coordination Made Explicit in a Functional Setting
- Low-Level Programming in Hume: An Exploration of the HW-Hume Level
- A Conference Management System Based on the iData Toolkit
- A Pattern Logic for Prompt Lazy Assertions in Haskell
- Ivor, a Proof Engine
- Proving Program Properties Specified with Subtype Marks
- Uniqueness Typing Redefined
- Heuristics for Type Error Discovery and Recovery
- Testing Properties of Generic Functions
- Worst-Case Execution Times for a Purely Functional Language
- Automatic Partial Inversion of Inductively Sequential Functions.
- Other Format:
- Printed edition:
- ISBN:
- 978-3-540-74130-5
- 9783540741305
- Access Restriction:
- Restricted for use by site license.
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.