1 option
Implementation of Functional Languages : 12th International Workshop, IFL 2000 Aachen, Germany, September 4-7, 2000. Selected Papers / edited by Markus Mohnen, Pieter Koopman.
LIBRA Q341 .P7 2004
Available from offsite location
- Format:
- Book
- Series:
- Computer Science (Springer-11645)
- Lecture notes in computer science 0302-9743 ; 2011.
- Lecture Notes in Computer Science, 0302-9743 ; 2011
- 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 (VIII, 272 pages).
- Edition:
- First edition 2001.
- Contained In:
- Springer eBooks
- Place of Publication:
- Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2001.
- System Details:
- text file PDF
- Contents:
- Non-determinism Analysis in a Parallel-Functional Language
- Exploiting Implicit Parallelism in Functional Programs with SLAM
- Verifying Generic Erlang Client-Server Implementations
- The Design and Implementation of Glasgow Distributed Haskell
- Implementation Skeletons in Eden: Low-Effort Parallel Programming
- ObjectCurry:An Object-Oriented Extension of the Declarative Multi-Paradigm Language Curry
- Distributed Programming in Haskell with Ports
- The Dynamic Properties of Hume: A Functionally-Based Concurrent Language with Bounded Time and Space Behaviour
- A Usage Analysis with Bounded Usage Polymorphism and Subtyping
- Polygonizing Implicit Surfaces in a Purely Functional Way
- Freja, Hat and Hood - A Comparative Evaluation of Three Systems for Tracing and Debugging Lazy Functional Programs
- Porting the Clean Object I/O Library to Haskell
- Organizing Speculative Computations in Functional Systems
- Improving Cache Effectiveness through Array Data Layout Manipulation in SAC
- The Collective Semantics in Functional SPMD Programming.
- Other Format:
- Printed edition:
- ISBN:
- 978-3-540-45361-1
- 9783540453611
- 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.